Izrek štirih barv
From Wikipedia, the free encyclopedia
Izrèk štírih bárv izjavlja, da se lahko vsako ravnino razdeljeno na področja, kot je na primer politični zemljevid držav, grofij, ali karkoli že, pobarva z največ štirimi barvami tako da nobeno izmed sosednjih področij ni pobarvano z isto barvo. Dve področji sta sosednji, če njuna meja ni le točka. Vsako področje se mora stikati z drugim, kar pomeni, da nima eksklav kot jih imata npr. Michigan in Azerbajdžan.
Očitno je, da tri barve niso dovolj. Tudi ni težko pokazati, da je pri barvanju dovolj pet barv.
Izrek štirih barvah je bil prvi veliki izrek, ki so ga (leta 1976) dokazali s pomočjo računalnika. Njegovega dokaza vsi matematiki ne sprejemajo, saj ga človek ne more preveriti na roko. Navsezadnje je treba verjeti v pravilnost prevajalnika in strojne opreme, ki sta izvršila program za dokaz.
Dokazu so očitali tudi da ni ličen, ali če se zapiše z besedami iz tistega časa: »dober matematični dokaz je kakor pesem - to pa je telefonski imenik!«