Die von John Horton Conway erdachte verkettete Pfeilschreibweise ist eine mathematische Darstellung für äußerst große natürliche Zahlen, ähnlich wie die von Donald E. Knuth entwickelte Pfeilschreibweise, die davon zu unterscheiden ist.
Bei der verketteten Pfeilschreibweise werden beliebig viele natürliche Zahlen hintereinander geschrieben und mit Pfeilen verkettet, und eine solche Kette repräsentiert eine natürliche Zahl.
Zu beachten ist, dass eine Kette aus
Zahlen nicht einfach in Teile zerlegt werden kann, die für sich ausgewertet werden, denn es handelt sich um eine
-stellige Operation und nicht um die Nacheinanderausführung von zweistelligen:
.
Wenn eine Kette innerhalb einer anderen Kette eine Zahl repräsentieren soll, wird sie umklammert: Die Kette
besteht aus drei Gliedern: 3, 6 und
, wobei Letzteres eine eigenständige Kette ist, die für die Zahl
steht, also
.
Hinweis: Die verkettete Pfeilschreibweise (
) ist – insbesondere bei Verwendung von Variablen – nicht zu verwechseln mit der in der Logik verwendeten Schreibweise für die Implikation und Subjunktion (
), bei der häufig derselbe einfache Pfeil (
) als Symbol für den Junktor verwendet wird.
Im Folgenden soll gelten:
![{\displaystyle n,m\in \mathbb {N} ^{+))](https://wikimedia.org/api/rest_v1/media/math/render/svg/15066c1e0f699c191ab6ced38a385c1f5612c3b0)
stellt eine Teilkette dar.
kann beispielsweise
entsprechen.
Damit sind die Werte von Ketten wie folgt definiert:
- Eine leere Kette (mit der Länge 0) hat den Wert 1
- Eine Kette der Länge 1 mit dem Glied
hat den Wert ![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
- Der Wert einer Kette der Länge 2 ist die Potenz ihrer Glieder:
![{\displaystyle n\rightarrow m=n^{m))](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0654469517ef287f69b6187c47b98579925ea27)
- Hat eine Kette mit Länge
ein Endglied mit dem Wert 1, kann dieses weggelassen werden:
![{\displaystyle A\rightarrow 1=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06e2a04a40588418e25fd5dc0d3999bfdd3d94d5)
- Mit
gilt:
![{\displaystyle A\rightarrow n\rightarrow m=A\rightarrow (A\rightarrow (n-1)\rightarrow m)\rightarrow (m-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfb5ba7842b1bdbf4abb71295b88948eda3a38e5)
![{\displaystyle A\rightarrow 1\rightarrow m=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/711575ebfca33980c25703a1dd3a098f2f4fb79d)
Alternative Formulierung von Regel 5:
.
Dabei wird die Teilkette
insgesamt
-mal notiert und das
-Glied
-mal.
Beispiel:
,
,
wie in der Definition, sei nun auch
eine Teilkette,
eine natürliche Zahl.
alle Kettenglieder hinter einer 1 entfallen
![{\displaystyle 1\rightarrow A=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1240c046bcc4cc4116b390d8098f2992f2e78360)
mit Knuths Pfeilschreibweise
jede Kette, deren erste zwei Glieder 2 sind, hat den Wert 4 (wie auch
)
endet eine Kette in zwei Zweien, können diese durch den Wert der Kette davor ersetzt werden (beachte: nicht
)
Die Berechnung einer Kette läuft meist darauf hinaus, durch Anwenden von Regel 5 das letzte Glied zu vermindern, bis es 1 ist und damit wegfallen kann. Bei diesem Prozess wird das vorletzte Glied in der Regel enorm vergrößert, und das um so mehr, je komplexer die Teilkette vor den letzten beiden Gliedern ist, denn diese geht dabei in voller Länge in die Berechnung des vorletzten Gliedes ein. So wird die Kette verkürzt, bis sie nur noch zwei Glieder enthält und damit auf die Potenzierung zurückgeführt ist.
Zunächst ein leichtes Beispiel:
Oder:
Ein weiteres dreigliedriges Beispiel:
Jedoch lässt sich auch dieses Beispiel leicht mit Knuths Pfeilschreibweise abkürzen:
Daher nun ein viergliedriges Beispiel:
Damit ist die Berechnung auf den Pfeiloperator der Ordnung
zurückgeführt, welche bereits in Exponentialschreibweise nicht mehr sinnvoll darstellbar ist.
Diese Rechnung macht jedoch sehr gut deutlich, dass die verkettete Pfeilschreibweise wohl am kürzesten enorm große Zahlen darstellen kann.
Das wird nun schon bei bloßer Betrachtung von
deutlich.