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?
