collatz/10-geloeste-riesen.md

10 · Gelöste Riesen, fehlende Werkzeuge

Dieses Kapitel ist ein Ausblick. Es blickt von vier gelösten Riesen der Mathematik auf ein Problem, das noch offen ist. Es verspricht nichts und behauptet vor allem nicht, dass die Collatz-Vermutung eines Tages fällt. Es fragt nur: Wie kamen die anderen durch? Und was lehrt das für unser Problem?

Das Bild dieses Kapitels ist der Brückenbau. Ein Problem steht auf einem Ufer. Die Werkzeuge, die es braucht, stehen oft an einem ganz anderen. Dazwischen: Wasser. Manche Probleme wurden erst gelöst, als jemand begann, von der anderen Seite her zu bauen.

Fermat: über 350 Jahre, dann eine Brücke aus einem fremden Tal

Die Behauptung ist kurz. Für n = 2 gibt es von null verschiedene ganze Zahlen, die x^n + y^n = z^n erfüllen — der Satz des Pythagoras lebt davon. Für jeden größeren Exponenten gibt es sie nicht. Diese Notiz schrieb Pierre de Fermat in den 1630er Jahren an den Rand seines Exemplars von Diophants Arithmetica; veröffentlicht wurde sie posthum durch seinen Sohn. Offen blieb der Satz über 350 Jahre.

Gelöst wurde er nicht durch längeres Starren auf die Gleichung. Der Weg führte über elliptische Kurven — glatte Kurven aus einem ganz anderen Teil der Mathematik, die Geometrie und Zahlentheorie miteinander verbinden. Gerhard Frey zeigte 1986: Ein Gegenbeispiel zu Fermat würde eine eigentümliche elliptische Kurve erzeugen. Ken Ribet bewies die sogenannte Epsilon-Vermutung von Serre — angekündigt 1986, publiziert 1990. Damit stand fest: Die Modularitätsvermutung für elliptische Kurven, damals unter dem Namen Taniyama–Shimura-Vermutung bekannt, zieht den Fermatschen Satz nach sich (Ribet 1990; Darmon, Diamond und Taylor 1995). Modularität heißt dabei nichts anderes als eine Brücke: von den elliptischen Kurven hinüber zu einer anderen, fernen Welt der Mathematik, den modularen Formen.

Andrew Wiles verkündete am 23. Juni 1993, im letzten Vortrag seiner Reihe am Isaac Newton Institute in Cambridge, einen Beweis — für genau jene Kurvenklasse, die Frey konstruiert hatte. Während der Begutachtung öffnete sich eine Lücke; Wiles selbst meldete sie am 4. Dezember 1993. 1994 schlossen er und Richard Taylor sie, 1995 erschien der Beweis als zwei Arbeiten in den Annals of Mathematics (Wiles 1995; Taylor und Wiles 1995). Die volle Modularitätsvermutung folgte 2001, durch Breuil, Conrad, Diamond und Taylor.

Drei und ein halbes Jahrhundert stand der Satz still. Dann fiel er — nicht durch einen neuen Blick auf die alte Frage, sondern durch eine Brücke zu einem Ufer, das es in Fermats Jahrhundert so noch nicht gab.

Poincaré: fast ein Jahrhundert und ein Programm, das einer zu Ende tragen musste

1904 formulierte Henri Poincaré in den Rendiconti del Circolo Matematico di Palermo eine Frage über dreidimensionale Räume (Poincaré 1904). Ein Raum meint hier eine Mannigfaltigkeit: etwas, das sich an jedem Punkt wie unser gewohnter dreidimensionaler Raum anfühlt. „Einfach zusammenhängend" heißt: Jede geschlossene Schlaufe im Raum lässt sich stetig zu einem Punkt zusammenziehen. Poincarés Vermutung: Jeder abgeschlossene Raum dieser Art lässt sich ohne Reißen und Kleben in die 3-Sphäre überführen — das dreidimensionale Gegenstück der Kugeloberfläche.

Offen blieb die Frage fast genau ein Jahrhundert. 1982 startete Richard Hamilton ein Programm um den Ricci-Fluss: eine Gleichung, die die Form eines Raums Schritt für Schritt verformt — ähnlich einem Wärmeausgleich, der Unebenheiten glättet. Das Programm lieferte Werkzeuge und einen Fahrplan. Den letzten Schritt schaffte es nicht.

Den vollendete Grigori Perelman in drei Preprints — Vorabveröffentlichungen, gestellt ins Netz am 11. November 2002, am 10. März 2003 und am 17. Juli 2003. Dabei bewies er nebenbei das deutlich allgemeinere Geometrisierungstheorem über dreidimensionale Räume (Perelman 2002–2003). Dann arbeitete die Gemeinschaft: Detaillierte Ausarbeitungen von Morgan und Tian (2006/2007) und begutachtete Notizen von Kleiner und Lott (2008) führten die Argumente vollständig aus. Zwischen 2006 und 2008 galt der Beweis als angenommen; das Clay Mathematics Institute listet die Vermutung heute als gelöst.

Auch hier stand die Brücke nicht am Ufer der Vermutung selbst. Das Werkzeug kam aus einer anderen Werkstatt — und brauchte zwei Jahrzehnte plus einen zweiten Menschen, der es zu Ende trug.

Vier Farben, eine Kugelpackung: der Computer wird zum Beweiswerkzeug

1852 kam über einen Brief von Augustus De Morgan vom 23. Oktober 1852 eine Frage in Umlauf, gestellt von Francis Guthrie: Reichen vier Farben für jede Landkarte, sodass keine zwei Nachbarländer dieselbe Farbe tragen? 124 Jahre später, 1976, bewiesen Kenneth Appel und Wolfgang Haken den Satz — mit Computerrechnungen von John Koch: rund 1.200 Stunden Rechenzeit über eine unvermeidliche Menge von etwa 1.500 Konfigurationen; unvermeidlich heißt, jede Karte enthält mindestens eine davon (Appel, Haken und Koch 1977). Es war der erste große Satz, dessen Beweis wesentlich vom Computer getragen wurde. Anfangs herrschte Misstrauen — gerade weil niemand den Beweis von Hand nachprüfen konnte. Die unabhängige Nachrechnung der Computeranteile legte den Streit bei.

Das Muster wiederholte sich bei der Keplervermutung: Keine Anordnung von Kugeln im Raum übertrifft die Dichte der kubisch-flächenzentrierten Packung — des Stapels, wie er auf dem Obstmarkt liegt. Thomas Hales reichte seinen Beweis am 4. September 1998 bei den Annals of Mathematics ein. Die Begutachtung dauerte Jahre; gedruckt wurde er 2005, mit einer Begleitarbeit von Hales und Ferguson 2006 (Hales 2005). Dann kam der zweite Akt: Hales startete Flyspeck, eine formale Verifikation des gesamten Beweises in den Beweisassistenten HOL Light und Isabelle — Programmen, die ein Argument Regel für Regel maschinell kontrollieren. Abgeschlossen war das Projekt am 10. August 2014; der offizielle Bericht erschien 2017 (Hales et al. 2017).

Für dieses Buch zählt der Kontrast. Computergetragene und formal verifizierte Beweise sind eine etablierte Erkenntniskategorie der modernen Mathematik. Aber der Computer wurde hier zum Teil des Beweises — während die Verifikationsgrenze aus Kapitel 6 (2^71^) Beobachtung bleibt, kein Beweis. Das Werkzeug entscheidet nicht; der Einsatz entscheidet.

Die Klassifikation der endlichen einfachen Gruppen: ein Beweis in Jahrzehnten und zehntausenden Seiten

Gruppen sind das mathematische Vokabular für Symmetrie. Die endlichen einfachen Gruppen sind ihre Atome: Bausteine, aus denen jede endliche Symmetrie aufgebaut ist. Die Klassifikation behauptet, diese Atome vollständig zu kennen — eine Liste, und einen Beweis, dass die Liste vollständig ist.

Sein moderner Anfang war 1963 der Satz von Walter Feit und John Thompson über Gruppen ungerader Ordnung — in einem einzigen Aufsatz von 255 Seiten (Feit und Thompson 1963). Daniel Gorenstein koordinierte das Gesamtprogramm und erklärte die Klassifikation 1981 für abgeschlossen (Entwurf: August 1980). Ende 1983 war jede relevante Arbeit im Druck — bis auf eine: das Quasithin-Manuskript von Geoff Mason, das nie erschien. Ausgerechnet dieser technische Rest, grob ein Viertel der Klassifikation, blieb als Lücke stehen. Erst 2004 schlossen Michael Aschbacher und Stephen D. Smith ihn, mit zwei Bänden (Aschbacher und Smith 2004).

Dazu läuft seit 1994 die zweite Generation: Gorenstein, Lyons und Solomon schreiben den Beweis als in sich geschlossenes Werk neu — geplant auf rund 5.000 Buchseiten, gegenüber rund 15.000 Zeitschriftenseiten des Originals (Gorenstein, Lyons und Solomon 1994; Solomon 2001). Der Odd-Order-Satz trägt inzwischen auch ein maschinelles Gütesiegel: 2013 wurde er im Beweisassistenten Coq vollständig nachgeprüft (Gonthier et al. 2013).

„Bewiesen" kann also heißen: Jahrzehnte, zehntausende Seiten, Arbeit vieler koordinierter Hände — und eine Lücke, die nachträglich repariert werden musste (Solomon 2001). Ein bewiesener Satz ist auch ein soziales Objekt. Er trägt so gut, wie die Gemeinschaft ihn prüfen und aufschreiben kann.

Vier Riesen, vier Geschichten, ein Muster. Fermat: über 350 Jahre offen; gefallen, weil Wiles eine Brücke zu elliptischen Kurven und Modularität baute. Poincaré: fast ein Jahrhundert offen; gefallen, als Perelman Hamiltons Ricci-Fluss-Programm zu Ende führte. Vier Farben und Kepler: gefallen, weil Appel und Haken — mit Koch — sowie Hales den Computer zum Beweiswerkzeug machten; Misstrauen am Anfang, Nachrechnen und Verifikation am Ende. Die Klassifikation: gefallen durch Jahrzehnte koordinierter Zusammenarbeit über zehntausende Seiten.

Die Moral ist nicht: Nur nicht aufgeben. Der Wille fehlt in der Mathematik selten. Die Moral lautet: Nicht der Wille fehlt — oft fehlt das Feld. Manche Sätze warten, bis die Brücke zu einem ganz anderen Ufer gebaut ist.

Was heißt das für die Collatz-Vermutung, die seit fast neun Jahrzehnten ohne Beweis ist? Zunächst: nichts Genaues. Aus vier gelösten Problemen folgt keine Lösung des fünften — ungelöst bleibt ungelöst. Aber der Blick über das Feld korrigiert eine naheliegende Fehldiagnose. Die Vermutung widersteht nicht, weil es an Fleiß, Rechenleistung oder Neugier fehlte (Kapitel 6 und 7). Ihr Widerstand hat vielleicht mit uns zu tun: Es fehlen die richtigen Brücken, nicht der Fleiß.

Das bleibt ein Ausblick mit offener Schlussrechnung. Vielleicht kommt die Brücke aus der Zahlentheorie, aus der Dynamik, aus einem Gebiet, das heute noch keinen Namen trägt. Vielleicht in dreißig Jahren, vielleicht nie — „nie" ist eine erlaubte Antwort, solange nichts anderes bewiesen ist. Was heute feststeht, bleibt unverändert: unbewiesen (Stand 2026). Und der Blick über das Feld zeigt eines: „Unbewiesen" heißt in der Mathematik selten „unlösbar". Meistens heißt es nur: Die Brücke steht noch nicht.