Mathe
Der Vierfarbensatz und die Kartografie
Der Satz besagt, dass jede Landkarte mit höchstens vier Farben so eingefärbt werden kann, dass keine zwei angrenzenden Länder dieselbe Farbe erhalten. Er wurde 1852 vermutet und 1976 erstmals mithilfe umfangreicher Computerberechnungen bewiesen.