Il teorema dei quattro colori
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.
