collatz/13-nachwort.md

13 · Was ein Beweis wert wäre — Nachwort

Damit ist dieses Buch zu Ende. Die Vermutung, um die es ging, ist es nicht. Vielleicht fragst Du Dich, warum die Jagd das wert war — Kapitel um Kapitel Auf und Ab, und am Ende liegt kein Schatz im Lager. Die Frage verdient eine Antwort. Sie beginnt mit einem Witz.

Der Witz kursiert im Internet in vielen Varianten. Jemand rechnet Collatz-Bahnen nach, Abend für Abend. Freunde, Alltag, Wochenende rücken nach hinten. Und was bleibt am Ende übrig? Die Erkenntnis: Im Alltag ändert sich nichts. Die Pointe ist so beliebig, weil sie stimmt. Würde morgen jemand einen vollständigen Beweis vorlegen, gäbe es kein neues Medikament, kein schnelleres Handy, keinen besseren Wetterbericht. Die Bahn von 27 bliebe exakt, was sie heute ist. Das ist die erste, nüchterne Antwort auf die Wert-Frage. Es ist nicht die ganze.

Denn der Wert eines Beweises liegt selten in dem, was er aussagt. Er liegt in dem, was man bauen musste, um ihn zu finden. Die Geschichte der Nachbarrätsel deutet es an: Fermats Satz wartete rund 350 Jahre auf seinen Beweis, Poincarés Vermutung rund 100. In beiden Fällen entstanden unterwegs Werkzeuge, die inzwischen eigene Felder der Mathematik tragen. Ein Beweis der Collatz-Vermutung würde vermutlich ähnlich pflügen. Das ist Ausblick, keine Rechnung. Aber ein begründeter: Die Regel verkeilt zwei Welten, die die Zahlentheorie sonst getrennt behandelt — das Halbieren und das Mal-drei-plus-eins. Bis heute kennt niemand eine Größe, die in jedem Schritt schrumpft, und fast jede Beweisstrategie braucht genau so eine (Lagarias 1985). Wer dieses Problem lösen will, muss Werkzeuge erfinden, die es noch nicht gibt.

Auch der Ausgang würde unterrichten. Es gibt genau drei Möglichkeiten: Entweder die Vermutung stimmt, und jede Zahl kommt heim. Oder es existiert ein zweiter Kreis neben dem bekannten 1 → 4 → 2 → 1. Oder eine Bahn wächst für immer. Mehr kann ein Gegenbeispiel nicht sein. Beides wäre kein Zusammenbruch der Mathematik, sondern eine Entdeckung: Die Zahlen wären reicher, als alle Modelle denken.

Wo steht die Jagd? Systematisch geprüft ist der Bereich bis 2^71^ — eine Zahl mit 22 Stellen (Barina 2025). Das ist Beobachtung, kein Beweis. Kreise mit bis zu 91 Tälern — lokalen Minima — sind ausgeschlossen (Hercher 2023); jeder nichttriviale Kreis müsste oberhalb dieser Prüfgrenze beginnen. Terence Tao bewies 2022 den bislang stärksten Statistik-Satz: Fast alle Bahnen erreichen fast beschränkte Werte — gemessen mit logarithmischer Dichte, einem „fast alle“, das auch riesige Zahlenbereiche noch zusammenfasst. Eine einzige widerspenstige Zahl könnte alles umschreiben. Bis heute hat niemand eine gefunden.

Deshalb lohnt ein Blick auf das, was die Jagd ohne Schatz schon getragen hat. Erstens die Bilder: das Hagelkorn, das in der Wolke aufsteigt und zu Boden fällt; der Baum, der rückwärts wächst. Bilder sind keine Beweise. Aber sie bringen Menschen zum Nachrechnen, und das tun bis heute viele. Zweitens die Informatik: Ein verteiltes Rechenprojekt schiebt die Prüfgrenze Jahr um Jahr nach oben (Barina 2025). John Conway zeigte 1972, dass verwandte, verallgemeinerte Regeln ganze Rechner simulieren können; Kurtz und Simon verschärften das 2007. Für die Familien dieser verallgemeinerten Regeln gibt es kein Allverfahren — die klassische Regel bleibt die offene Ausnahme. Drittens die Zufallsmodelle: Sie haben gelehrt, „im Schnitt“ und „für immer“ sauber auseinanderzuhalten. Heuristik heißt Heuristik. Viertens die Demut: Richard Guy betitelte 1983 einen Beitrag „Don't try to solve these problems!“ — Versucht nicht, diese Probleme zu lösen (Guy 1983). Paul Erdős meinte, die Mathematik sei für solche Probleme noch nicht reif (Lagarias 1985). Fehlversuche werden in der Fachliteratur dokumentiert statt versteckt (Lagarias 1985, Lagarias 2010). Auch das hat Collatz der Disziplin hinterlassen.

JoAnne Growney hat dem Problem ein Gedicht gegeben: „A Mathematician's Nightmare“ (2011). Darin verkauft ein Allgemeinladen seine Waren nach der Regel. Die Sprecherin schielt auf einen geschliffenen Spiegel, Preis: 27 Dollar. Ihre Frage: „shall I buy or wait for fifty-nine days until the price is lower?“ — Kaufen oder 59 Tage warten, bis der Preis niedriger ist? Das Gedicht rechnet mit der Shortcut-Variante der Regel: ungerade Zahl mal drei, plus eins, sofort halbiert — das zählt als ein Schritt. In dieser Zählung dauert die Reise von 27 siebzig Schritte, der Gipfel liegt bei 4616, und nach genau 59 Tagen fällt der Preis zum ersten Mal unter 27. In der klassischen Zählung, in der das Halbieren ein eigener Schritt ist, sind es 111 Schritte und der Gipfel 9232. Gleiche Bahn, andere Uhr. Wer das Gedicht nachrechnet, sollte wissen, welche Uhr es nimmt.

Bleibt das Bild, mit dem dieses Buch angefangen hat: der Baum. Wächst man ihn rückwärts — von der 1 aus, Zweig für Zweig zurück zu den Zahlen, die dorthin führen — sieht er aus wie eine Koralle. Ein Bild, kein Beweis. Die Vermutung sagt: Dieser Korallenbaum enthält jede positive ganze Zahl. Keine fehlt. Keine hängt für immer in der Luft. Keine driftet ins Unendliche. Beweisen lässt sich das nicht durch Nachrechnen — dafür sind es zu viele Zahlen. Also wächst der Korallenbaum weiter, solange niemand eine Zahl findet, die sich weigert, nach Hause zu kommen.

{width=90%}