Dört Renk Teoremi, herhangi bir haritanın komşu bölgeleri aynı renk olmadan en fazla dört renkle boyanabileceğini kanıtlar. 1976'da Kenneth Appel ve Wolfgang Haken, bilgisayar destekli ilk kanıtı sundu. İnsanların elle kontrol edemeyeceği 1476 özel durum içeren bu ispat tartışmalara yol açtı. 1997'de 633 duruma indirgendi, 2005'te Georges Gonthier yazılımla doğruladı.
167 görüntülenme
/profile/bfe51ebc-c64a-4f29-b524-5461630ede50.jpeg){kind=small}
/post/1b0a91c2-b452-4daa-a006-3c779eee5da8.png)