多角形表記

多角形表記（たかくけいひょうき、polygon notation）とは、多角形を用いた巨大数の表記法である。テンプレート:仮リンクによって考案され、後にテンプレート:仮リンクによって拡張された。

スタインハウスの多角形表記

スタインハウスの多角形表記は、次のように定義される。

• テンプレート:Math
• テンプレート:Math
• テンプレート:Math

この表記を用いて、スタインハウスは次の数を定義した。

• をメガ (mega) という。
• をメジストン (megiston) という。

モーザーの多角形表記

モーザーの多角形表記は、スタインハウスのものを拡張し、一般の多角形を用いるようにした。

• 、はスタインハウスのものと同じ。
• = 「n 重の四角形の中の n 」 (= )
• 一般に「m 角形の中の n 」 = 「n 重の (m - 1) 角形の中の n 」

「角形の中の2」 をモーザー数と言う。

ブラケットでの表記

ヨーク大学のSusan Stepney教授は、自らのサイトで次の代用表記を使っている。

• p 角形の中の n を $n[p]$ と表す。
• $[\dots ]$ は必要なだけ繰り返せる。たとえば、p 角形の中の q 角形の中の n は $n[q][p]$ と表す。
• k 重の p 角形の中の n を $n[p{]}_k$ と表す。つまり、

$n[p{]}_k=n\underset{k}{\underbrace{[p][p]...[p]}}$

である。

これを使えば多角形表記の定義は次のようになる。

• = n[3] = nⁿ
• = n[4] = n[3]_n
• = = n[5] = n[4]_n
• 一般に n[m] = n[m−1]_n（mが4以上の場合）

他の例としては：

• = n[3]₄

スタインハウスとモーザーが定義した巨大数は次のように表せる。

• （メガ） = 2[5]
• （メジストン） = 10[5]
• モーザー数 = 2[2[5]] = 2[②]

この代用表記は、モーザー数のような、忠実な多角形の図による表記が事実上不可能なほど巨大な数も表記できるという利点がある。

計算

左から計算される。

簡単な例

• 2[3] = 2² = 4
• 2[4] = 2[3]₂ = 4[3] = 4⁴ = 256

スタインハウスのメガ

= 2[5]

= 2[4]₂

= 2[4][4]

= 256[4]

= 256[3]₂₅₆

したがって、+1はフェルマー数である。

256[3]_nを順に見ていくと、

$256[3]=256^{256}\approx 32317.006\times {1,000,000}^{102}\approx {1,000,000}^{102.75157185330558129962287607}$

$256[3{]}_2=256[3][3]={\left(256^{256}\right)}^{256^{256}}=256^{256\times 256^{256}}=256^{256^{257}}={(256\uparrow )}^{2}257\approx {(1,000,000\uparrow )}^{2}103.08686993234988541821889367$

ここで、↑はクヌースの矢印表記である。

$\begin{array}{cc}256[3{]}_3& =256[3{]}_2[3]={\left(256^{256^{257}}\right)}^{256^{256^{257}}}=256^{256^{257}\times 256^{256^{257}}}=256^{256^{257+256^{257}}}={(256\uparrow )}^2(257+256^{257})\\ & =4[4]\\ & =2^{2^{11}}[3{]}_2=2^{2^{11}}[3][3]={\left(2^{2^{11}}\right)}^{2^{2^{11}}}[3]=2^{2^{11}\cdot 2^{2^{11}}}[3]=2^{2^{11+2^{11}}}[3]=2^{2^{2059}}[3]\\ & \approx {(1,000,000^{3.320623171\times 1,000,000^{103}})}^{{(1,000,000\uparrow )}^{2}103.0868699}\approx 1,000,000^{3.320623171\times 1,000,000^{103}\times {(1,000,000\uparrow )}^{2}103.0868699}\approx 1,000,000^{3.320623171\times 1,000,000^{103+1,000,000\uparrow 103.0868699}}\approx 1,000,000^{3.320623171\times 1,000,000^{103+3.320623171\times 1,000,000^{103}}}\\ & \approx {(10\uparrow )}^{3}619.2993708444822\end{array}$

となる。ここで、きわめて大雑把な「近似」

$256[3{]}_3=256^{256^{257+256^{257}}}\fallingdotseq 256^{256^{256^{257}}}={(256\uparrow )}^{3}257$

を導入する。しかし近似といっても実際は

$256^{256^{257+256^{257}}}={\left(256^{256^{256^{257}}}\right)}^{256^{257}}\gg 256^{256^{256^{257}}}$

であり、通常の感覚ではまったくかけ離れていることに注意。このような現象を「指数タワーパラドックス」と呼ぶ。

同様に、

$256[3{]}_4\fallingdotseq 256^{256^{256^{256^{257}}}}=(256\uparrow {)}^{4}257$

$256[3{]}_5\fallingdotseq 256^{256^{256^{256^{256^{257}}}}}=(256\uparrow {)}^{5}257$テンプレート:Refnest

と「近似」できる。したがって、

テンプレート:Math

である。

さらに大雑把な「近似」を認めれば、

テンプレート:Math

と表せる。ただし実際は、

テンプレート:Math

である。

具体的な値は

テンプレート:Math

に近く、したがって

テンプレート:Math テンプレート:Math

の範囲にあって、

テンプレート:Math テンプレート:Math

の範囲にある。

スタインハウスのメジストン

テンプレート:Math

スタインハウスのメガの時と似た「近似」によって、およそ

$a[4]\fallingdotseq a\uparrow \uparrow (a+1)$

$a[4]\fallingdotseq a\uparrow \uparrow (a+1)\fallingdotseq a\uparrow \uparrow a\text{ when }a\gg 1$ (*)

であるとすると、

$10[4]\fallingdotseq 10\uparrow \uparrow 11$

$10[4{]}_2=10[4][4]\fallingdotseq (10\uparrow \uparrow 11)\uparrow \uparrow (10\uparrow \uparrow 11)$

ここで、一般の a, b, n について次のような式を考える。a↑b = a^b に注意すれば、

$\begin{array}{cc}(a\uparrow \uparrow b)\uparrow \uparrow n& =(a\uparrow \uparrow b)\uparrow \{(a\uparrow \uparrow b)\uparrow \uparrow (n-1)\}\\ & =[a\uparrow \{a\uparrow (b-1)\}]\uparrow \{(a\uparrow \uparrow b)\uparrow \uparrow (n-1)\}\\ & =a\uparrow [\{a\uparrow (b-1)\}+(a\uparrow \uparrow b)\uparrow \uparrow (n-1)]\\ \end{array}$

a, b が十分に大きければ

$a\uparrow (b-1)\ll (a\uparrow \uparrow b)\uparrow \uparrow (n-1)$

だから、

$(a\uparrow \uparrow b)\uparrow \uparrow n\fallingdotseq a\uparrow \{(a\uparrow \uparrow b)\uparrow \uparrow (n-1)\}$

と近似してよい。

これを n が 1 になるまで繰り返せば、

$\begin{array}{cc}(a\uparrow \uparrow b)\uparrow \uparrow n& \fallingdotseq \underset{(n-1)\text{ copies of }a}{\underbrace{a\uparrow a\uparrow \cdots \uparrow a}}\uparrow \{(a\uparrow \uparrow b)\uparrow \uparrow 1\}\\ & =\underset{(n-1)\text{ copies of }a}{\underbrace{a\uparrow a\uparrow \cdots \uparrow a}}\uparrow (a\uparrow \uparrow b)\\ & \fallingdotseq a\uparrow \uparrow \{(n-1)+b\}\end{array}$

したがって、n ≫ b ならば

$(a\uparrow \uparrow b)\uparrow \uparrow n\fallingdotseq a\uparrow \uparrow n$ (**)

と近似してよい。

(**) を用いて、改めて 10[4]₂ を近似すると

$10[4{]}_2\fallingdotseq 10\uparrow \uparrow (10\uparrow \uparrow 11)$

である。以下同様に (*) と (**) を使えば

$\begin{array}{cc}10[4{]}_3=10[4{]}_2[4]& \fallingdotseq \{10\uparrow \uparrow (10\uparrow \uparrow 11)\}\uparrow \uparrow \{10\uparrow \uparrow (10\uparrow \uparrow 11)\}\\ & \fallingdotseq 10\uparrow \uparrow \{10\uparrow \uparrow (10\uparrow \uparrow 11)\}\\ & =10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 11\\ & ={(10\uparrow \uparrow )}^{3}11\end{array}$

$10[4{]}_4=10[4{]}_3[4]\fallingdotseq 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 11={(10\uparrow \uparrow )}^{4}11$

$10[4{]}_5=10[4{]}_4[4]\fallingdotseq 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 11={(10\uparrow \uparrow )}^{5}11$

したがって、

$10[4{]}_{10}\fallingdotseq 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 10\uparrow \uparrow 11={(10\uparrow \uparrow )}^{10}11$

であるので、大雑把には

≒ 10↑↑↑11

である。ただし、実際はメガと同様に、

≫ (10↑↑)¹⁰ 11 ≫ 10↑↑↑11

である。

モーザー数

モーザー数は テンプレート:Mathテンプレート:Math である。したがって、2[2[5]]+1はフェルマー数である。先に示したように は相当な巨大数であるので、 角形はほとんど円も同然であり、忠実な多角形の図による表記は事実上不可能である。

モーザー数が よりはるかに大きいことは自明で、また よりもはるかに大きい。

しかし、グラハム数よりは圧倒的に小さいことが Tim Chow によって1998年に証明された。この証明によれば、モーザー数 M はチェーン表記や矢印表記、そしてハイパー演算子を用いて

$M<3\to 3\to ((3\to 3\to 5)\times 2-1)=3\to 2\to ((3\to 3\to 5)\times 2)=3\to 2\to ((3\to 2\to 6)\times 2)=3{\uparrow }^{\left(3{\uparrow }^{4}3{\uparrow }^{4}3\right)\times 2}2=3{\uparrow }^{\left(3{\uparrow }^{3}3{\uparrow }^4(3{\uparrow }^{4}3-1)\right)\times 2-1}3=3{\uparrow }^{3^{3\uparrow \uparrow (3{\uparrow }^3(3{\uparrow }^4(\mathrm{hyper}(3,6,3)-1)-1)-1)}\times 2}2$

である。

モーザー数をクヌースの矢印表記で厳密に表すのは事実上不可能であるが、およそ テンプレート:Math に近似すると考えられる。

その他

多角形表記では、巨大数のレベルとしては、クヌースの矢印表記レベルの巨大数を作ることができ、増加速度としては、近似的には、多角形表記の多角形の角を1つ増やすことは、クヌースの矢印表記の矢印を1本増やすことに相当する。

関連項目

• 巨大数
• クヌースの矢印表記
• コンウェイのチェーン表記

外部リンク

• Susan Stepney's Big Numbers
• テンプレート:MathWorld