Rest-Lektorat §6 und Titel E6: Lesepfade, Zitate, Hagelkorn

L6 pfadneutral in 2, 3, 4, 7, 9. xkcd-710 voll, OEIS von Roosendaal, 2^71 = 2025/26, Fermat nonzero, Guy Beitrag, Erdős-DE reif. Titel Das Hagelkorn-Problem in README, ToC, KB, Konventionen, Print-Meta.
2026-08-29 19:32:56 +02:00
1 parent f9a81b0c2c
commit d1d32a96f5
@@ -1,4 +1,4 @@
-# Schreibkonventionen — Die Collatz-Vermutung (Sachbuch)
+# Schreibkonventionen — Das Hagelkorn-Problem (Sachbuch)

 Ergänzt `AGENTS.md` um detaillierte Schreib-, Ton- und Formatierungsregeln fürs Manuskript.

@@ -1,6 +1,6 @@
 # Inhaltsverzeichnis

-> Kapitelbogen des Sachbuchs „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.
+> 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".

@@ -20,7 +20,7 @@
 - **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 („…eventually your friends will stop calling…" — wörtlich, Quelle in `docs/08`); Abbildungs-Kandidat: Bahn von 27 (Auf und Ab, Absturz ins 4-2-1-Tal).
+- **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
@@ -30,7 +30,7 @@ Diese Bahnen haben einen Spitznamen. Wie ein Hagelkorn, das in der Wolke hochgew

 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.“
+> „…you repeat this procedure long enough, eventually your friends will stop calling to see if you want to hang out.“ — „…wenn du diese Vorschrift lange genug wiederholst, hören deine Freunde irgendwann auf anzurufen, ob du mitkommen willst.“
 >
 > — xkcd Nr. 710 (Randall Munroe)

@@ -38,7 +38,7 @@ Ein Papier von 1937 existiert nicht. Was es stattdessen gibt, ist diese Kette: d

 So ganz ohne Papier konnte ein Problem nicht für immer ein Gerücht bleiben. 1970 erzählte Coxeter es in einem Vortrag — und nannte es beim Namen, den es bis dahin hatte: „mathematical gossip", ein Gerücht, das in der Fachwelt von Mund zu Mund geht (Coxeter 1971). Für eine Lösung setzte er 50 Dollar aus. Die gedruckte Fassung dieses Vortrags gilt nach Lagarias (2010) als die früheste veröffentlichte Arbeit, die das 3x+1-Problem ausdrücklich formuliert. Das Problem war also älter als seine erste Publikation — um mehr als drei Jahrzehnte, in denen Collatz geschwiegen hatte.

-Paul Erdős setzte 500 Dollar aus — ebenfalls eine der überlieferten Summen, gedruckt bei Lagarias (1985). Seine berühmte Einschätzung stammt nicht aus einem Papier, sondern — wie Lagarias (2010) vermerkt — aus einem Gespräch: „Mathematics is not yet ready for such problems" — die Mathematik sei für solche Probleme noch nicht bereit (zitiert nach Lagarias 1985).
+Paul Erdős setzte 500 Dollar aus — ebenfalls eine der überlieferten Summen, gedruckt bei Lagarias (1985). Seine berühmte Einschätzung stammt nicht aus einem Papier, sondern — wie Lagarias (2010) vermerkt — aus einem Gespräch: „Mathematics is not yet ready for such problems" — die Mathematik sei für solche Probleme noch nicht reif (zitiert nach Lagarias 1985).

 Zwei Summen, zwei Gesten aus Vortrag und Gespräch. Sie sind keine Forschungsförderung. Sie sind eine Einschätzung: leicht zu verstehen, schwer anzugreifen.

@@ -1,6 +1,6 @@
 # 2 · Die Regel ohne Formelpanzer

-Zwei Kapitel lang war die Collatz-Vermutung vor allem eine Geschichte mit vielen Namen. Jetzt kommt die Sache selbst an die Reihe — mit einer Vorschrift, die auf einen Zettel passt. Was aber heißt „immer bei 1 landen" genau? Genau das klärt dieses Kapitel.
+Was heißt „immer bei 1 landen" genau? Dieses Kapitel nimmt die Vorschrift auseinander — sie passt auf einen Zettel.

 ## Die Regel, Schritt für Schritt

@@ -74,7 +74,7 @@ Die Gesamtstoppzeiten verteilen sich wie eine Landschaft: die meisten Zahlen kom
 | 77031 | 350 |
 | 837799 | 524 |

-Diese Werte stehen längst nachgeprüft in der Rekord-Datenbank von Eric Roosendaal und in der OEIS, der Online-Enzyklopädie der Zahlenfolgen. Die heutigen Rekordhalter sind astronomisch größer.
+Diese Werte stehen längst nachgeprüft in der Rekord-Datenbank von Eric Roosendaal. Die Online-Enzyklopädie der Zahlenfolgen (OEIS) übernimmt die Rekordlisten von dort. Die heutigen Rekordhalter sind astronomisch größer.

 Es gibt auch Höhenrekorde: Path-Records (*path*, der Weg). Eine Zahl hält einen, wenn ihre Bahn höher hinauskommt als die jeder kleineren Startzahl. Hier ist die 27 ebenfalls vorn: M_C(27) = 9232, und keine kleinere Startzahl steigt höher. Solche Listen sind mehr als Kuriositätensammlung — sie zeigen, wo die Landschaft rau wird.

@@ -1,6 +1,6 @@
 # 3 · Was man zu sehen glaubt

-In den letzten Kapiteln hast du die Regel kennengelernt und die Bahn von 27 — den langen Anstieg und den Absturz. Irgendwann drängt sich eine Frage auf, so schlicht, dass sie fast naiv klingt:
+Die Regel kennst du, und die Bahn von 27 — den langen Anstieg und den Absturz. Irgendwann drängt sich eine Frage auf, so schlicht, dass sie fast naiv klingt:

 **Warum sollte „fast alles“ schrumpfen?**

@@ -1,6 +1,6 @@
 # 4 · Drei Arten, falsch zu sein

-Im letzten Kapitel hast du den Würfel geworfen: Im Mittel schrumpfen die Zahlen, der typische Faktor liegt bei rund 0,866 pro Schritt. Tröstlich. Aber die Collatz-Vermutung verlangt mehr als „im Mittel“. Sie sagt: Jede Startzahl landet bei 1 — jede einzelne. Und für ein „Nein“ genügt eine einzige widerspenstige Zahl.
+Kapitel 3 hat den Würfel geworfen: Im Mittel schrumpfen die Zahlen, der typische Faktor liegt bei rund 0,866 pro Schritt. Tröstlich. Aber die Collatz-Vermutung verlangt mehr als „im Mittel“. Sie sagt: Jede Startzahl landet bei 1 — jede einzelne. Und für ein „Nein“ genügt eine einzige widerspenstige Zahl.

 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.

@@ -28,7 +28,7 @@ Keine solche Bahn ist bekannt. Keine ist ausgeschlossen. Und genau hier liegt de

 Auch die Rechnung hilft nur am Rand. Weil alle Startwerte bis 2^71^ geprüft sind, müsste eine immer wachsende Bahn oberhalb der 22. Stelle beginnen. Mehr Rechenleistung verschiebt die Grenze, sie beantwortet die Frage nicht: Die Vermutung spricht über alle Zahlen, nicht über die ersten Trilliarden.

-Das Würfel-Bild aus dem letzten Kapitel hält das zweite Gespenst für Unsinn: Im Mittel schrumpfen die Zahlen. Aber das Bild ist eine Heuristik — plausible Statistik, keine Beweiskraft. Und die starken Statistik-Sätze der Fachwelt (Terras 1976; Tao 2022 — das Buch kommt zu ihnen zurück) erfassen immer nur fast alle Bahnen. „Fast alle“ heißt: bis auf eine Ausnahmemenge — dünn, aber niemand hat sie als leer nachgewiesen. Eine Ausnahmebahn, die für immer steigt, könnte genau dort wohnen. Darum ist die Divergenz das hartnäckigere Gespenst: kein Werkzeug, kein Ende der Rechnung — nur ein Bild, das sie für unwahrscheinlich erklärt.
+Das Würfel-Bild aus Kapitel 3 hält das zweite Gespenst für Unsinn: Im Mittel schrumpfen die Zahlen. Aber das Bild ist eine Heuristik — plausible Statistik, keine Beweiskraft. Und die starken Statistik-Sätze der Fachwelt (Terras 1976; Tao 2022 — das Buch kommt zu ihnen zurück) erfassen immer nur fast alle Bahnen. „Fast alle“ heißt: bis auf eine Ausnahmemenge — dünn, aber niemand hat sie als leer nachgewiesen. Eine Ausnahmebahn, die für immer steigt, könnte genau dort wohnen. Darum ist die Divergenz das hartnäckigere Gespenst: kein Werkzeug, kein Ende der Rechnung — nur ein Bild, das sie für unwahrscheinlich erklärt.

 ## Drittes Gespenst: Etwas dazwischen

@@ -42,7 +42,7 @@ Ob die Collatz-Regel so einen Charakter überhaupt hervorbringen kann: offen. Er

 Die Collatz-Regel ist keine Einzelgängerin. Dreh die Kurbel: Halbiere gerade Zahlen; ersetze ungerade n durch 5n+1. Fertig ist das 5n+1-Problem — ein Schwesterproblem, das sich wie ein Labor zur Collatz-Welt verhält.

-Warum das Labor aufschlussreich ist, zeigt die Kurbel-Rechnung. Halbe der Schritte sind reine Halbierungen (Faktor 1/2), halbe sind ungerade Sprünge mit anschließender Halbung (netto Faktor 5/2). Im Wechsel angewandt ergibt das pro Schritt den mittleren Faktor √5/2 ≈ 1,118: Die Bahn wächst im Schnitt. Beim echten Collatz lauten die Faktoren 1/2 und 3/2, der mittlere Faktor ist √3/2 ≈ 0,866 — die Zahl aus dem letzten Kapitel: Sinkflug. Die 3 ist die einzige nichttriviale Kurbel-Einstellung mit erwartetem Sinkflug; weithin wird vermutet, dass genau diese Grenzlage 3n+1 so hartnäckig macht — hart genug, um ungelöst zu bleiben. Auch das ist Heuristik, kein Satz.
+Warum das Labor aufschlussreich ist, zeigt die Kurbel-Rechnung. Halbe der Schritte sind reine Halbierungen (Faktor 1/2), halbe sind ungerade Sprünge mit anschließender Halbung (netto Faktor 5/2). Im Wechsel angewandt ergibt das pro Schritt den mittleren Faktor √5/2 ≈ 1,118: Die Bahn wächst im Schnitt. Beim echten Collatz lauten die Faktoren 1/2 und 3/2, der mittlere Faktor ist √3/2 ≈ 0,866 — die Zahl aus Kapitel 3: Sinkflug. Die 3 ist die einzige nichttriviale Kurbel-Einstellung mit erwartetem Sinkflug; weithin wird vermutet, dass genau diese Grenzlage 3n+1 so hartnäckig macht — hart genug, um ungelöst zu bleiben. Auch das ist Heuristik, kein Satz.

 Was geschieht im Labor? Beide Gespenster treten auf.

@@ -16,18 +16,18 @@ Wie soll so etwas machbar sein? Mit zwei Tricks, die die Rechenarbeit radikal sc

 ## Das Barina-Projekt

-Den Rekord hält seit 2017 das verteilte Projekt von David Barina an der Technischen Universität Brünn (Barina 2020). Verteilt heißt: Der zu prüfende Bereich wird in Teilaufgaben geschnitten, die an freiwillige Rechner in aller Welt gehen. Jeder bearbeitet sein Stück; zusammen decken sie den Bereich lückenlos ab.
+Den Rekord hält seit 2017 das verteilte Projekt von David Barina an der Technischen Universität Brünn. Verteilt heißt: Der zu prüfende Bereich wird in Teilaufgaben geschnitten, die an freiwillige Rechner in aller Welt gehen. Jeder bearbeitet sein Stück; zusammen decken sie den Bereich lückenlos ab.

 Die Meilensteine:

 | Jahr | Geprüft bis | Größe des geprüften Bereichs |
 |------|-------------|------------------------------|
 | 2020 | 2^68^ | rund 295 Trillionen |
-| 2025 | 2^71^ | rund 2,36 Trilliarden |
+| 2025/26 | 2^71^ | rund 2,36 Trilliarden |

-Fünf Jahre Rechenarbeit für einen Sprung um den Faktor 8. So steil ist das Gelände — wer die Grenze um einen Exponenten hebt, muss genauso viele neue Zahlen prüfen, wie schon unter der alten Grenze liegen.
+Die Grenze 2^68^ erschien 2020 (Barina 2020). Fünf Jahre Rechenarbeit für einen Sprung um den Faktor 8 — 2^71^ ist der Stand 2025/26 (Barina 2025). So steil ist das Gelände: Wer die Grenze um einen Exponenten hebt, muss genauso viele neue Zahlen prüfen, wie schon unter der alten Grenze liegen.

-Hinter dem Ergebnis steckt die Technik aus dem vorigen Abschnitt, konsequent ausgereizt: Sieb-Strukturen für die Restklassen, dichte Bitvektoren, in denen jede Zahl nur ein Bit belegt, Grafikkarten und Spezialbefehle, die mit einem Takt viele Zahlen gleichzeitig bearbeiten. Zusammen ergibt das Tempogewinne um Größenordnungen gegenüber dem naiven Durchrechnen jeder Bahn bis zur 1 (Barina 2020, 2025).
+Hinter dem Ergebnis steckt die Technik aus dem vorigen Abschnitt, konsequent ausgereizt: Sieb-Strukturen für die Restklassen, dichte Bitvektoren, in denen jede Zahl nur ein Bit belegt, Grafikkarten und Spezialbefehle, die mit einem Takt viele Zahlen gleichzeitig bearbeiten. Zusammen ergibt das Tempogewinne um Größenordnungen gegenüber dem naiven Durchrechnen jeder Bahn bis zur 1 (Barina 2025).

 Der Rekord wechselte vorher mehrfach die Hände: Superrechner in den 1980er-Jahren, verteilte Projekte ab den 1990ern. Seit 2017 hält Barinas Projekt den Stand, und es läuft weiter. Auch 2^71^ ist also ein Zwischenstand.

@@ -1,6 +1,6 @@
 # 7 · Fast alle — der Tao-Satz

-Das letzte Kapitel endete mit dem Fernglas: scharf bis 2^71^, Dunst danach — Beobachtung, kein Beweis (Barina 2025). Dieses Kapitel wechselt das Werkzeug. Statt Zahlen eine nach der anderen durchzurechnen, fragt die Statistik nach dem großen Ganzen: Wie verhalten sich die Bahnen insgesamt? Und sie treibt damit die Frage auf die Spitze, die dieses Buch seit Kapitel 3 verfolgt: **Wie nah kann Statistik an die Vermutung heran?**
+Geprüft ist die Zahlengerade bis 2^71^: scharf bis dorthin, Dunst danach — Beobachtung, kein Beweis (Barina 2025). Dieses Kapitel wechselt das Werkzeug. Statt Zahlen eine nach der anderen durchzurechnen, fragt die Statistik nach dem großen Ganzen: Wie verhalten sich die Bahnen insgesamt? Und sie treibt damit die Frage auf die Spitze, die dieses Buch seit Kapitel 3 verfolgt: **Wie nah kann Statistik an die Vermutung heran?**

 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.

@@ -1,6 +1,6 @@
 # 9 · Die Kartierung der Fehlversuche

-Im letzten Kapitel lag der Werkzeugkasten offen: Rückwärtsbaum, 2-adische Brille, Transferoperatoren. Einiges davon trägt — es hält die bewiesenen Sätze dieses Buchs. Einiges ist im Ernstfall gebrochen. Dieses Kapitel schaut genau dorthin.
+Die Vermutung ist offen — nicht, weil niemand es versucht hätte. Die bewiesenen Sätze halten. Trotzdem ist manches Werkzeug im Ernstfall gebrochen. Dieses Kapitel schaut genau dorthin.

 Stell dir einen Bergführer und sein Protokoll vor. Ein Bild, kein Beweis — aber es trägt dieses Kapitel. In so ein Heft gehört nicht nur, was geht. Es gehört auch hinein, was nicht geht: der Hang, der sich als Absturz entpuppte, der Übergang, der nie erreichbar war. Nicht, um über die Gescheiterten zu lächeln — sondern damit die nächste Partie ihre Wochen nicht noch einmal verliert. Genau so liest die Mathematik ihre gescheiterten Beweisversuche: als Kartierung des Geländes. Jeder seriöse Fehlversuch zeigt, welche Tür nicht aufgeht.

@@ -8,7 +8,7 @@ Das Bild dieses Kapitels ist der Brückenbau. Ein Problem steht auf einem Ufer.

 ## 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.
+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 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.

 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.

@@ -10,7 +10,7 @@ Auch der Ausgang würde unterrichten. Es gibt genau drei Möglichkeiten: Entwede

 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.
+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“ (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.

@@ -1,6 +1,6 @@
-# Die Collatz-Vermutung — Sachbuch (Arbeitstitel)
+# Das Hagelkorn-Problem

-**Untertitel (Arbeitsfassung):** Die einfachste ungelöste Frage der Mathematik — ein Sachbuch für alle
+**Untertitel:** Die Collatz-Vermutung

 Dieses Projekt entwickelt ein **Sachbuch für Laien** zur Collatz-Vermutung: neugierige Erwachsene ohne mathematische Vorbildung. Nüchtern, ehrlich, ohne Hype — und ohne Sensationsgier. Ungelöst bleibt ungelöst.

@@ -1,6 +1,6 @@
 # Knowledgebase — Index (L0)

-> Autoren-KB für das Sachbuch *Die Collatz-Vermutung* · Progressive Disclosure · Stand: 2026-08-29
+> Autoren-KB für das Sachbuch *Das Hagelkorn-Problem* · Progressive Disclosure · Stand: 2026-08-29
 > **Nicht im PDF.**

 ## First Source
@@ -1,5 +1,5 @@
-title: "Coding Agents in der Praxis"
-subtitle: "Ein pragmatischer Leitfaden zum effektiven Einsatz von LLM-basierten Coding-Agents unter Berücksichtigung ihrer Limitationen"
+title: "Das Hagelkorn-Problem"
+subtitle: "Die Collatz-Vermutung"
 author: "Martin Richardt"
 date: "August 2026"
 lang: de-DE