Il teorema dei quattro colori

Per colorare una mappa senze che due regioni adiacenti abbiano lo stesso colore, ne bastano quattro. C'è voluto più di un secolo per dimostrarlo, e alla fine è stato necessario usare il computer. Ma allora è una dimostrazione vera oppure no?

Il teorema dei quattro colori ha avuto una triste nomea; essere stato il primo risultato matematico dimostrato non da un essere umano ma da un computer. Peggio ancora, non esiste a tutt’oggi una dimostrazione verificata da una persona in carne e ossa, tanto che quando negli anni ’70 del secolo scorso il risultato fu reso pubblico ci furono alcuni che commentarono che quella fornita non era affatto una dimostrazione proprio perché non verificabile da nessuno e a cui bisogna credere per fede. Ma dietro tutto questo c’è una storia molto interessante.

(altro…)

Continua sul Post