Il giallo del teorema dei quattro colori

Un quesito che si formula con estrema semplicità e che comprende anche un bambino: per colorare una carta geografica in modo che regioni confinanti abbiano colore diverso bastano quattro colori? Per rispondere i matematici si sono spremute le meningi per oltre centovent'anni. Dopo ricerche ossessionanti e qualche clamoroso fallimento, come in un caso poliziesco, la soluzione è stata ottenuta esaminando, con l'aiuto indispensabile e intenso dei computer, migliaia di indiziati alla ricerca del colpevole. Anche se il caso è stato risolto affermativamente nel 1976, la comunità scientifica non appare del tutto soddisfatta e ancora cerca una dimostrazione che possa ottenersi con metodi più "tradizionali". In queste pagine si ripercorre la storia del "giallo dei quattro colori" e si forniscono elementi per capire la natura del problema e le tecniche risolutive adottate, nella speranza che, finalmente, qualcuno trovi una dimostrazione senza l'aiuto, oggi imprescindibile, di un computer.