Verbindung hergestellt.connected.
num: 30278
-------------------------
GRUPPE: de.sci.mathematik
FROM : Stefan Ram
DATE : 21 Apr 2026 19:48:47 GMT
TEMA : [AI]Goodstein-Folgen
---------------------------------------------
Ich habe einen Chatbot gebeten, etwas über Goodstein-Folgen zu
schreiben. Hier das Ergebnis. (DISCLAIMER: Goodstein-Folgen wurden
hier in de.sci.mathematik schon öfters erwähnt. Zum Beispiel
2011 im Betreff "Goodstein Folgen". Aber vielleicht nicht im
Sinne einer Einführung für Leser ohne Vorkenntnisse, was das
Folgende darstellen soll.)
DIE GOODSTEIN-FOLGE: WENN DIE ARITHMETIK AN IHRE GRENZEN STÖSST
Die Mathematik der Unendlichkeit hält Überraschungen bereit, die
selbst unsere kühnsten Vorstellungen von großen Zahlen sprengen.
Eines der faszinierendsten Beispiele hierfür ist der Satz von
Goodstein, den der britische Mathematiker Reuben Goodstein im
Jahre 1944 formulierte. Er beschreibt mathematische Objekte, die
harmlos beginnen, aber die Grenzen der Peano-Axiome durchbrechen.
DIE KONSTRUKTION: DIE ERBLICHE BASISDARSTELLUNG
Um die Goodstein-Folge zu verstehen, muß man Zahlen in der
sogenannten "erblichen Basisdarstellung" schreiben.
Basis wählen: Nehmen wir die Zahl 19 und schreiben sie zur
Basis 2:
19 = 2^4 + 2^1 + 2^0.
Exponenten zerlegen: Wir dürfen keine Zahl verwenden, die
größer oder gleich der gewählten Basis ist. Die 4 im
Exponenten muß also selbst als 2^2 dargestellt werden.
Das Ergebnis: Die erbliche Darstellung von 19 zur Basis 2
lautet somit:
2^(2^2) + 2^1 + 2^0.
DIE REGEL DER FOLGE
Eine Goodstein-Folge G(n) beginnt bei einer Startzahl n.
Den nächste Wert berechnet man wie folgt:
Stelle die Zahl in erblicher Darstellung zur aktuellen Basis b
dar. Erhöhe die Basis von b auf b+1 (überall dort, wo die
Basis steht). Subtrahiere 1 vom Gesamtergebnis.
DIE EXPLOSION: JENSEITS DES DARSTELLBAREN
Betrachten wir die Folge für die Startzahl n=3:
Basis 2: 3 = 2^1 + 1.
Basiswechsel zu 3: 3^1 + 1 = 4.
Subtrahiere 1: Das nächste Glied ist 3.
Basiswechsel zu 4: 3 bleibt 3.
Subtrahiere 1: Das nächste Glied ist 2.
Die Folge sinkt rasch auf 0.
Doch schon bei der Startzahl 4 ändert sich die Dynamik vollkommen:
Basis 2: 4 = 2^2.
Basiswechsel zu 3: 3^3 = 27. Minus 1 ergibt 26.
Basiswechsel zu 4: 26 wird als 1*4^2 + 2*4^1 + 2 dargestellt.
Basiswechsel zu 5: 5^5 + 2*5 + 2 = 3137. Minus 1 ergibt 3136.
Nach nur zwei weiteren Schritten ist der Wert bereits über 46.000.
Bei Basis 3*2^402.653.211 erreicht die Folge ihr Maximum, bevor
sie nach Äonen wieder zu sinken beginnt.
Bei einer Startzahl von 19 erreicht die Folge bereits nach dem ersten
Basiswechsel einen Wert, dessen /Stellenzahl/ die Anzahl der Atome
im sichtbaren Universum bei weitem übertrifft.
DER SATZ VON GOODSTEIN: ALLES ENDET IM NICHTS
Trotz dieses gigantischen Wachstums lautet der Satz von Goodstein:
Jede Goodstein-Folge, ungeachtet der gewählten Startzahl,
erreicht irgendwann den Wert 0.
Dies erscheint intuitiv widersinnig. Die Basis wächst linear,
während die Werte durch die geschachtelten Exponenten massiv
explodieren. Dennoch gewinnt der Abzug der 1 am Ende immer
den Kampf gegen die wachsende Basis.
DAS LOGISCHE BEBEN: DIE UNZULÄNGLICHKEIT DER PEANO-AXIOME
Das eigentlich Erstaunliche ist die Frage der Beweisbarkeit. Die
Peano-Axiome bilden das Fundament der Standard-Arithmetik. Doch
im Jahr 1982 bewiesen Laurie Kirby und Jeff Paris, daß der Satz
von Goodstein innerhalb der Peano-Arithmetik unentscheidbar ist.
Das bedeutet:
Der Satz ist wahr (er läßt sich in stärkeren logischen Systemen
beweisen).
Er kann jedoch nicht allein mit den Mitteln der herkömmlichen
Arithmetik hergeleitet werden.
Dies ist eines der prominentesten Beispiele für den Gödelschen
Unvollständigkeitssatz: Es gibt wahre Aussagen über Zahlen, die
wir mit den Grundregeln der Zahlen selbst nicht beweisen können.
WARUM IST DAS SO? DIE METAFOLGE DER ORDINALZAHLEN
Um den Beweis zu führen, nutzt man die Mengenlehre und
transfinite Ordinalzahlen (Symbol: omega). Man ersetzt in
der Darstellung die Basis b durch das Symbol für die erste
unendliche Zahl. Dadurch entsteht eine Metafolge.
Während die endlichen Werte der Goodstein-Folge durch den
Basiswechsel massiv ansteigen, bleibt der Wert der zugehörigen
Ordinalzahl beim Basiswechsel gleich, sinkt aber durch das
anschließende Subtrahieren der 1 immer ein kleines Stück. Da es
bei den Ordinalzahlen keine unendlich absteigenden Ketten geben
kann (Wohlordnung), muß die Folge zwangsläufig die Null erreichen.
Die Goodstein-Folge zeigt uns eindrucksvoll, daß der Rückgriff
auf das Unendliche notwendig sein kann, um Wahrheiten über
die einfachsten endlichen Zahlen zu begründen.
ENDE DES GENERIERTEN TEXTES
ANMERKUNG
(wieder von mir [Stefan Ram])
Aus einem anderen Artikel entnehme ich, daß Goodsteins Metafolge
die Folge von /Längen/ der Goodstein-Folgen darstellt, also der
Längen von Goodstein-Folgen, die mit 1, 2, 3 u.s.w. beginnen.
Wenn man versuchen würde, auch nur den sechsten Wert dieser
Folge niederzuschreiben, würde man selbst mit Exponentialtürmen
(wie "10^(10^(10^ . . .))") nicht weit kommen. Man könnte nicht
einmal dessen Höhe mit einem Exponentialturm angeben, weil sie
wieder zu groß ist. Und selbst die Höhe der Angabe der Höhe
könnte man nicht angeben . . . In dem Artikel steht dann,
daß dies so weitergeht und zwar "für länger als das Alter des
Universums", was ich allerdings nur sinnvoll fände, wenn man
eine Dauer für einen Schritt festgelegt hätte. Trotzdem gewinnt
man den Eindruck, daß diese Zahl ziemlich groß sein muß!
head: