collatz/00-inhaltsverzeichnis.md

Inhaltsverzeichnis

Kapitelbogen des Sachbuchs Das Hagelkorn-Problem (Untertitel Die Collatz-Vermutung) · Stand: 2026-08-29 · Faktengrundlage: docs/ (Faktenkanon) · Flag = Recherche-Bedarf: Fakten wandern erst bei Kapitelarbeit in docs/ (mit Quelle), dann ins Manuskript.

Status der Vermutung: unbewiesen (Stand 2026). Verifikationsgrenze 2^71 ist Beobachtung, kein Beweis. Kein Kapitel suggeriert „gelöst".

Leitidee

Ein Satz, den jedes Kind versteht — und den die Mathematik seit fast 90 Jahren nicht entscheidet. Das Buch erzählt nicht „die Formel", sondern eine Kulturgeschichte des Staunens: Warum ist so etwas Einfaches so hartnäckig, welche Werkzeuge fehlen (und wurden bei anderen Problemen erfunden), und warum gehört ehrliches Scheitern hier zur Wissenschaft. Ton: verlässlicher Erklärer — präzise, geduldig, ehrlich, ohne Hype und ohne Mystifikation. Der Leser kann jede Aussage an einer kleinen Zahl prüfen; jede große Behauptung ist etikettiert (Theorem, Heuristik, Computerfakt oder offene Frage).

---

Teil I — Einladen und spielen

Die Lust entsteht zuerst. Noch keine Forschungslage.

0 · Vorspiel: Nimm eine Zahl

• These/Frage: Wie sieht die Regel beim Spielen aus? Mit 7, 13 und vor allem 27 mitrechnen — Auf und Ab, Gipfel 9232, Landung im Kreis 1 → 4 → 2 → 1. Pointe: „Das ist die ganze Vermutung — der Rest des Buchs erklärt, warum niemand weiß, ob sie wahr ist."
• Bild: Hagelkorn (steigt in der Wolke, fällt zu Boden — hailstone numbers).
• Label: Einladung
• Kanon: docs/01 §1.1–1.2, docs/04 §4.4
• Würze: xkcd 710 (volle Caption inkl. hang out, Quelle in docs/08); Abbildungs-Kandidat: Bahn von 27 (Auf und Ab, Absturz ins 4-2-1-Tal).
• Flag: —

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 (£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).
• Kanon: docs/01 §1.3–1.5, docs/08 (Preise, Kultur-Quellen)
• Flag: —

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; 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)
• Flag: —

Teil II — Warum das so schwer ist

Intuition vor „aktuellem Stand".

3 · Was man zu sehen glaubt

• 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
• Flag: —

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 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
• Flag: —

5 · Erste ernsthafte Sätze

• These/Frage: Was ließ sich beweisen: Terras 1976 (unabhängig Everett 1977) — fast alle Zahlen fallen irgendwann unter ihren Startwert; Dichte-Ergebnisse; Conway 1972 — verallgemeinerte Regeln können Rechner simulieren. Erdős: „Die Mathematik ist dafür noch nicht reif." Lagarias als Chronist des Feldes.
• Bild: Kartierungsbeginn.
• Label: Erkenntnis
• Würze: Warn-Kultur mit Beleg: Guy 1983 (Kolumnen-Titel „Don't try to solve these problems!", vier 3x+1-artige Probleme, keins gelöst); Lagarias „really dangerous problem" (Quanta 2019); Kontorovich „Fall nicht in diese Falle" — ignoriert (Harper's 2025); Erdős' $500 als Gesprächseinschätzung.
• Kanon: docs/03 §3.1, docs/06 §6.3, docs/01 §1.3/§1.5, docs/08
• Flag: —

Teil III — Die Jagd

Forschung, Ideen, Schiffbrüche — wertschätzend, sachlich.

6 · Rechenstand und Rekorde

• These/Frage: Was bedeutet „geprüft bis 2^71"? Barina-Projekt (2^68 → 2^71, 2025), Roosendaal-Datenbank, Rekord-Landschaft — und die Grenze: Verifikation ist Beobachtung, kein Beweis. Ehrlich bleiben: systematisch geprüft ist der Bereich bis 2^71; darüber hinaus nur Einzelfälle, keine systematische Prüfung.
• Bild: Fernglas.
• Label: Blick zurück
• Kanon: docs/04
• Flag: —

7 · Fast alle — der Tao-Satz

• These/Frage: Wie nah kann Statistik ran? Tao 2022 (Preprint 2019): fast alle Bahnen erreichen fast beschränkte Werte (almost bounded, logarithmische Dichte — kanonische Formulierung docs/03 §3.2) — so nah am Ziel, wie Statistik reichen kann; und trotzdem kann eine einzige widerspenstige Zahl genügen. Kein Vollbeweis.
• Bild: Flutmarke.
• Label: Erkenntnis
• Kanon: docs/03 §3.2, docs/08
• Flag: —

8 · Beweisideen und Analogien

• These/Frage: Welche Werkzeuge probiert man? Rückwärtsbaum und Überdeckung; 2-adische Brille (Shortcut-Map als Shift-Map); Paritätsfolgen als Zufall; Transferoperatoren; Dynamik-Bilder; Conways FRACTRAN (1987) — verallgemeinerte Collatz-Regeln als Mini-Programmiersprache. Jede Idee: Was sie erklärt, wo sie hängen bleibt. Warum Addition und Multiplikation hier ineinander verkeilt sind — markiert als Bild.
• Bild: Werkzeugkasten.
• Label: Werkstatt
• Kanon: docs/02, docs/06 §6.3
• Flag: —

9 · Die Kartierung der Fehlversuche

• These/Frage: Wo scheitert es typisch? Versteckte Lücke bei „fast allen", Heuristik=Beweis-Verwechslung, Induktionsanfang, Computerargument ohne Restklassenkontrolle. Fallstudie Opfer 2011; Preprint-Flut; KI- und Lean-„Beweise" inkl. Lean-Kernel-Vorfall 2026 — als Warnung, nicht als Skandal. Ein ehrlicher Fehlversuch ist Teil der Mathematik; ein undurchsichtiger „Beweis" ist es nicht.
• Bild: Bergführer-Protokoll (Friedhofs-Metapher möglich, aber als markiertes Bild).
• Label: Blick zurück
• Würze: soziale Seite — Nerd Sniping (xkcd 356: „a certain type of brain that's easily disabled"); heutige Memekultur („Lösungen" per Mail an Professoren, ChatGPT-Anekdoten, Antiklimax-Witz) — als Volkskultur erzählen, ohne Einzelbehauptungen.
• Kanon: docs/09, docs/07 §7.3
• Flag: —

Teil IV — Collatz im Konzert der großen Probleme

Vergleiche als Ausblick — Kapitel nur schreiben, nachdem die Fakten in docs/ recherchiert sind (mit Quelle).

10 · Gelöste Riesen, fehlende Werkzeuge

• These/Frage: Was lehren Fermat (~350 Jahre), Poincaré (~100 Jahre), Vier-Farben/Kepler über Collatz? Moral: Nicht der Wille fehlt — oft fehlt das Feld; manche Sätze warten, bis die Brücke zu einem ganz anderen Ufer gebaut ist.
• Bild: Brückenbau.
• Label: Ausblick
• Kanon: docs/10 §10.1–10.4, docs/08 (Comparison problems)
• Flag: —

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 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)
• Flag: —

Teil V — Was bleibt

12 · Der Horizont: Unentscheidbarkeit

• These/Frage: Könnte Collatz ein Gödel-Tor sein? Redlich bleiben: Conway 1972 und Kurtz–Simon 2007 treffen verwandte Familien, nicht die klassische 3n+1-Regel; ein Beweis der Unabhängigkeit existiert nicht. Wäre die klassische Vermutung unentscheidbar, wäre das selbst eine Sensation — andeuten, nicht spekulieren. Nicht jedes verschlossene Tor ist ein Gödel-Tor; manche sind nur noch nicht geschmiedet.
• Bild: verschlossene Tore.
• Label: Ausblick
• Kanon: docs/06 §6.3, docs/10 §10.5
• Flag: —

13 · Was ein Beweis wert wäre — Nachwort

• These/Frage: Warum lohnt die Jagd — und warum auch ohne Schatz? Ein Beweis würde vermutlich neue Werkzeuge pflügen (so wie Fermat und Poincaré ihre Felder); ohne Beweis hat Collatz Visualisierung, Informatik, Zufallsmodelle und die Demut der Disziplin geprägt. Schlussbild: der Korallenbaum, der weiterwächst, solange niemand eine Zahl findet, die sich weigert, nach Hause zu kommen.
• Bild: Korallenbaum.
• Label: Nachwort
• Würze: Growneys Gedicht „A Mathematician's Nightmare" (Allgemeinladen, Spiegel für 27 Dollar, 59 Tage warten — nutzt die Shortcut-Formel (3n+1)/2, daher 70 Schritte/Peak 4616 in ihrer Zählung: Fußnoten-Chance); Antiklimax-Witz („im Alltag ändert sich nichts") als Kontrastfolie zum Wert-ohne-Beweis-Argument.
• Kanon: docs/07 §7.1
• Flag: —

---

Verbindliche Abschluss-Labels

Die Labels sind mit Freigabe dieses ToC unveränderbar (AGENTS.md: Kapitel-Abschlüsse werden im Inhaltsverzeichnis festgelegt).

Label	Bedeutung	Kapitel
Einladung	Kapitel endet mit offener Neugier, ohne Ergebniszwang	0
Erzählung	Kapitel endet mit gedeuteter Geschichte (kein Moral-Kitsch)	1
Blick zurück	Kapitel endet mit „Was feststeht" — kurze, etikettierte Bilanz	2, 6, 9
Erkenntnis	Kapitel endet mit einem Satz, der bleibt (etikettiert: Theorem/Heuristik/Beobachtung)	3, 4, 5, 7
Werkstatt	Kapitel endet mit offenem Werkzeugzustand: was trägt, was nicht	8
Ausblick	Kapitel endet mit Blick über das Feld, klar als Ausblick markiert	10, 11, 12
Nachwort	Schlusswort, kein Cliffhanger	13

Gilt für alle Kapitel: kein Quiz, keine Übungsaufgaben, kein „Merke-Kasten"-Zwang (Laien-Sachbuch ≠ Do-it-Buch). Fachbegriffe beim Erstauftreten erklären; Analogien sind markierte Vergleichshilfen („Bild, kein Beweis").

Lesepfade

• Schnellkurs: 0 → 3 → 4 → 7 → 12 (das Wesen in fünf Kapiteln)
• Volltour: 0–13
• Rechenpfad: 0 → 2 → 3 → 6 (anschaulich bis Verifikation)
• Geschichtspfad: 1 → 5 → 9 → 13 (Menschen, Sätze, Schiffbrüche)

Anhänge

• A · Glossar: Datei 14-glossar.md. Bahn, Gesamtstoppzeit vs. Stoppzeit (kanonische Terminologie!), m-Zyklus, logarithmische Dichte, 2-adische Zahlen — je ein Satz.
• B · Kommentierte Literatur: Datei 15-kommentierte-literatur.md. Grundlage docs/08 (URLs ausschließlich dort). Pflichtkerne plus populäre Einstiege (Veritasium, Numberphile, Gardner) mit Hinweis auf Popularisierung; vgl. docs/kb/02-recherche/video-inhaltskarte.md. Register nicht still mitliefern.
• C · Berühmte Startwerte: Datei 16-beruehmte-startwerte.md. 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). Heutige Rekordhalter laut docs/04 §4.4 astronomisch größer; namentlich nur die frühen, kanonischen Wegmarken.

Regeln für die Arbeit mit diesem ToC

• Flag = Recherche-Bedarf: Nicht-kanonische Bausteine (oben) sind keine Fakten. Erst docs/ ergänzen (mit Quelle + Datum), dann Kapitel schreiben.
• Faktenschutz: Grenzen/Rekorde/„fast alle" nur in den kanonischen Formulierungen (AGENTS.md § Faktenschutz).
• Ton: verlässlicher Erklärer; keine Mystifikation, keine „gelöst!"-Framings; Heuristik heißt Heuristik; gescheiterte Versuche sachlich.
• Würze: Auflockerung (Anekdote, Zitat, Comic, Gedicht) nur an den mit „Würze" gekennzeichneten Stellen; jedes Element mit Quelle in docs/08 oder klar als Folklore etikettiert; keine ungefragten Exkurse.
• Kapiteldateien: NN-*.md im Root (Kapitel 0 = 00-vorspiel.md); 00-inhaltsverzeichnis.md selbst ist vom PDF-Assembler ausgeschlossen und Kapitelplan, kein Buchtext.
• Metaphern-Haushalt: ein Leitbild pro Kapitel (Hagelkorn, Koralle, Gefälle, Gespenster, Fernglas, Flutmarke, Werkzeugkasten, Brückenbau, Nachbargärten, Tore).