2. Frühe Versuche und falsche Beweise
ANZEIGE
Der Weg zum Beweis des Vier-Farben-Satzes war gepflastert mit vielen ehrgeizigen Versuchen, knappen Fehlschlägen und sogar einigen jahrzehntelangen Kontroversen. Viele Mathematiker, sowohl Amateure als auch Profis, versuchten, das Rätsel zu lösen, als es in der mathematischen Welt bekannt wurde. Auch wenn das grundlegende Problem hartnäckig ungelöst blieb, führte diese Zeit der konzentrierten Aufmerksamkeit auf das Problem zu bedeutenden Fortschritten in der Graphentheorie und verwandten Disziplinen.
Einer der bekanntesten frühen Versuche stammt von Alfred Kempe aus dem Jahr 1879. Der britische Mathematiker Kempe legte einen Beweis vor, der scheinbar endgültig das Vier-Farben-Problem löste. Mehr als zehn Jahre lang wurde seine Methode, die erstmals „Kempe-Ketten“ vorschlug, von der mathematischen Welt gefeiert und akzeptiert. Kempes Ansatz zeigte, wie man durch die Untersuchung der Verbindungen zwischen verschiedenen farbigen Abschnitten auf einer Karte theoretisch jede problematische Anordnung mit nur vier Farben beheben könnte. Viele glaubten, dass die Eleganz und scheinbare Einfachheit von Kempes Beweis das Vier-Farben-Problem endgültig gelöst hätten.
Doch die Feierlichkeiten waren verfrüht. Ein anderer britischer Mathematiker, Percy Heawood, entdeckte 1890 einen fatalen Fehler in Kempes Argumentation. Heawood fand ein Gegenbeispiel, das einen wesentlichen Bestandteil von Kempes Fall untergrub und damit den Beweis im Wesentlichen entkräftete. Für die mathematische Gemeinschaft, die über zehn Jahre lang geglaubt hatte, das Problem sei gelöst, war diese Enthüllung ein schwerer Schlag. Heawoods Arbeit war jedoch nicht völlig negativ. Er widerlegte Kempes Theorem, indem er bewies, dass fünf Farben immer ausreichen, um jede Karte zu färben – eine Erkenntnis, die als Fünf-Farben-Satz bekannt wurde. Obwohl nicht so stark wie die Vier-Farben-Theorie, war diese Theorie ein bedeutender Fortschritt und blieb viele Jahre lang das beste Ergebnis.
Der Fall von Kempes Beweis unterstrich die Schwierigkeit des Problems und die Notwendigkeit großer mathematischer Beweisstrenge. Er war eine Warnung vor den Gefahren, Beweise ohne sorgfältige Prüfung zu akzeptieren – eine Lektion, die umso wichtiger werden sollte, je weiter die Mathematik in abstraktere und schwierigere Bereiche vordrang. Das Ereignis verdeutlichte zudem die Herausforderung des Vier-Farben-Problems, indem es zeigte, dass selbst scheinbar stichhaltige Beweise kleinere Fehler enthalten konnten.
Nachdem Kempes Beweis widerlegt war, versuchten sich mehrere andere Mathematiker an der Lösung. Während einige versuchten, Kempes Methode zu retten und zu reparieren, schlugen andere völlig neue Wege ein. Obwohl sie den Vier-Farben-Satz nicht beweisen konnten, führten diese Bemühungen oft zu Fortschritten in verwandten Bereichen der Mathematik, insbesondere der Graphentheorie. Die Herausforderung förderte Innovationen im mathematischen Denken und bei Problemlösungsansätzen.
Eine faszinierende Entwicklung in dieser Ära war die Erkenntnis, dass das Problem möglicherweise auf die Betrachtung nur bestimmter Arten von Karten eingeschränkt werden könnte. Mathematiker zeigten, dass das Theorem für alle Karten gilt, wenn es für diese speziellen Fälle gilt. Obwohl dies half, das Problem erheblich zu vereinfachen, blieb ein vollständiger Beweis weiterhin schwer fassbar. Dennoch bot die Vereinfachung eine neue Angriffslinie und lenkte die Aufmerksamkeit auf diese wichtigen Beispiele.
Als Jahrzehnte ohne einen erfolgreichen Beweis vergingen, begannen einige Mathematiker zu vermuten, ob der Vier-Farben-Satz im Rahmen der bestehenden mathematischen Strukturen überhaupt unbeweisbar sein könnte. Diese Vermutung verstärkte das Mysterium der Situation und motivierte weitere Untersuchungen über die Grenzen des menschlichen Wissens und die Grundlagen mathematischer Beweise. Das Vier-Farben-Problem entwickelte sich von einer Frage zur Kartenfärbung zu einem Testfall für die Stärke und die Grenzen mathematischer Methoden.
