Quattro colori bastano, ma non si sa perché

Due allegati matematici al periodico Le Scienze riguardano il teorema dei quattro colori e il teorema egregium di Gauss. Il primo è stato dimostrato solo con l’aiuto dei computer. Qualche riflessione su tale dimostrazione e quelle tradizionali.