モーザーの多角形表記

ウィキペディア

多角形表記

出典: フリー百科事典『ウィキペディア（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 を ${\displaystyle 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を順に見ていくと、

${\displaystyle 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]₁₀

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

${\displaystyle 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年に証明された^[1]。この証明によれば、モーザー数 M はチェーン表記や矢印表記、そしてハイパー演算子を用いて

${\displaystyle 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}$ カテゴリ