スタインハウスのメガ

ウィキペディア

多角形表記

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/08/01 14:10 UTC 版)

多角形表記（たかくけいひょうき、polygon notation）とは、多角形を用いた巨大数の表記法である。ユゴー・スタインハウスによって考案され、後にレオ・モーザーによって拡張された。

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

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

• = nⁿ = n↑n = n ↑² 2 = n → 2 → 2
• = 「n 重の三角形の中の n 」
• = 「n 重の四角形の中の n 」

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

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

モーザーの多角形表記

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

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

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

ブラケットでの表記

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

• p 角形の中の n を $n[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]₂₅₆ ≒ (256↑)²⁵⁶ 257

である。

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

≒ 256↑↑257

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

≫ (256↑)²⁵⁶ 257 ≫ 256↑↑257

である。

具体的な値は

≒ (10↑)²⁵⁵(1.99×10⁶¹⁹) ≒ (1000000↑)²⁵⁵(3.3206232×1000000¹⁰³)

に近く、したがって

10↑↑257 < < 10↑↑258

の範囲にあって、

1000000↑↑256 < < 1000000↑↑257

の範囲にある。

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

= 10[5] = 10[4]₁₀

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

$a[4]\fallingdotseq a\uparrow \uparrow \left(a+1\right)$ ≒ 10↑↑↑11

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

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

である。

モーザー数

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

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

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

$M<3\rightarrow 3\rightarrow (\left(3\rightarrow 3\rightarrow 5\right)\times 2-1)=3\rightarrow 2\rightarrow (\left(3\rightarrow 3\rightarrow 5\right)\times 2)=3\rightarrow 2\rightarrow (\left(3\rightarrow 2\rightarrow 6\right)\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}\left(3\uparrow ^{4}3-1\right)\right)\times 2-1}3=3\uparrow ^{3^{3\uparrow \uparrow \left(3\uparrow ^{3}\left(3\uparrow ^{4}\left(\operatorname {hyper} {\left(3,6,3\right)}-1\right)-1\right)-1\right)}\times 2}2$ カテゴリ

ウィキペディア小見出し辞書

スタインハウスのメガ

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/17 16:42 UTC 版)

「多角形表記」の記事における「スタインハウスのメガ」の解説

= 2[5] = 2[4]2 = 2[4][4] = 256[4] = 256[3]256 したがって、+1はフェルマー数である。 256[3]nを順に見ていくと、 256 [ 3 ] = 256 256 ≈ 32317.006 × 1 , 000 , 000 102 ≈ 1 , 000 , 000 102.75157185330558129962287607 256 [ 3 ] 2 = 256 [ 3 ] [ 3 ] = ( 256 256 ) 256 256 = 256 256 × 256 256 = 256 256 257 = ( 256 ↑ ) 2 257 ≈ ( 1 , 000 , 000 ↑ ) 2 103.08686993234988541821889367 ここで、↑はクヌースの矢印表記である。 256 [ 3 ] 3 = 256 [ 3 ] 2 [ 3 ] = ( 256 256 257 ) 256 256 257 = 256 256 257 × 256 256 257 = 256 256 257 + 256 257 = ( 256 ↑ ) 2 ( 257 + 256 257 ) = 4 [ 4 ] = 2 2 11 [ 3 ] 2 = 2 2 11 [ 3 ] [ 3 ] = ( 2 2 11 ) 2 2 11 [ 3 ] = 2 2 11 ⋅ 2 2 11 [ 3 ] = 2 2 11 + 2 11 [ 3 ] = 2 2 2059 [ 3 ] ≈ ( 1 , 000 , 000 3.320623171 × 1 , 000 , 000 103 ) ( 1 , 000 , 000 ↑ ) 2 103.0868699 ≈ 1 , 000 , 000 3.320623171 × 1 , 000 , 000 103 × ( 1 , 000 , 000 ↑ ) 2 103.0868699 ≈ 1 , 000 , 000 3.320623171 × 1 , 000 , 000 103 + 1 , 000 , 000 ↑ 103.0868699 ≈ 1 , 000 , 000 3.320623171 × 1 , 000 , 000 103 + 3.320623171 × 1 , 000 , 000 103 ≈ ( 10 ↑ ) 3 619.2993708444822 となる。ここで、きわめて大雑把な「近似」 256 [ 3 ] 3 = 256 256 257 + 256 257 ≒ 256 256 256 257 = ( 256 ↑ ) 3 257 を導入する。しかし近似といっても実際は 256 256 257 + 256 257 = ( 256 256 256 257 ) 256 257 ≫ 256 256 256 257 であり、通常の感覚ではまったくかけ離れていることに注意。このような現象を「指数タワーパラドックス」と呼ぶ。 同様に、 256 [ 3 ] 4 ≒ 256 256 256 256 257 = ( 256 ↑ ) 4 257 256 [ 3 ] 5 ≒ 256 256 256 256 256 257 = ( 256 ↑ ) 5 257 と「近似」できる。したがって、 = 256[3]256 ≒ (256↑)256 257 である。 さらに大雑把な「近似」を認めれば、 ≒ 256↑↑257 と表せる。ただし実際は、 ≫ (256↑)256 257 ≫ 256↑↑257 である。 具体的な値は ≒(10↑)255(1.99×10619)≒(1000000↑)255(3.3206232×1000000103) に近く、したがって 10↑↑257 < < 10↑↑258 の範囲にあって、 1000000↑↑256 < < 1000000↑↑257 の範囲にある。