Die Frage, ob jede Landkarte mit vier Farben gefärbt werden kann, wurde erstmals 1852 von de Morgan in einem Brief an Hamilton formuliert. Kempes gefeierter Beweis von 1878 stellte sich zwölf Jahre später als fehlerhaft heraus. Heawood, der den Fehler im Beweis gefunden hatte, bewies immerhin korrekt die Färbbarkeit mit fünf Farben, und er fand…

Am Freitag haben Jeremy Kahn und Vladimir Markovic eine Arbeit auf dem arxiv veröffentlicht, in der eine abgeschwächte Form der ‘Virtuell Haken’-Vermutung für hyperbolische 3-Mannigfaltigkeiten bewiesen wird.

Das 4-Farben-Problem und Computerbeweise in der Mathematik.