指数タワーの計算

指数タワーとは、例えば次のような数である。

10^{10^{10^{10}}}

 筆者が巨大数のジャンルを探索するきっかけとなったのも、この指数タワーを目の当たりにしてからである。
 宇宙物理論的に出せる巨大数の限界がこの辺のオーダーであり、それ以上の演算レベルの数は、純粋数学のみの世界のものとなる。(数の比較を参照)

 まず、原則として、指数タワーの演算順序は右からであって、左からではない。
 指数タワーで表される数は余りにも大きく、例えば上記を計算すると、


10^{10^{10^{10}}}
=10^{10^{10000000000}}
=10^{1\!\!\overbrace{\scriptstyle000...000}^{10000000000}}

 となる。これはこの数を全て十進表記に直した時の0の数が、

10^{10000000000}=1\!\!\underbrace{000...000}_{10000000000} 個 であるということを示している。


 観測可能な宇宙の原子数は10^{80}個と言われている。
 その全物質をインクに変えたとしても、一文字あたり10^{20}個の原子を消費すると仮定すると、10^{60}個の0を書くのが限度である。
 従って、10^{60}桁の数は10^{10^{60}}と記述することができるが、これが可視宇宙の物質で10進表記できる限界である。10^{10^{10000000000}}には圧倒的に足りない。
 つまりこれは、指数タワーオーダーの数というのは、今後幾らコンピュータが発達したとしても、具体的な全ての桁を算出できない事を意味する。例えそれを求めることができたとしても、それを記憶または記述するスペースそのものが無いのである。  ただしこの場合は、この数が10と10の指数のみで構成されているので、その全ての桁が1000...000となるのは自明である。しかし、9^{8^{7^{6^5}}}などといった数では、そうは行かない。お手上げである。

 ・・・のはずであるが、上記で上げた数より大きな数、例えば第1スキューズ数が、e^{e^{e^{79}}}\fallingdotseq10^{10^{10^{34}}}ぐらいであると求められている。これは先ほど述べたように、実質的に全ての桁を算出するのが不可能なラインを遥かに超えた数である。しかし、底数のeが、10に変換されている。実は、全ての桁を求めずとも、指数タワーの底数を変換することは、可能である。
 指数タワーを構成する数字を揃える事ができれば、異なる指数で構成された指数タワーの大きさを比べることが出来る。例えば、3^{3^{3^{3^{3^{3^{3^{3^{3^3}}}}}}}}と、10^{10^{10^{10^{10^{10^{10^{10^{10}}}}}}}}はどちらが大きいか、等ということも解る。


巨大な指数には対数を使う

 試しに先程の9^{8^{7^{6^5}}}の計算を試みてみる。
 右上の指数は普通に計算できる、つまり、=9^{8^{7^{7776}}}となる。

 さて、次にこの右上の7^{7776}をどう計算するか。
 実は、Windows電卓などは、このぐらいの指数であれば普通に計算してしまう(数万桁程度まで可能)のだが、指数タワーの式によっては兆単位の指数を処理する必要が生じうる場合もあるので、ここは工夫してみよう。

 ここで対数を用いる。\text{log}_{10}7\fallingdotseq0.845である。つまり、7=10^{\text{log}_{10}7}\fallingdotseq10^{0.845}となる。

 これを利用すると、7^{7776}\fallingdotseq(10^{0.845})^{7776}=10^{0.845\times7776}\fallingdotseq10^{6571.5}

 となり、底を10に変換することが出来た。つまり、9^{8^{7^{7776}}}\fallingdotseq9^{8^{10^{6571.5}}}である。


 次は8^{10^{6571.5}}を計算する。当然コンピューターによるゴリ押し計算は不可能なオーダーになる。
 しかし、これも対数を取れば、

\fallingdotseq(10^{0.903})^{10^{6571.5}}=10^{0.903\times10^{6571.5}}

 ここで、0.903にもさらに対数を取れば、

\fallingdotseq10^{10^{-0.044}\times10^{6571.5}}=10^{10^{-0.044+6571.5}}\fallingdotseq10^{10^{6571.4}}

 という風になり、底の変換に成功した。つまり、9^{8^{10^{6571.5}}}\fallingdotseq9^{10^{10^{6571.4}}}である。


 次も以上と同様の手筋で計算すれば良い。


9^{10^{10^{6571.4}}}
\fallingdotseq10^{0.954\times10^{10^{6571.4}}}
\fallingdotseq10^{10^{-0.020+10^{6571.4}}}

 ここで想像してみて欲しい。10^{6571.4}という相当巨大な数に、たったの-0.020を加えるという操作を。つまり、この指数タワーの天辺の数6571.4は、少なくとも目に見える範囲では全く微動だにしなくなってしまう。つまり、

10^{10^{-0.020+10^{6571.4}}}\fallingdotseq10^{10^{10^{6571.4}}}と近似してもまず問題ない。


以上をまとめて、9^{8^{7^{6^5}}}\fallingdotseq10^{10^{10^{6571.4}}である。

そして天辺の数にさらに対数を取ると、\fallingdotseq10^{10^{10^{10^{3.818}}}となる。

タグ:

+ タグ編集
  • タグ:

このサイトはreCAPTCHAによって保護されており、Googleの プライバシーポリシー利用規約 が適用されます。

最終更新:2013年02月19日 22:00