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: