Redakcija: 22:00, 11. avgust 2005 uredi Romanm (pogovor \| prispevki) Birokrati, Preverjevalci uporabnikov, Administratorji 45.232 urejanj m omenjena eksklava ← Starejše urejanje		Redakcija: 22:22, 11. avgust 2005 uredi razveljavi Andrejj (pogovor \| prispevki) Birokrati, Administratorji 39.139 urejanj m (leta 1976) dokazali Novejše urejanje →
Vrstica 7: Očitno je, da tri barve niso dovolj. Tudi ni težko [[matematični dokaz\|pokazati]], da je pri barvanju [[izrek o petih barvah\|dovolj pet barv]]. Izrek o štirih barvah je bil prvi veliki [[izrek]], ki so ga (leta [[1976]]) dokazali s pomočjo [[računalnik]]a. Njegovega dokaza vsi matematiki ne sprejemajo, saj ga človek ne more preveriti na roko. Navsezadnje moramo verjeti v pravilnost [[prevajalnik]]a in [[strojna oprema\|strojne opreme]], ki sta izvršila program za dokaz. Dokazu so očitali tudi da ni ličen, ali če zapišemo z besedami iz tistega časa: »dober matematični dokaz je kakor pesem - to pa je telefonski imenik!«

Izrek štirih barv: Razlika med redakcijama