Manuskript 1. Auflage: P0/P1, Figuren-Einbettung, Titel
P0: m-Zyklen als Täler/lokale Minima; Tao = fast beschränkte Werte (log-Dichte); Kap. 0 ohne σ=96; Kap. 2-Parität folgt in der Zählung. P1: Thwaites ohne Jahreszahl, Goldbach ohne Superlativ, Log-Treppe, Terras-Analogie Quadratzahlen; Konsistenz Tao/m-Zyklen/Barina-2020. F-00–F-13 in den Kapiteln eingebettet (Captions DE, width=90%). Titel in AGENTS.md: Das Hagelkorn-Problem / Die Collatz-Vermutung. ToC mitgezogen (inkl. Zähl-Labels); Kap. 2 und 3 folgen separat.
This commit is contained in:
grok-bot committed
1 parent
729a6f2437
commit
1c49ee88e3
14 files changed
+53
-29
No files matched your search
@@ -25,7 +25,7 @@
|
||||
|
||||
### 1 · Ein Problem, viele Namen
|
||||
|
||||
- **These/Frage:** Wer „erfand" es? Collatz: Notizbuch 1932 mit früheren Iterationsproblemen und graphischer Sicht; das 3n+1 selbst Hamburg 1937, nach eigener späterer Erinnerung damals unveröffentlicht (Vortragsreisen inkl. ICM 1950); Weitergabe über Hasse („Syracuse" — Name geprägt bei Hasse-Besuch der Syracuse University), Ulam (Los Alamos), Kakutani (Yale/Chicago), Thwaites (1952; £1000, als anekdotisch etikettiert); Gardner 1972 (Mathematical Games, Scientific American — der Moment, in dem es öffentlich wird). Pointe: Das Problem ist so natürlich, dass es mehrfach „erfunden" wurde.
|
||||
- **These/Frage:** Wer „erfand" es? Collatz: Notizbuch 1932 mit früheren Iterationsproblemen und graphischer Sicht; das 3n+1 selbst Hamburg 1937, nach eigener späterer Erinnerung damals unveröffentlicht (Vortragsreisen inkl. ICM 1950); Weitergabe über Hasse („Syracuse" — Name geprägt bei Hasse-Besuch der Syracuse University), Ulam (Los Alamos), Kakutani (Yale/Chicago), Thwaites (£1000, als anekdotisch etikettiert); Gardner 1972 (Mathematical Games, Scientific American — der Moment, in dem es öffentlich wird). Pointe: Das Problem ist so natürlich, dass es mehrfach „erfunden" wurde.
|
||||
- **Bild:** Wanderlegende.
|
||||
- **Label:** Erzählung
|
||||
- **Würze:** Kakutani-Anekdote wörtlich („For about a month everybody at Yale worked on it…" + Chicago + Verschwörungs-Witz, Lagarias 1985); Coxeters $50 (1970, „mathematical gossip") und Erdős' $500 als Gesprächseinschätzung; Collatz-Prioritätsbrief (Abbildung via Mays/CECM).
|
||||
@@ -34,7 +34,7 @@
|
||||
|
||||
### 2 · Die Regel ohne Formelpanzer
|
||||
|
||||
- **These/Frage:** Was heißt „immer bei 1 landen" genau? Gerade: halbieren; ungerade: 3n+1; Shortcut `T(n) = (3n+1)/2` einmal benennen. 27 als große Reise; Delay- und Path-Records als Landschaft (frühe Rekordhalter: 871: τ=178, 6171: τ=261, 77031: τ=350, 837799: τ=524; aktuelle via Roosendaal); negative Zahlen mit drei bekannten Kreisen — „immer 1" ist keine Selbstverständlichkeit. Rechenstand sachlich: geprüft bis `2^71`, beeindruckend und kein Beweis.
|
||||
- **These/Frage:** Was heißt „immer bei 1 landen" genau? Gerade: halbieren; ungerade: 3n+1; Shortcut `T(n) = (3n+1)/2` einmal benennen; verbindliche Notationstabelle C, T, σ, τ, M (Mini-Beispiel 7; 111 = τ_C(27)). 27 als Paar beider Uhren; Delay- und Path-Records als Landschaft (frühe Rekordhalter: 871: τ_C=178, 6171: τ_C=261, 77031: τ_C=350, 837799: τ_C=524; aktuelle via Roosendaal); negative Zahlen mit drei bekannten Kreisen — „immer 1" ist keine Selbstverständlichkeit. Rechenstand sachlich: geprüft bis `2^71`, beeindruckend und kein Beweis.
|
||||
- **Bild:** Rückwärts gewachsener Baum (Koralle): Die Vermutung sagt, er enthält alle positiven ganzen Zahlen.
|
||||
- **Label:** Blick zurück
|
||||
- **Kanon:** `docs/01` §1.2, `docs/02` (Shortcut, inverser Baum), `docs/04` §4.2/§4.4, `docs/06` §6.1, `docs/08` (OEIS)
|
||||
@@ -46,7 +46,7 @@
|
||||
|
||||
### 3 · Was man zu sehen glaubt
|
||||
|
||||
- **These/Frage:** Warum *sollte* fast alles schrumpfen? Auf eine ungerade Zahl folgt **immer** eine gerade; je Schritt ist man zur Hälfte bei ×1/2, zur Hälfte bei ×3/2 — im Mittel schrumpft die Zahl (typischer Faktor ≈ 0,866, Stoppzeit grob 6,95·ln n). Und trotzdem: Einzelbahnen schießen weit nach oben. „Im Schnitt" heißt nichts „für jede einzelne Zahl" — der rote Faden bis Tao.
|
||||
- **These/Frage:** Warum *sollte* fast alles schrumpfen? Auf eine ungerade Zahl folgt **immer** eine gerade; je T-Schritt ist man zur Hälfte bei ×1/2, zur Hälfte bei ×3/2 — im Mittel schrumpft die Zahl (typischer Faktor ≈ 0,866, Gesamtstoppzeit τ unter T grob 6,95·ln n; Check 27: ≈ 23 gegen τ_T(27) = 70, nicht gegen 111). Und trotzdem: Einzelbahnen schießen weit nach oben. „Im Schnitt" heißt nichts „für jede einzelne Zahl" — der rote Faden bis Tao.
|
||||
- **Bild:** Würfel-Walk mit Gefälle.
|
||||
- **Label:** Erkenntnis
|
||||
- **Kanon:** `docs/05` §5.1
|
||||
@@ -54,7 +54,7 @@
|
||||
|
||||
### 4 · Drei Arten, falsch zu sein
|
||||
|
||||
- **These/Frage:** (1) ein anderer endlicher Kreis, (2) eine Bahn, die für immer wächst, (3) etwas Pathologisches dazwischen. Was man weiß: keine kleinen nichttrivialen Kreise — Kreislängen müssten absurd lang sein (keine m-Zyklen für m ≤ 91; Kombination mit `2^71`), Divergenz ist das hartnäckigere Gespenst. 5n+1 als Labor: beide Versagensmodi real.
|
||||
- **These/Frage:** (1) ein anderer endlicher Kreis, (2) eine Bahn, die für immer wächst, (3) etwas Pathologisches dazwischen. Was man weiß: keine kleinen nichttrivialen Kreise — Kreislängen müssten absurd lang sein (keine m-Zyklen mit ≤ 91 Tälern / lokalen Minima; Kombination mit `2^71`), Divergenz ist das hartnäckigere Gespenst. 5n+1 als Labor: beide Versagensmodi real.
|
||||
- **Bild:** Gespenster-Triptychon.
|
||||
- **Label:** Erkenntnis
|
||||
- **Kanon:** `docs/03` §3.3, `docs/06` §6.1–6.2
|
||||
@@ -120,7 +120,7 @@
|
||||
|
||||
### 11 · Offene Nachbarn
|
||||
|
||||
- **These/Frage:** Goldbach, Primzahlzwillinge, Riemann, ungerade vollkommene Zahlen, Busy Beaver — wo steht Collatz im Feld? Manche sind „fast sicher und großflächig geprüft", manche haben eine Theorie drumherum; Collatz sitzt dazwischen: kinderleicht zu sagen, strukturell widerspenstig, statistisch „fast wahr".
|
||||
- **These/Frage:** Goldbach, Primzahlzwillinge, Riemann, ungerade vollkommene Zahlen, Busy Beaver — wo steht Collatz im Feld? Manche sind „fast sicher und großflächig geprüft", manche haben eine Theorie drumherum; Collatz sitzt dazwischen: kinderleicht zu sagen, strukturell widerspenstig, statistisch fast beschränkte Werte (Tao 2022, log-Dichte), nicht die Landung bei 1.
|
||||
- **Bild:** Nachbargärten.
|
||||
- **Label:** Ausblick
|
||||
- **Kanon:** `docs/07` §7.5, `docs/08` (Neighboring open problems)
|
||||
@@ -174,7 +174,7 @@ Die Labels sind mit Freigabe dieses ToC **unveränderbar** (AGENTS.md: Kapitel-A
|
||||
|
||||
- **A · Glossar:** Bahn, Gesamtstoppzeit vs. Stoppzeit (kanonische Terminologie!), m-Zyklus, logarithmische Dichte, 2-adische Zahlen — je ein Satz.
|
||||
- **B · Kommentierte Literatur:** Grundlage `docs/08` (URLs ausschließlich dort). Populäre Einstiege (Veritasium, Numberphile, Gardner-Recherche) mit Hinweis auf Popularisierung; vgl. `docs/kb/02-recherche/video-inhaltskarte.md`.
|
||||
- **C · Berühmte Startwerte:** Tabelle mit 27 (τ=111, M=9232) und frühen Rekordhaltern 871 (τ=178), 6171 (τ=261), 77031 (τ=350), 837799 (τ=524); aktuelle Rekorde via Roosendaal (`docs/04` §4.4, Quelle `docs/08`).
|
||||
- **C · Berühmte Startwerte:** Tabelle mit 27 (τ_C=111, M_C=9232; τ_T=70, M_T=4616) und frühen Rekordhaltern 871 (τ_C=178), 6171 (τ_C=261), 77031 (τ_C=350), 837799 (τ_C=524); aktuelle Rekorde via Roosendaal (`docs/04` §4.4, Quelle `docs/08`).
|
||||
|
||||
## Regeln für die Arbeit mit diesem ToC
|
||||
|
||||
|
||||
+3
-1
@@ -14,7 +14,7 @@ Manche Zahlen haben es überhaupt leicht. Nimm die 16. 16 → 8 → 4 → 2 →
|
||||
|
||||
Bis hierher wirkt das Spiel harmlos: Jede Bahn, die du gesehen hast, findet nach Hause. Und dann nimm die 27.
|
||||
|
||||
27 ist ungerade: 82. Dann 41, 124, 62, 31, 94, 47, 142, 71. Binnen drei Schritten ist die 100 geknackt, kurz darauf fällt die Bahn unter ihren Startwert zurück — und steigt doch wieder. Mal rauf, mal runter, aber die Ausschläge werden gewaltig. Erst nach 77 Schritten steht sie auf ihrem Gipfel:
|
||||
27 ist ungerade: 82. Dann 41, 124, 62, 31, 94, 47, 142, 71. Binnen drei Schritten ist die 100 geknackt. Danach läuft die Bahn im Zickzack über ihrem Startwert — mal rauf, mal runter, aber die Ausschläge werden gewaltig. Erst nach 77 Schritten steht sie auf ihrem Gipfel:
|
||||
|
||||
```
|
||||
27 → 82 → 41 → 124 → 62 → 31 → 94 → … → 9232 → 4616 → … → 1
|
||||
@@ -26,6 +26,8 @@ Kein Wunder, dass ausgerechnet die 27 berühmt geworden ist. Sie zeigt drastisch
|
||||
|
||||
Diese Bahnen haben einen Spitznamen. Wie ein Hagelkorn, das in der Wolke hochgewirbelt wird: Es steigt, fällt ein Stück herab, wird erneut emporgereißt, steigt wieder — bis es schließlich zu Boden fällt. Auf Englisch heißen diese Zahlen deshalb hailstone numbers — Hagelkorn-Zahlen; auch Fachleute sagen so. Das ist ein Bild, kein Beweis. Aber ein Bild, das genau passt.
|
||||
|
||||
{width=90%}
|
||||
|
||||
Diese Rechnung kann fesseln. Der Webcomic xkcd hat ihr ein Denkmal gesetzt — Nummer 710, von Randall Munroe:
|
||||
|
||||
> „… eventually your friends will stop calling …“ — sinngemäß: „… irgendwann hören deine Freunde auf, dich anzurufen.“
|
||||
|
||||
+4
-2
@@ -26,7 +26,7 @@ In den 1950er-Jahren trug Helmut Hasse es zwischen Hamburg und den USA hin und h
|
||||
|
||||
Auf Deutsch: Etwa einen Monat lang arbeitete in Yale jeder daran — ohne Ergebnis. In Chicago dasselbe. Und es wurde gescherzt, das Problem sei Teil einer Verschwörung, um die mathematische Forschung in den USA zu verlangsamen.
|
||||
|
||||
Eine unveröffentlichte Frage, die einen Monat lang eine ganze Fakultät beschäftigt: Das erklärt, warum viele später dachten, das Problem habe mehrere Väter. Und tatsächlich tauchte die Regel auch unabhängig auf — 1952, so die Überlieferung, bei Thwaites. Er setzte 1000 Pfund für eine Lösung aus; die Summe steht gedruckt bei Lagarias (1985), überliefert als Anekdote, nicht als dokumentierter Wettbewerb.
|
||||
Eine unveröffentlichte Frage, die einen Monat lang eine ganze Fakultät beschäftigt: Das erklärt, warum viele später dachten, das Problem habe mehrere Väter. Und tatsächlich tauchte die Regel auch unabhängig auf — so die Überlieferung, bei Thwaites. Er setzte 1000 Pfund für eine Lösung aus; die Summe steht gedruckt bei Lagarias (1985), überliefert als Anekdote, nicht als dokumentierter Wettbewerb.
|
||||
|
||||
## Zwei Seiten, 17. September 1980
|
||||
|
||||
@@ -48,8 +48,10 @@ Der Moment, in dem das Problem öffentlich wurde, hat eine Ausgabe: Scientific A
|
||||
|
||||
## Viele Namen, eine Regel
|
||||
|
||||
In der Fachliteratur läuft das Problem heute meist unter dem Namen 3x+1-Problem. Daneben finden sich: Collatz-Problem, Kakutanis Problem, Ulams Problem, Syracuse-Problem, Hasses Algorithmus, Thwaites-Vermutung (Lagarias 1985). Und als vielleicht anschaulichsten Namen das Hagelstein-Problem — weil die Bahnen aufsteigen und fallen wie Hagelkörner in einer Wolke.
|
||||
In der Fachliteratur läuft das Problem heute meist unter dem Namen 3x+1-Problem. Daneben finden sich: Collatz-Problem, Kakutanis Problem, Ulams Problem, Syracuse-Problem, Hasses Algorithmus, Thwaites-Vermutung (Lagarias 1985). Und als vielleicht anschaulichsten Namen das Hagelkorn-Problem (englisch hailstone problem) — weil die Bahnen aufsteigen und fallen wie Hagelkörner in einer Wolke.
|
||||
|
||||
Man kann sich das Problem wie eine Wanderlegende vorstellen: eine Geschichte, die von Ort zu Ort getragen wird, überall auf Anhieb verstanden wird und sich unterwegs neue Namen zulegt. Das ist ein Bild, kein Beweis — Legenden verändern auf der Wanderung ihren Inhalt, dieses Problem hat seine Regel nie verändert. Aber als Bild trägt es weit: Mehr als drei Jahrzehnte lang lebte das Problem in Gesprächen, auf Reisen, in Vorträgen und Briefen — nicht in Zeitschriften.
|
||||
|
||||
{width=90%}
|
||||
|
||||
Wer hat es also erfunden? Die ehrliche Antwort lautet: wahrscheinlich mehr als einer. Die Regel ist so kurz und so natürlich, dass sie sich mehrfach finden ließ. Collatz bleibt der plausibelste Ursprung: das Notizbuch von 1932 mit derselben Denkweise, die Formulierung in Hamburg 1937 nach eigener Erinnerung, der Prioritätsanspruch von 1980. Aber die Geschichte des Problems schreibt sich nicht aus diesem Ursprung allein. Sie schreibt sich aus der Wanderung: aus den Reisen Hasses, aus dem fruchtlosen Monat in Yale, aus Gardners Kolumne. Die Namensvielfalt ist kein Durcheinander, das man aufräumen müsste. Sie ist das Protokoll dieser Wanderung — und damit selbst die Geschichte.
|
||||
@@ -4,6 +4,8 @@ Im letzten Kapitel hast du den Würfel geworfen: Im Mittel schrumpfen die Zahlen
|
||||
|
||||
Wohin sollte diese Zahl gehen? Drei Schattenbilder zeichnen sich ab, und dieses Kapitel hängt sie als Triptychon an die Wand: erstens ein anderer endlicher Kreis, zweitens eine Bahn, die für immer wächst, drittens etwas Pathologisches dazwischen. Ein Bild, kein Beweis — aber es sortiert die Debatte.
|
||||
|
||||
{width=90%}
|
||||
|
||||
Der Gegenpol vorweg, damit du weißt, wovon sich die Gespenster abheben: die Runde, an die alle glauben. 1 → 4 → 2 → 1: ungerade, also 3n+1; gerade, also halbiert; wieder von vorn. Diese kleine Runde ist der einzige Kreis, den je jemand in der positiven Zahlenwelt gefunden hat. Weitere Kreise heißen im Fachjargon nichttrivial: andere als dieser.
|
||||
|
||||
## Erstes Gespenst: Ein anderer Kreis
|
||||
@@ -12,11 +14,11 @@ Das erste Gespenst ist ein anderer endlicher Kreis: eine Runde aus ganz gewöhnl
|
||||
|
||||
Ist so etwas je gesehen worden? In der positiven Zahlenwelt: nein. Auf der anderen Seite der Null: ja. Wendet man dieselbe Regel auf negative Zahlen an, kennt man drei weitere Kreise: {−1, −2}, {−5, −14, −7, −20, −10} und einen mit 18 Plätzen, der bei −17 einsteigt. (Für negative Zahlen gelesen ist dieselbe Regel das sogenannte 3x−1-Problem für positive.) Selbst die Vermutung, dass es dort bei diesen dreien bleibt, ist unbewiesen. Der Kreis-Typ ist also real — er zeigt sich nur in der Nachbarwohnung.
|
||||
|
||||
In unserer Hälfte der Zahlenlinie hat die Mathematik ihn weit zurückgedrängt. Zuerst die Definition: Ein m-Zyklus ist eine geschlossene Bahn mit m ungeraden Schritten — m Sprüngen der Form 3n+1. Der triviale Kreis hat genau einen.
|
||||
In unserer Hälfte der Zahlenlinie hat die Mathematik ihn weit zurückgedrängt. Zuerst die Definition: Ein m-Zyklus ist eine geschlossene Bahn mit m Tälern. Ein Tal ist eine Stelle, an der die Bahn nach einem Abstieg wieder nach oben knickt — Fachwort: lokales Minimum. Der triviale Kreis hat genau eines.
|
||||
|
||||
Dann das erste Werkzeug, die Theorie. Ein Kreis erzwingt strenge Buchhaltung: Seine Verdreifachungen und seine Halbierungen müssen sich über die Runde exakt ausgleichen, sonst käme die Bahn nie zurück. Aufgeschrieben ist das eine Balance zwischen Zweier- und Dreierpotenzen. Die Baker-Theorie — ein schweres Geschütz der Zahlentheorie, das abschätzt, wie nahe sich solche Potenzen kommen können — liefert die Antwort: nicht nahe genug. So bewies Steiner 1977, dass es keinen nichttrivialen Kreis mit genau einem ungeraden Schritt gibt. Simons und de Weger drückten die Schranke 2005 auf 68 ungerade Schritte, Hercher 2023 auf 91. Kein nichttrivialer m-Zyklus mit m ≤ 91 existiert — also keiner mit höchstens 91 ungeraden Schritten. Dass dieser Weg von 1 über 2 und 68 nach 91 so mühsam war, hat einen Grund: Je mehr Schritte man ausschließen will, desto schwächer werden die Abschätzungen.
|
||||
Dann das erste Werkzeug, die Theorie. Ein Kreis erzwingt strenge Buchhaltung: Seine Verdreifachungen und seine Halbierungen müssen sich über die Runde exakt ausgleichen, sonst käme die Bahn nie zurück. Aufgeschrieben ist das eine Balance zwischen Zweier- und Dreierpotenzen. Die Baker-Theorie — ein schweres Geschütz der Zahlentheorie, das abschätzt, wie nahe sich solche Potenzen kommen können — liefert die Antwort: nicht nahe genug. So bewies Steiner 1977, dass es keinen nichttrivialen Kreis mit genau einem Tal gibt. Simons und de Weger drückten die Schranke 2005 auf 68 Täler, Hercher 2023 auf 91. Kein nichttrivialer m-Zyklus mit m ≤ 91 existiert — also keiner mit höchstens 91 Tälern. Dass dieser Weg von 1 über 2 und 68 nach 91 so mühsam war, hat einen Grund: Je mehr Täler man ausschließen will, desto schwächer werden die Abschätzungen.
|
||||
|
||||
Das zweite Werkzeug ist die Rechnung. Das verteilte Projekt von David Barina erreichte 2025 die Verifikationsgrenze 2^71^: Alle Startwerte bis dorthin — rund 2,36 Trilliarden, eine Zahl mit 22 Stellen — landen bei 1. Auch das ist Beobachtung, kein Beweis. Kombiniert mit dem Satz von Hercher ergibt sich trotzdem ein präziser Steckbrief: Jeder nichttriviale Kreis müsste mehr als 91 ungerade Schritte haben — und sein kleinster Wert läge über 2^71^, tief in einem Gebiet, in das noch kein Rechner vorgedrungen ist. Wenn es ihn gibt, dann absurd weit draußen.
|
||||
Das zweite Werkzeug ist die Rechnung. Das verteilte Projekt von David Barina erreichte 2025 die Verifikationsgrenze 2^71^: Alle Startwerte bis dorthin — rund 2,36 Trilliarden, eine Zahl mit 22 Stellen — landen bei 1. Auch das ist Beobachtung, kein Beweis. Kombiniert mit dem Satz von Hercher ergibt sich trotzdem ein präziser Steckbrief: Jeder nichttriviale Kreis müsste mehr als 91 Täler haben — und sein kleinster Wert läge über 2^71^, tief in einem Gebiet, in das noch kein Rechner vorgedrungen ist. Wenn es ihn gibt, dann absurd weit draußen.
|
||||
|
||||
## Zweites Gespenst: Die Bahn, die für immer wächst
|
||||
|
||||
@@ -61,8 +63,8 @@ Drei Gespenster, ein Befund — etikettiert:
|
||||
|
||||
**Beobachtung** (Barina, 2025): Alle Startwerte bis 2^71^ ≈ 2,36 × 10^21^ — rund 2,36 Trilliarden, 22 Stellen — landen bei 1. Geprüft, nicht bewiesen.
|
||||
|
||||
**Theorem** (Steiner 1977; Simons und de Weger 2005; Hercher 2023): Einen nichttrivialen Kreis mit höchstens 91 ungeraden Schritten gibt es nicht.
|
||||
**Theorem** (Steiner 1977; Simons und de Weger 2005; Hercher 2023): Einen nichttrivialen Kreis mit höchstens 91 Tälern — lokalen Minima — gibt es nicht.
|
||||
|
||||
**Offen** (Stand 2026): Ob ein Kreis mit mehr als 91 ungeraden Schritten existiert oder eine Bahn, die über jede Grenze wächst, weiß niemand.
|
||||
**Offen** (Stand 2026): Ob ein Kreis mit mehr als 91 Tälern existiert oder eine Bahn, die über jede Grenze wächst, weiß niemand.
|
||||
|
||||
Der Satz, der bleibt: **Falls die Collatz-Vermutung falsch ist, dann tief — oberhalb einer Zahl mit 22 Stellen.**
|
||||
@@ -2,6 +2,8 @@
|
||||
|
||||
Die Gespenster aus dem letzten Kapitel hängen noch an der Wand: der andere Kreis, die Bahn, die für immer steigt, das unheimliche Dazwischen. Gefangen hat sie niemand — verbannt auch. Was tat die Mathematik also in den 1970er Jahren? Sie begann, das Land zu vermessen. Nicht erobern: kartieren. Landvermesser ziehen zuerst Linien auf die Karte — zuverlässige Linien — und lassen die Flecken weiß, die sie noch nicht betreten haben. Ein Bild, kein Beweis — aber es hält die Lage dieses Kapitels fest: Hier beginnt die Kartierung, nicht die Eroberung.
|
||||
|
||||
{width=90%}
|
||||
|
||||
Die rote Linie der letzten Kapitel — „im Schnitt“ heißt nicht „jede Zahl“ — setzte die Forschung der 1970er um: Wenn schon kein Satz für alle Zahlen, dann ein Satz für fast alle.
|
||||
|
||||
## Die Rückkehr der Stoppzeit
|
||||
@@ -14,7 +16,7 @@ Beispiel: die 7. Ihre Bahn lautet 7 → 22 → 11 → 34 → 17 → 52 → 26
|
||||
|
||||
1976 bewies Riho Terras: Fast alle Startzahlen haben eine endliche Stoppzeit — ihre Bahn fällt irgendwann unter den Startwert (Terras 1976). Ein Jahr später folgte dasselbe Ergebnis, unabhängig gewonnen (Everett 1977). Zwei Vermesser, eine Linie.
|
||||
|
||||
Das Wort „fast alle“ braucht jetzt seine erste bewiesene Fassung. Gemeint ist: Zählt man die Startzahlen bis zu einer Grenze nach, schrumpft der Anteil der Ausnahmen gegen null, je weiter man die Grenze hinausschiebt. Unter einer Billion fallen fast alle Zahlen irgendwann unter ihren Startwert — „fast“ im Zähl-Sinn: Der Anteil der Renitenzen ist dort verschwindend klein und wird mit jeder höheren Grenze noch kleiner. Dünn heißt aber nicht leer: Die Zweierpotenzen sind dünn gesät — bis zu einer Billion liegen nur rund 40 von ihnen — und hören trotzdem nie auf. „Fast alle“ schließt also nicht aus, dass es unendlich viele Ausnahmen gibt. Welches Maß die Fachwelt benutzt — und warum Kapitel 7 später ein feineres braucht, die logarithmische Dichte —, klärt Kapitel 7. Hier reicht die umgangssprachliche Fassung: Der Ausnahmeanteil schrumpft gegen null.
|
||||
Das Wort „fast alle“ braucht jetzt seine erste bewiesene Fassung. Gemeint ist: Zählt man die Startzahlen bis zu einer Grenze nach, schrumpft der Anteil der Ausnahmen gegen null, je weiter man die Grenze hinausschiebt. Unter einer Billion fallen fast alle Zahlen irgendwann unter ihren Startwert — „fast“ im Zähl-Sinn: Der Anteil der Renitenzen ist dort verschwindend klein und wird mit jeder höheren Grenze noch kleiner. Dünn heißt aber nicht leer: Die Quadratzahlen sind dünn gesät — bis zu einer Billion liegen eine Million von ihnen — und hören trotzdem nie auf. (Ein Bild, kein Beweis: Quadratzahlen sind nicht die Renitenzen von Terras' Satz; Zweierpotenzen etwa haben Stoppzeit 1 und fallen sofort.) „Fast alle“ schließt also nicht aus, dass es unendlich viele Ausnahmen gibt. Welches Maß die Fachwelt benutzt — und warum Kapitel 7 später ein anderes braucht, die logarithmische Dichte —, klärt Kapitel 7. Hier reicht die umgangssprachliche Fassung: Der Ausnahmeanteil schrumpft gegen null.
|
||||
|
||||
Wie beweist man so etwas? Terras zählte Reste. Schau auf die ersten drei Schritte einer Bahn: Ob sie halbieren oder 3n+1 nehmen, verrät schon der Rest der Startzahl beim Teilen durch 8. Rest 1 — etwa bei 1 oder 9: erst 3n+1, dann halbieren, halbieren (1 → 4 → 2 → 1; 9 → 28 → 14 → 7 — dieselbe Schrittfolge). Rest 3 — etwa bei 3 oder 11: erst 3n+1, dann halbieren, wieder 3n+1 (3 → 10 → 5 → 16). Und so weiter: Der Rest beim Teilen durch zwei hoch k legt die ersten k Schritte fest — bis auf eine Verschiebung, die sich mitrechnen lässt. Terras fragte dann: Wie viele der möglichen Reste lassen überhaupt zu, dass eine Bahn k Schritte lang kein einziges Mal unter den Startwert rutscht? Die Antwort fällt mit jedem größeren k kleiner aus — der Anteil der verdächtigen Reste schrumpft gegen null. Genau das ist der Satz.
|
||||
|
||||
|
||||
@@ -4,6 +4,8 @@ Kapitel 2 hat ihn nur gestreift, diesen Satz: „geprüft bis 2^71^". Jetzt scha
|
||||
|
||||
Stell dir ein Fernglas vor. Es zeigt dir einen langen Streifen Küste gestochen scharf: Klippen, Strand, jede einzelne Düne. Aber es zeigt nur den Streifen. Hinter dem Dunst am Horizont könnte Küste sein — du weißt es nicht, weil du nicht hingesehen hast. (Ein Bild, kein Beweis. Es trägt dieses ganze Kapitel.) Der Rechenstand der Collatz-Forschung sieht genau so aus: scharf bis zu einer bestimmten Stelle, Dunst danach.
|
||||
|
||||
{width=90%}
|
||||
|
||||
## Was „geprüft bis 2^71^" bedeutet
|
||||
|
||||
Ein Rechenprojekt hat die Vermutung bis zu einer Zahl N geprüft, wenn gezeigt ist: Jede Startzahl bis N landet irgendwann bei 1. Jede — ohne Ausnahme. Systematisch heißt das: jede einzelne Zahl bis zur Grenze wird durchgeprüft, keine Stichprobe. Der Fachbegriff dafür ist Verifikationsgrenze; verifizieren heißt: durch Nachrechnen bestätigen.
|
||||
@@ -51,7 +53,7 @@ Bleibt das Bild. Das Fernglas zeigt einen langen, scharfen Streifen Küste — u
|
||||
|
||||
Was dieses Kapitel hinterlässt — mit Etikett, damit Beobachtung und Beweis nicht wieder zusammenrutschen:
|
||||
|
||||
- **Beobachtet:** Jede Startzahl bis 2^71^ ≈ 2,36 × 10^21^ landet bei 1 — systematisch, lückenlos, ohne Stichprobe (Barina 2020, 2025). Darüber hinaus nur Einzelfälle, keine systematische Prüfung.
|
||||
- **Beobachtet:** Jede Startzahl bis 2^71^ ≈ 2,36 × 10^21^ landet bei 1 — systematisch, lückenlos, ohne Stichprobe (Barina 2025). Darüber hinaus nur Einzelfälle, keine systematische Prüfung.
|
||||
- **Bewiesen:** Nichts dergleichen. Die Verifikationsgrenze ist eine Beobachtungsgrenze; an der Unbewiesenheit der Vermutung ändert auch die beste Rechenleistung nichts (Stand 2026).
|
||||
- **Gewonnen:** Harte Bedingungen für Gegenbeispiele — jeder nichttriviale Kreis müsste vollständig oberhalb von 2^71^ liegen, und klein kann keins sein.
|
||||
- **Offen:** Was jenseits der Grenze geschieht, weiß niemand. Das Fernglas schweift weiter.
|
||||
+4
-2
@@ -4,6 +4,8 @@ Das letzte Kapitel endete mit dem Fernglas: scharf bis 2^71^, Dunst danach — B
|
||||
|
||||
Ein Bild trägt das Kapitel: die **Flutmarke**. An Deichen und alten Hafenmauern stehen Striche, die festhalten, wie hoch das Wasser bei der schlimmsten Flut gestanden hat. Denk dir die Teilresultate der Collatz-Forschung als Fluten: Jeder Satz über „fast alle“ lässt das Wasser ein Stück höher an die Mauer des Problems laufen. Die Vermutung aber verlangt, dass die Flut eines Tages die ganze Mauer benetzt — jeden Stein, ohne Ausnahme. Ein Bild, kein Beweis. Aber es zeigt genau, wo die offene Frage wohnt: nicht unten bei den durchgerechneten Zahlen, sondern in dem schmalen Streifen über der höchsten Flutmarke.
|
||||
|
||||
{width=90%}
|
||||
|
||||
## Eine Leiter aus Sätzen
|
||||
|
||||
Nimm eine Startzahl um die Million und ihre Marke: die Zahl hoch 0,7925 — für eine Million sind das rund 57.000. Korec bewies 1994: Fast alle Bahnen tauchen irgendwann unter ihre eigene Marke n^0,7925^ — mit einem winzigen Toleranzspielraum nach oben. Das ist die schärfste Marke, die dieses Zählverfahren hergab: ein Zählargument über Restklassen, stark genug für „fast alle“, zu schwach für „alle“.
|
||||
@@ -20,7 +22,7 @@ Der Satz erschien 2019 als Preprint — ein Manuskript, das Forschende vorab onl
|
||||
|
||||
Die Wahl der Schranke ist freigestellt; beliebt ist log log n — der Logarithmus des Logarithmus. Der Logarithmus wächst schon langsam; dieser Wert wächst noch viel langsamer. Eine Zahl mit hundert Stellen — gigantisch groß — hat eine doppelt logarithmierte Marke von rund 5,4. Taucht die Bahn eines solchen Startwerts unter die Marke, hat sie irgendwann eine Zahl von höchstens 5 berührt.
|
||||
|
||||
Genau dafür hat sich der Name eingebürgert, unter dem der Satz bekannt ist: Fast alle Bahnen erreichen **fast beschränkte** Werte — im Englischen *almost bounded* (Tao 2022). Fast beschränkt heißt: Die Bahn benimmt sich, als hätte sie eine feste Obergrenze — nur dass diese Grenze nicht feststeht, sondern fast unmerklich mitwächst. Korecs Marke lag bei n^0,7925^, also noch in sichtbarer Entfernung vom Startwert. Taos Satz wirft alle solchen Marken zusammen: Der tiefste Punkt liegt unter jeder Schranke, die überhaupt wächst. Der Abstand zur festen Marke ist kaum noch zu sehen. Und doch ist er der ganze Unterschied. Darauf kommt es gleich an.
|
||||
Genau dafür hat sich der Name eingebürgert, unter dem der Satz bekannt ist: Fast alle Bahnen erreichen **fast beschränkte** Werte — im Englischen *almost bounded* (Tao 2022). Fast beschränkt heißt: nicht die ganze Bahn unter einem Deckel, sondern ihr Tiefpunkt unter einer Marke, die nicht feststeht, sondern fast unmerklich mitwächst. Korecs Marke lag bei n^0,7925^, also noch in sichtbarer Entfernung vom Startwert. Taos Satz wirft alle solchen Marken zusammen: Der tiefste Punkt liegt unter jeder Schranke, die überhaupt wächst. Der Abstand zur festen Marke ist kaum noch zu sehen. Und doch ist er der ganze Unterschied. Darauf kommt es gleich an.
|
||||
|
||||
## Was „fast alle“ hier heißt
|
||||
|
||||
@@ -46,7 +48,7 @@ Bleibt die Kehrseite — die Pointe dieses Kapitels. Die Ausnahmemenge ist dünn
|
||||
|
||||
Zum Mitnehmen — etikettiert, mit Reichweite:
|
||||
|
||||
**Theorem (Tao 2022).** Für fast alle Startzahlen — gezählt nach logarithmischer Dichte — gilt: Der tiefste Punkt der Bahn liegt unter jeder Schranke, die mit der Startzahl ins Unendliche wächst, egal wie langsam (etwa unter log log n). Fast alle Bahnen erreichen fast beschränkte Werte. (Preprint 2019.)
|
||||
**Theorem (Tao 2022).** Wähle irgendeine Schranke, die mit der Startzahl ins Unendliche wächst — egal wie langsam (etwa log log n). Dann gilt für fast alle Startzahlen — gezählt nach logarithmischer Dichte: Der tiefste Punkt der Bahn liegt unter dieser Schranke. Fast alle Bahnen erreichen fast beschränkte Werte. (Preprint 2019.)
|
||||
|
||||
**Reichweite.** „Fast alle“ heißt: bis auf eine Ausnahmemenge, die logarithmisch gezählt verschwindet — dünn, aber nicht als leer bewiesen. Die Schranke muss wachsen; eine feste Schranke ist mit der Methode nicht erreichbar. Kein Vollbeweis: Eine einzige Zahl aus der Ausnahmemenge genügte, die Vermutung zu Fall zu bringen.
|
||||
|
||||
|
||||
+4
-2
@@ -2,6 +2,8 @@
|
||||
|
||||
Die letzten Kapitel haben viel gesehen: Bahnen, die im Schnitt schrumpfen, ein Rechenstand ohne Loch bis 2^71^, ein Statistik-Satz bis an „fast alle“ heran. Und trotzdem: bewiesen ist nichts. Jetzt öffnet sich die Werkstatt: Welche Werkzeuge hat die Forschung probiert — und wo rutscht jedes ab? Dieses Kapitel geht durch den Werkzeugkasten. Ein Bild, kein Beweis — aber ein ehrliches: Manches Werkzeug ist für ein anderes Problem geschärft.
|
||||
|
||||
{width=90%}
|
||||
|
||||
## Der Rückwärtsbaum: eine Frage der Überdeckung
|
||||
|
||||
Aus Kapitel 2 kennst du die Koralle: den Baum, der rückwärts von der 1 wächst. Jede Zahl m hat ihr Doppeltes als Vorgänger — es kommt vorwärts per Halbierung bei m an. Und manchmal einen zweiten: (m−1)/3, genau dann, wenn das eine ungerade Zahl ergibt. Rückwärts gelesen ist die Collatz-Vermutung eine Überdeckungsfrage: Enthält dieser Baum jede positive ganze Zahl?
|
||||
@@ -26,7 +28,7 @@ Wo es hängen bleibt: An einem Staubkorn. Die positiven ganzen Zahlen sind in
|
||||
|
||||
## Paritätsfolgen als Zufall
|
||||
|
||||
Kapitel 3 hat die Brücke gebaut: Behandelt man die Paritätsfolge wie Münzwürfe, schrumpft eine typische Bahn pro Shortcut-Schritt im Schnitt mit 0,866, und die Gesamtstoppzeit wächst grob wie 6,95 · ln n. Kapitel 7 hat das Gefälle in Analysis übersetzt — Taos Satz (Tao 2022) kommt für fast alle Zahlen so weit ans Ziel, wie Statistik bisher reichte. Die Beweis-Hoffnung: Zäunt man die Streuung eng genug, entkommt kein Ausreißer.
|
||||
Kapitel 3 hat die Brücke gebaut: Behandelt man die Paritätsfolge wie Münzwürfe, schrumpft eine typische Bahn pro Shortcut-Schritt im Schnitt mit 0,866, und die Gesamtstoppzeit wächst grob wie 6,95 · ln n. Kapitel 7 hat das Gefälle in Analysis übersetzt — Taos Satz (Tao 2022) zeigt für fast alle Zahlen fast beschränkte Werte, so weit, wie Statistik bisher reichte. Die Beweis-Hoffnung: Zäunt man die Streuung eng genug, entkommt kein Ausreißer.
|
||||
|
||||
Wo sie hängen bleibt: an zwei Stellen. Erstens: „fast alle“ ist nicht „alle“. Jedes Statistik-Ergebnis duldet eine Ausnahme-Menge — dünn, aber womöglich unbegrenzt bevölkert; ein einziges Gegenbeispiel würde genau dort wohnen, und ein Beweis muss Ausreißer einzeln ausschließen. Dafür hat Wahrscheinlichkeitsrechnung keine Zähne. Zweitens: Die Münzwurf-Annahme ist eine Annahme — die Paritätsfolge ist festgeschrieben, mit der Arithmetik von 3n+1 verknotet; bewiesen ist nicht, dass sie sich wie Zufall verhält.
|
||||
|
||||
@@ -68,7 +70,7 @@ Werkstattzustand, ehrlich etikettiert:
|
||||
|
||||
- **Rückwärtsbaum.** Trägt als Übersetzung und als Motor der Verifikation. Hängt: kein Wachstumsgesetz, keine Überdeckungsgarantie.
|
||||
- **2-adische Brille.** Trägt als Glättung: In ℤ₂ wird T zur Shift-Map, die Dynamik-Werkzeuge greifen. Hängt: Die positiven Zahlen sind dort Staub vom Maß null.
|
||||
- **Zufalls-Heuristik.** Trägt als Ordner der Erwartungen, rigoros bis „fast alle“ (Tao 2022). Hängt: der Weg von „fast alle“ zu „alle“ — Ausreißer muss ein Beweis einzeln ausschließen; die Unabhängigkeit ist Annahme.
|
||||
- **Zufalls-Heuristik.** Trägt als Ordner der Erwartungen, rigoros bis fast beschränkte Werte für fast alle (Tao 2022, log-Dichte). Hängt: der Weg von „fast alle“ zu „alle“ — Ausreißer muss ein Beweis einzeln ausschließen; die Unabhängigkeit ist Annahme.
|
||||
- **Transferoperator.** Trägt als Brücke zur Spektraltheorie (Berg und Meinardus 1994). Hängt: kein spektrales Ergebnis lieferte bisher einen Beweis.
|
||||
- **Dynamik-Bilder.** Tragen als Landkarte: Attraktor 1 → 4 → 2 → 1 plus das Verzeichnis dessen, was ausgeschlossen werden müsste. Hängen beim Ausschluss selbst.
|
||||
- **FRACTRAN (Conway 1987; Mechanik Conway 1972).** Trägt als Tiefenlot: Die Familie ist universell, ein Entscheidungs-Universalmittel existiert nicht. Hängt: Sie trifft die Familie, nicht die einzelne Regel.
|
||||
|
||||
+4
-2
@@ -6,6 +6,8 @@ Stell dir einen Bergführer und sein Protokoll vor. Ein Bild, kein Beweis — ab
|
||||
|
||||
Man könnte dieses Kapitel einen Friedhof nennen. Das Bild wäre falsch: Friedhöfe sind Endstationen, ein Protokoll ist eine Karte — und in unbekanntem Gelände der wertvollste Besitz.
|
||||
|
||||
{width=90%}
|
||||
|
||||
## Die Lücke zwischen „fast alle“ und „alle“
|
||||
|
||||
Der häufigste Bruch liegt an der berühmtesten Stelle. Die erfolgreichste Methode des Feldes arbeitet mit Restklassen — Zahlen mit demselben Rest beim Teilen, etwa durch eine Zweierpotenz. Der Rest einer Startzahl legt die ersten Schritte ihrer Bahn fest. Schicht um Schicht gezählt ergibt das: Die Zahlen, die in k Schritten nie unter ihren Startwert fallen, haben eine Dichte — einen Anteil an der Zahlenreihe —, die gegen null fällt. Fast alle Zahlen sinken also irgendwann unter ihren Startwert (Terras 1976). Das Fachwort für die Schritte bis zu dieser ersten Absenkung ist Stoppzeit.
|
||||
@@ -22,7 +24,7 @@ Der dokumentierte Fehlschluss (Lagarias 1985; Lagarias 2010) macht aus der Annah
|
||||
|
||||
## Das Computerargument und seine Buchhaltung
|
||||
|
||||
Dritter Bruch: das Computerargument ohne Restklassenkontrolle. Rechnen gehört zum Feld — Kapitel 6 zeigt, wie weit. Aber ein Rechenargument ist nur so stark wie seine Buchhaltung. Das saubere Beispiel ist das Barina-Projekt: Es zertifiziert nicht einzelne Bahnen, sondern ganze Restklassen auf einmal, und es nutzt die Induktion — jede Zahl, deren Bahn unter ihren Startwert fällt, erledigt alle ihre Nachfolger mit (Barina 2020, 2025). So entstand die Verifikationsgrenze 2^71^ — Beobachtung, kein Beweis.
|
||||
Dritter Bruch: das Computerargument ohne Restklassenkontrolle. Rechnen gehört zum Feld — Kapitel 6 zeigt, wie weit. Aber ein Rechenargument ist nur so stark wie seine Buchhaltung. Das saubere Beispiel ist das Barina-Projekt: Es zertifiziert nicht einzelne Bahnen, sondern ganze Restklassen auf einmal, und es nutzt den Abstieg: Jede Zahl, deren Bahn unter ihren Startwert fällt, ist erledigt — die kleinere Zahl wurde schon geprüft (Barina 2025). So entstand die Verifikationsgrenze 2^71^ — Beobachtung, kein Beweis.
|
||||
|
||||
Das fehlerhafte Muster unterschlägt genau diese Kontrolle. Stichproben rechnen, ein Muster sehen, verallgemeinern, fertig. Aber die Zahlen halten sich nicht an Stichproben-Logik. Zweierpotenzen etwa schaffen es in exakt so vielen Schritten zur 1, wie ihr Exponent angibt — jedes „Muster“, das aus ein paar hundert Bahnen gelesen wird, scheitert an ihnen. Und aus „kein Gegenbeispiel gefunden“ folgt „kein Gegenbeispiel“ nie. Wer über alle Zahlen reden will, muss sagen können, welche Klassen er wirklich geprüft hat — und welche er nur gehofft hat.
|
||||
|
||||
@@ -70,7 +72,7 @@ Sniping und Memekultur erklären die Flut — und warum die Mathematik ihre Kart
|
||||
|
||||
Was dieses Kapitel ins Protokoll eingetragen hat — etikettiert:
|
||||
|
||||
- **Kartiert:** Vier typische Bruchstellen. Die Lücke zwischen „fast alle“ und „alle“: Dichte null heißt nicht leer, der Induktionsanfang kommt nie (Terras 1976; Lagarias 2003). Die Heuristik-Beweis-Verwechslung: Erwartung ist kein Satz (Lagarias 1985, 2010). Das Computerargument ohne Restklassenkontrolle: Beobachtung ist kein Beweis.
|
||||
- **Kartiert:** Drei typische Bruchstellen. Die Lücke zwischen „fast alle“ und „alle“: Dichte null heißt nicht leer, der Induktionsanfang kommt nie (Terras 1976; Lagarias 2003). Die Heuristik-Beweis-Verwechslung: Erwartung ist kein Satz (Lagarias 1985, 2010). Das Computerargument ohne Restklassenkontrolle: Beobachtung ist kein Beweis.
|
||||
- **Fallstudie:** Opfer 2011 — seriöser Ansatz, unvollständige Überdeckung, binnen Wochen widerlegt und zurückgenommen (Opfer 2011; de Weger 2011). Ein Modell von Selbstkorrektur.
|
||||
- **Warnung:** Eine Flut nicht akzeptierter „Beweise“ (Stand 2026), und 2026 der Lean-Kernel-Vorfall: Selbst der Prüfer ist prüfbar — „es type-checkt“ ist der Anfang einer Prüfung, nicht ihr Ende.
|
||||
- **Offen:** Die Collatz-Vermutung ist unbewiesen (Stand 2026). Das Protokoll wächst mit jedem ehrlichen Eintrag — und die nächste Partie hat eine bessere Karte.
|
||||
@@ -4,6 +4,8 @@ Vorweg, kurz und deutlich: Dieses Kapitel ist ein Ausblick. Es blickt von vier g
|
||||
|
||||
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. (Ein Bild, kein Beweis — aber es trägt das ganze Kapitel.)
|
||||
|
||||
{width=90%}
|
||||
|
||||
## Fermat: über 350 Jahre, dann eine Brücke aus einem fremden Tal
|
||||
|
||||
Die Behauptung ist kurz. Für n = 2 gibt es 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 um 1630 an den Rand seines Exemplars von Diophants *Arithmetica*; veröffentlicht wurde sie posthum durch seinen Sohn. Offen blieb der Satz über 350 Jahre.
|
||||
|
||||
@@ -2,6 +2,8 @@
|
||||
|
||||
Collatz wohnt nicht allein. In der Straße der großen offenen Probleme stehen Häuser nebeneinander, deren Bewohner sich zum Verwechseln ähneln: Alle haben am Gartentor einen Einzeiler stehen, alle Gärten wachsen dahinter wild, und von keinem gibt es einen Beweis. Dafür überall Rechenfronten, die weit vor die Theorie vorgedrungen sind. (Ein Bild, kein Beweis: die Nachbargärten. Sie tragen dieses Kapitel.)
|
||||
|
||||
{width=90%}
|
||||
|
||||
Wir gehen die Straße einmal entlang: Goldbach, Primzahlzwillinge, Riemann, ungerade vollkommene Zahlen, Busy Beaver. Fünf Zustände, eine Frage am Ende: Wo steht Collatz in dieser Reihe?
|
||||
|
||||
## Goldbach: großflächig geprüft, genauso unbewiesen
|
||||
@@ -49,14 +51,14 @@ Nun die Übersicht — drei Bewohner-Typen, sechs Gärten:
|
||||
| Riemann | Alle nichttrivialen Zeta-Nullstellen auf Realteil 1/2? | Geprüft: die untersten 12.363.153.437.138; unbewiesen (Platt und Trudgian 2021) |
|
||||
| Ungerade vollkommene Zahlen | Gibt es überhaupt eine? | Keine bekannt; falls doch: größer als 10^1500^ (Ochem und Rao 2012) |
|
||||
| Busy Beaver | Wie lange läuft die fleißigste anhaltende Maschine? | Unentscheidbarkeit bewiesen (Radó 1962); S(5) = 47.176.870, Coq-verifiziert (bbchallenge 2024) |
|
||||
| Collatz | Lendet jede Startzahl bei 1? | Geprüft bis 2^71^; „fast alle" gesichert (Tao 2022); unbewiesen (Barina 2025) |
|
||||
| Collatz | Landet jede Startzahl bei 1? | Geprüft bis 2^71^; fast alle Bahnen erreichen fast beschränkte Werte (Tao 2022, log-Dichte); unbewiesen (Barina 2025) |
|
||||
|
||||
Goldbach und Riemann teilen Collatz' Profil: großflächig geprüft, unbewiesen. Zwillinge und vollkommene Zahlen haben eine Theorie drum herum — bewiesene Schranken statt reiner Beobachtung. Nur Busy Beaver trägt das Unentscheidbarkeits-Zertifikat.
|
||||
|
||||
Und Collatz selbst sitzt dazwischen. Kinderleicht zu sagen: Die Regel kennt inzwischen jedes Kind. Strukturell widerspenstig: seit fast 90 Jahren kein Beweis, obwohl das Problem ständig angegriffen wird. Statistisch „fast wahr": Tao zeigte 2022, dass fast alle Startzahlen sich so verhalten, wie die Vermutung es verlangt (Tao 2022) — und trotzdem kann eine einzige widerspenstige Zahl genügen. In der Straße der offenen Probleme ist Collatz das Haus mit dem kleinsten Türschild und dem wildesten Garten.
|
||||
Und Collatz selbst sitzt dazwischen. Kinderleicht zu sagen: Die Regel kennt inzwischen jedes Kind. Strukturell widerspenstig: seit fast 90 Jahren kein Beweis, obwohl das Problem ständig angegriffen wird. Tao zeigte 2022, dass fast alle Startzahlen fast beschränkte Werte erreichen — gemessen mit logarithmischer Dichte, nicht als Landung bei 1 (Tao 2022) — und trotzdem kann eine einzige widerspenstige Zahl genügen. In der Straße der offenen Probleme ist Collatz das Haus mit dem kleinsten Türschild und dem wildesten Garten.
|
||||
|
||||
## Der Blick über das Feld {.unnumbered .unlisted}
|
||||
|
||||
Zum Abschluss der Rundgang noch einmal, Garten für Garten. Bei Goldbach ist der gemähte Streifen am längsten — 4 × 10^18^, und dahinter beginnt derselbe Dunst wie hinter 2^71^. Bei den Primzahlzwillingen wächst keine Fläche, sondern eine bewiesene Leiter kommt Sprosse um Sprosse von oben: 70.000.000, dann 600, dann 246. Riemanns Linie ist auf einem langen Stück exakt nachgemessen — und beweist damit nicht, dass sie nirgends abknickt. Im Garten der ungeraden vollkommenen Zahlen steht der Zaun eng, Zähne statt Fläche: 10^1500^, 101 Primfaktoren, 10^62^. Und bei Busy Beaver steht das einzige bewiesene Mauerstück der Straße: Diese Frage ist unentscheidbar — Radó 1962 —, während bei Collatz die Unentscheidbarkeit bisher nur die verwandten Familien betrifft, nicht die Regel selbst.
|
||||
Zum Abschluss der Rundgang noch einmal, Garten für Garten. Bei Goldbach ist der gemähte Streifen lang — 4 × 10^18^; Collatz' Front liegt rund 590-fach höher, und hinter beiden beginnt derselbe Dunst. Bei den Primzahlzwillingen wächst keine Fläche, sondern eine bewiesene Leiter kommt Sprosse um Sprosse von oben: 70.000.000, dann 600, dann 246. Riemanns Linie ist auf einem langen Stück exakt nachgemessen — und beweist damit nicht, dass sie nirgends abknickt. Im Garten der ungeraden vollkommenen Zahlen steht der Zaun eng, Zähne statt Fläche: 10^1500^, 101 Primfaktoren, 10^62^. Und bei Busy Beaver steht das einzige bewiesene Mauerstück der Straße: Diese Frage ist unentscheidbar — Radó 1962 —, während bei Collatz die Unentscheidbarkeit bisher nur die verwandten Familien betrifft, nicht die Regel selbst.
|
||||
|
||||
Collatz' Garten bleibt das eigentliche Rätsel der Straße. Kein anderes Türschild ist kleiner, kein Garten innen widerspenstiger: statistisch fast gezähmt (Tao 2022), rechnerisch scharf bis 2^71^ gesehen (Barina 2025), theoretisch ohne einen einzigen bewiesenen Satz, der die Frage entscheidet. Wo die Werkzeuge liegen, die eines Tages ein Tor öffnen, weiß niemand. Vielleicht kommt die Leiter von oben wie bei den Zwillingen, vielleicht der Zaun wie bei den vollkommenen Zahlen, vielleicht ein Beweis, der mit keinem Nachbarn etwas zu tun hat. Die Straße bleibt sehenswert — und ein Ausblick heißt Ausblick, weil er Versprechen meidet: Offene Probleme bleiben offen, bis jemand sie schließt. Wie es um das verschlossenste Tor im Feld steht, die Unentscheidbarkeit, erzählt das nächste Kapitel.
|
||||
Collatz' Garten bleibt das eigentliche Rätsel der Straße. Kein anderes Türschild ist kleiner, kein Garten innen widerspenstiger: statistisch so nah, wie Statistik reichen kann (Tao 2022: fast beschränkte Werte, log-Dichte), rechnerisch scharf bis 2^71^ gesehen (Barina 2025), theoretisch ohne einen einzigen bewiesenen Satz, der die Frage entscheidet. Wo die Werkzeuge liegen, die eines Tages ein Tor öffnen, weiß niemand. Vielleicht kommt die Leiter von oben wie bei den Zwillingen, vielleicht der Zaun wie bei den vollkommenen Zahlen, vielleicht ein Beweis, der mit keinem Nachbarn etwas zu tun hat. Die Straße bleibt sehenswert — und ein Ausblick heißt Ausblick, weil er Versprechen meidet: Offene Probleme bleiben offen, bis jemand sie schließt. Wie es um das verschlossenste Tor im Feld steht, die Unentscheidbarkeit, erzählt das nächste Kapitel.
|
||||
@@ -4,6 +4,8 @@ Stell dir ein weites Feld vor. Um das Feld läuft ein Zaun, und in den Zaun sind
|
||||
|
||||
Dieses Kapitel fragt nicht, wie man das Tor aufkriegt. Es fragt, was für ein Schloss daran hängt. Denn es gibt zwei grundsätzlich verschiedene Gründe, warum ein Tor zu bleiben kann. Erstens: Es fehlt der Schlüssel — er existiert vielleicht, aber niemand hat ihn bisher geschmiedet. Zweitens: Das Schloss ist so gebaut, dass kein Schlüssel dieser Welt es je öffnen kann. Dass Tore der zweiten Art wirklich existieren, ist keine Vermutung, sondern einer der erstaunlichsten Sätze der Mathematik. Ein Bild, kein Beweis — aber es trägt dieses Kapitel.
|
||||
|
||||
{width=90%}
|
||||
|
||||
## Gödel 1931: wahre Sätze ohne Beweis
|
||||
|
||||
Zwei Begriffe vorweg. Ein formales System ist ein Regelwerk: Axiome — Grundaussagen, die ohne Beweis gesetzt werden — plus Regeln, nach denen weitere Aussagen folgen. Beweisbar heißt ein Satz darin, wenn er sich so herleiten lässt; widerlegbar, wenn sich sein Gegenteil herleiten lässt. Widerspruchsfrei heißt das System, wenn nie beides zugleich folgt.
|
||||
|
||||
+4
-2
@@ -8,11 +8,13 @@ Denn der Wert eines Beweises liegt selten in dem, was er aussagt. Er liegt in de
|
||||
|
||||
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 hoch 71 — eine Zahl mit 22 Stellen (Barina 2025). Das ist Beobachtung, kein Beweis. Kreise mit bis zu 91 ungeraden Schritten 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 bleiben fast beschränkt — gemessen mit logarithmischer Dichte, einem „fast alle“, das auch riesige Zahlenbereiche noch zusammenfasst. Und trotzdem: Eine einzige widerspenstige Zahl könnte alles umschreiben. Bis heute hat niemand eine gefunden.
|
||||
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. Und trotzdem: 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 eine Kolumne „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“ (2006). 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%}
|
||||
|
||||
@@ -3,7 +3,7 @@
|
||||
Projekt-Regeln für Coding-Agents am Sachbuch. Karpathy-Prinzipien, adaptiert.
|
||||
Qualität vor Tempo. Bei trivialen Edits nach eigenem Ermessen.
|
||||
|
||||
**Titel:** *Die Collatz-Vermutung* (Arbeitstitel)
|
||||
**Titel:** *Das Hagelkorn-Problem* — Untertitel *Die Collatz-Vermutung* (Entscheidung 2026-08-29; zuvor Arbeitstitel *Die Collatz-Vermutung*)
|
||||
**Publikum:** Laien ohne mathematische Vorbildung — neugierige Erwachsene.
|
||||
**Ton:** verlässlicher Erklärer — präzise, geduldig, ehrlich, ohne Hype und ohne Sensationsgier.
|
||||
|
||||
|
||||
Reference in new issue
Block a user