Quelltext der Seite Steinhaus-Moser-Notation

Die '''Steinhaus-Moser-Notation''' ist eine Darstellungsweise für sehr große Zahlen. Sie wurde [[1950]]<ref>[http://www.wissenschaft-online.de/artikel/752470 Steinhaus-Moser-Notation]</ref> von dem polnischen Mathematiker [[Hugo Steinhaus]] als ''Kreisnotation'' vorgeschlagen und später durch den Österreicher [[Leo Moser (Mathematiker)|Leo Moser]] auf die ''Polygonnotation'' erweitert. Beide basieren auf der Notation hoher [[Potenz (Mathematik)|Potenz]]en durch geometrische Symbole.

== Kreisnotation ==
Das Symbol [[Bild:Triangle-n.svg|25px|n im Dreieck]] bezeichnet die Zahl <math>n^n</math>.
Dann steht [[Bild:Square-n.svg|25px|im Viereck (Quadrat)]] für die Zahl „''n'' in ''n'' ineinandergeschachtelten Dreiecken“ sowie [[Bild:Circle-n.svg|25px|n im Kreis]] für „n in n ineinandergeschachtelten Vierecken“.

Eine 2 im Viereck entspräche somit einer 2 in zwei ineinandergeschachtelten Dreiecken, also der Zahl
: <math>\left(2^2\right)^{\left(2^2\right)} = 4^4 = 256</math>.
Doch bereits die Zahl [[Bild:Circle-two.svg|24px|2 im Kreis]] ist mit dem gewöhnlichen Zahlensystem kaum mehr darstellbar, da die Exponenten der Zahl selbst ständig exponentiell anwachsen (jede neugebildete Zahl wird mit sich selbst potenziert, die hierdurch erzeugte Zahl wieder mit sich selbst und so weiter). Siehe hierzu auch den Abschnitt [[#Mega|unten]].

== Polygonnotation ==
Der Grundaufbau der [[Polygon]]notation oder Vielecknotation ist derselbe wie der der Kreisnotation, nur folgt auf das Viereck nicht der Kreis als größtes Element, sondern es werden Fünf-, Sechs-, Siebenecke oder gar noch höhere angefügt. Damit sind noch deutlich größere Zahlen darstellbar. [[Bild:Pentagon-n.svg|26px|n im Fünfeck]] entspricht also ''n'' in ''n'' ineinandergeschachtelten Vierecken und ist äquivalent zu [[Bild:Circle-n.svg|25px| im Kreis]] in der Kreisnotation.

Allgemein steht „<math>n</math> in einem <math>(m+1)</math>-seitigen Polygon“ für „die Zahl ''n'' in ''n'' ''m''-seitigen ineinandergeschachtelten Polygonen“.

== Von Steinhaus und Moser benannte Zahlen ==
* ein ''Mega'' ist die Zahl, die einer 2 im Kreis (bzw. Fünfeck) entspricht ([[Bild:Circle-two.svg|24px|2 im Kreis]]).
* ein ''Megiston'' ist die Zahl, die einer 10 im Kreis (bzw. Fünfeck) entspricht ([[Bild:Circle-ten.svg|23px|10 im Kreis]]).
* ''Mosers Zahl'' ist die Zahl, die einer 2 in einem [[Megagon]], also einem Polygon mit [[Bild:Circle-two.svg|24px|2 im Kreis]] Seiten, entspricht.

== Alternative Notation ==
<math>M(n,m,p)</math> sei die Zahl, die durch die Zahl ''n'' in ''m'' ineinandergeschachtelten ''p''-seitigen Polygonen dargestellt wird. Damit gilt:
* <math>M(n,1,3) = n^n</math>
* <math>M(n,1,p+1) = M(n,n,p)</math>
* <math>M(n,m+1,p) = M(M(n,1,p),m,p)</math>

* <math>\mathrm{Mega} = M(2,1,5) = M(256,256,3)</math>
* <math>\mathrm{Moser} = M(2,1,M(2,1,5))</math>

== Mega ==
[[Bild:Circle-two.svg|25px|2 im Kreis]] entspricht einer Zwei in zwei Vierecken, also einer Zwei in zwei Dreiecken, die alle zusammen in einem Viereck sind. Das wiederum entspricht 256 in einem Viereck, also einer 256 in 256 ineinandergeschachtelten Dreiecken, also
: <math>\left( \left( \left( 256^{256} \right) ^ {\left(256^{256}\right) } \right) ^ {\left(\left(256^{256}\right) ^ {\left(256^{256}\right) }\right) }\right) ^ {\left(\left(\left(256^{256}\right) ^ {\left(256^{256}\right)}\right) ^ {\left(\left(256^{256}\right) ^ {\left(256^{256}\right)}\right)} \right)} \ldots</math>

:(Dies ist erst die Darstellung nach Auflösung des vierten der 256 Dreiecke!)

Nach Auflösung des ersten Dreiecks ist mit der Zahl <math>3{,}2\cdot10^{616}</math> (in Worten: zweiunddreißig Billiarden Zentillionen) weiterzurechnen.

In Funktionenschreibweise könnte Mega wie folgt dargestellt werden:
:<math> f(x):=x^x </math>
:<math> \mathrm{Mega} = f^{256}(256)=f^{258}(2)</math> (Die hochgestellten Zahlen stehen für die [[Komposition (Mathematik)|Komposition]] von Abbildungen; f wird 256-mal mit sich selbst verknüpft.)

Im Folgenden soll versucht werden, die Zahl Mega anzunähern:

Es ist anzumerken, dass nach den ersten Potenzierungsschritten der Wert von <math>n^n</math> etwa gleich <math>256^n</math> ist. Tatsächlich ist der Wert sogar ungefähr gleich <math>10^n</math>. Es folgt:

: <math>M(256,1,3)\approx 3{,}23\cdot 10^{616}</math>

: <math>M(256,2,3)\approx 10^{1{,}99\cdot 10^{619}}</math> (<math>\log_{10} 616</math> wird zu den 616 hinzugefügt)

: <math>M(256,3,3)\approx 10^{10^{1{,}99 \cdot 10^{619}}}</math> (<math>619</math> wird der <math>1{,}99 \cdot 10^{619}</math> hinzugefügt und ist vernachlässigbar. Dafür wird eine 10 an der Basis hinzugefügt.)

: <math>M(256,4,3)\approx 10^{10^{10^{1{,}99 \cdot 10^{619}}}}</math>

: ...

: <math>\mathrm{Mega} = M(256,256,3)\approx (10\uparrow)^{255} 1{,}99 \cdot 10^{619}</math>, wobei <math>(10\uparrow)^{255}</math> für eine Komposition der Funktion <math>f(n)=10^n</math> steht.

Damit ist
: <math>10\uparrow\uparrow 257 < \mathrm{Mega} < 10\uparrow\uparrow 258</math>

== Mosers Zahl ==
Es konnte bewiesen werden, dass Mosers Zahl, obwohl sie selbst extrem groß ist, immer noch kleiner ist als [[Grahams Zahl]].

== Siehe auch ==
* [[Zahlennamen]]
* [[Ackermannfunktion]]
* [[Pfeilschreibweise]]
* [[Verkettete Pfeilschreibweise]]

== Quellenangaben ==
<references/>

== Weblinks ==
* [http://www-users.cs.york.ac.uk/~susan/cyc/b/big.htm Über große Zahlen] (englisch)
* [[:en:Large numbers|Sehr große Zahlen]] (englische Wikipedia)
* [[:en:Knuth's up-arrow notation|Knuths Pfeilschreibweise]] (englische Wikipedia)

[[Kategorie:Mathematische Notation]]