T|Az u.n. négyszínsejtés az volt, hogy minden térkép kiszínezhető négy színnel úgy, hogy bármely két szomszédos ország eltérő színű legyen.|Milyen bizonyítási módszerrel sikerült ezt igazolni?|Teljes indukcióval|Indirekt módon|Deduktív módszerrel|Számítógépes módszerrel|||||D|1976-ban Kenneth Appel és Wolfgang Haken egy olyan bizonyítását adta az állításnak, amely számos vitára adott alkalmat. A bizonyításnak ugyanis egy olyan részét, amelyben több ezer esetet kellett megvizsgálni, számítógép végezte.