巨大数研究 Wiki
Advertisement
Masimo

マシモ。寿司 虚空編より。

マシモスケールは、巨大数あるいは微小数の大きさを知るための指標である[1]。正の実数\(x\)に対して、マシモスケール\(n\)は、次のように定義される。

\[n = \mathrm{floor}(M^{-1}(x))\]

ここで、\(M^{-1}(x)\) はマシモ関数の逆関数で、\(\mathrm{floor}\)は床関数である。この時、 \(M(n) \le x < M(n+1)\) となる。

たとえば、\(x=10^{34}\) に対しては、\(n = \mathrm{floor}(M^{-1}(10^{34})) = \mathrm{floor}(3.4) = 3\) と計算されるため、\(10^{34}\) はマシモスケール3の巨大数となる。

様々な巨大数のマシモスケールを一覧表とする(計算[2])。色が変わるところで関数が切り替わり、増加速度が一気に加速する。

\(n\) \(M(n)\) の値または近似値 マシモスケール\(n\)の巨大数の例
1 \(10^{10}\) ダイアログ, ,
2 \(10^{20}\) , アボガドロ定数, 𥝱,
3 \(10^{30}\) ベルフェゴール素数, ,
4 \(10^{40}\) , ,
5 \(10^{50}\) 恒河沙, 阿僧祇
6 \(10^{60}\) 那由他, 不可思議, 無量大数
7 \(10^{70}\) ガジリオン, エディントン数
8 \(10^{80}\) セクスビジンティリオン (ショートスケール)
9 \(10^{90}\) プランク密度 (SI単位)
10 \(10^{100}\) グーゴル
11 \(10^{110}\) 矜羯羅
12 \(10^{120}\) シャノン数
13 \(10^{130}\) ドゥオビジンティリオン (ロングスケール)
14 \(10^{140}\) ドバジャグラニサマニ
15 \(10^{150}\) ³4, セクスビジンティリオン (ロングスケール)
16 \(10^{160}\) フカシギの数え方の\(n=26\)における解
17 \(10^{170}\) ノベンビジンティリオン (ロングスケール)
18 \(10^{210.801}\) 阿伽羅, 大グーゴル, 第一軍団数, ミリリオン
19 \(10^{4557.17}\) 大大グーゴル, ヒッチハイク数, グーゴルゴング, グーゴルプルックス
20 \(10^{10^{6.219}}\) バベルの図書館の本の数, ミリミリリオン, バリウム数
21 \(10^{10^{12.547}}\) アルキメデスが命名した最大の数の単位
22 \(10^{10^{36.647}}\) 不可説不可説転, グーゴルプレックス, グーゴルバン, トリテット・ジュニア
23 \(10^{10^{210.439}}\) エセトンプレックス, リヴァイアサン数, 第二軍団数
24 \(10^{10^{4556.808}}\) グーゴルプレクシゴング
25 \(10^{10^{10^{6.219}}}\) テリリオン
26 \(10^{10^{10^{12.547}}}\) 第1スキューズ数, ドキリオン
27 \(10^{10^{10^{36.647}}}\) グーゴルプレックスプレックス
28 \(10^{10^{10^{210.439}}}\) エセトンデュプレックス, 第2スキューズ数
29 \(10^{10^{10^{4556.808}}}\) 超リヴァイアサン数, グーゴルデュプレクシゴング, ホタリリオン
30 \(10^{10^{10^{10^{6.219}}}}\)
31 \(10^{10^{10^{10^{12.547}}}}\) ベティリオン
32 \(10^{10^{10^{10^{36.647}}}}\) グーゴルプレックスプレックスプレックス
33 \(10^{10^{10^{10^{210.439}}}}\) エセトントリプレックス
34 \(10^{10^{10^{10^{4556.808}}}}\) \(M!(5)=5^{*}\), グーゴルトリプレクシゴング, Clifford Pickoverの超階乗における \(3$\)
35 \(10^{10^{10^{10^{10^{6.219}}}}}\)
36 \(10^{10^{10^{10^{10^{12.547}}}}}\)
37 \(10^{10^{10^{10^{10^{36.647}}}}}\) グーゴルクアドリプレックス
38 \(10^{10^{10^{10^{10^{210.439}}}}}\) エセトンクアドリプレックス
39 \(10^{10^{10^{10^{10^{4556.808}}}}}\) グーゴルクアドリプレクシゴング
40 \(10^{10^{10^{10^{10^{10^{6.219}}}}}}\)
41 \(10^{10^{10^{10^{10^{10^{12.547}}}}}}\)
42 \(10^{10^{10^{10^{10^{10^{36.647}}}}}}\) グーゴルクインプレックス
43 \(10^{10^{10^{10^{10^{10^{210.439}}}}}}\) エセトンクインプレックス
44 \(10^{10^{10^{10^{10^{10^{4556.808}}}}}}\) グーゴルククインティプレクシゴング
45 \(10^{10^{10^{10^{10^{10^{10^{6.219}}}}}}}\)
46 \(10^{10^{10^{10^{10^{10^{10^{12.547}}}}}}}\) ベントレー数, ギゴル (giggol), クーゴル, グーゴルセンチプレックス, メガ, トリトリ, グーゴルプレクシデクス
47 \(10↑↑10^{10^{619}}\) グーゴルデュプレクシデクス
48 \(4↑↑↑4 = 4 → 4 → 3\) テトラテラクシス
49 \(4↑↑↑5 = 4 → 5 → 3\) メジストロン, ギャゴル, フォークマン数, グラハル = 3↑↑↑↑3, トリテット
50 \(4 → 5 → 4\) ギーゴル
51 \(4 → 5 → 5\) トリペント, ギゴル (gigol)
52 \(10 → 5 → 6\) ゴゴル
53 \(5 → 7 → 7\) トリセプト, トリデカル, ブーゴル, モーザー数
54 \(10 → 10 → (10 → 4 → 3)\) ブーゴルプレックス
55 \(10 → 10 → 3 → 2\) ブーゴルデュプレックス
56 \(10 → 10 → 4 → 2\) ブーゴルトリプレックス
57 \(10 → 10 → 6 → 2\) 小グラハム数, グラハム数, 第一クロちゃん数, コーポラル
58 \(10 → 10 → 8 \cdot 10^5 → 2\) フォーカル
59 \(10 → 10 → (5 \rightarrow 5 \rightarrow 3) → 2\) グラハム数の定義のように \(g(n) = 3 ↑^n 3\) としたときの \(g^{g(4)}(4)\)
60 \(10 → 10 → (3 \rightarrow 8 \rightarrow 7) → 2\) 3 → 3 → 3 → 3, テトラトリ, \(\underbrace{3 \rightarrow 3 \rightarrow 3 ... 3 \rightarrow 3 \rightarrow 3}_\text{グラハム数}\), ふぃっしゅ数バージョン1, 第二クロちゃん数, ふぃっしゅ数バージョン2, ペンタトリ
61 \(A(3,3,3,3,4)\) ヘキサトリ, クワドリーゴル, ヘプタトリ, スーパーオクト, オクトゥーグル
62 \(A(7,7,7,7,7,7,7,7,8)\) イテラル, アルタトリ, 夏おこじょ数, 第三クロちゃん数, グーボル, デューパートリ
63 \(f_{\omega^\omega}(4 → 3 → 3)\) \(A(\underbrace{1,1,...,1}_\text{モーザー数})\)
64 \(f_{\omega^\omega}(10 → 10 → 3 → 2)\) \(A(\underbrace{1,1,...,1}_\text{グラハム数})\)
65 \(f_{\omega^\omega}(A(1,1,10^{10^8}))\) デューパーデカル, グーボルプレックス, トルーパーデカル
66 \(f_{\omega^\omega+1}(5)\) ギボル (gibbol)
67 \(f_{\omega^\omega+1}(10 \rightarrow 4 \rightarrow 3 \rightarrow 2)\) { 3, ふぃっしゅ数バージョン2, 2 (1) 2 }
68 \(f_{\omega^\omega+1}(A(3,3,3,3,4))\) { 3, 夏おこじょ数, 2 (1) 2 }
69 \(f_{\omega^\omega+1}(f_{\omega^\omega}(A(1,1,5↑↑↑5)))\) ラトリ, ガボル (gabbol), ギーボル, ギボル (gibol), ゴボル, ガボル (gabol), ブーボル
70 \(f_{\omega^\omega+\omega}(A(3,3,3,2,4))\) { 3, 3, 第三クロちゃん数 (1) 2 }
71 \(f_{\omega^{\omega}+\omega}(f_{\omega^{\omega}+1}(A(1,1,10^{10^8})))\) グートロル, 第四クロちゃん数, エンペラル, ハイペラル, ふぃっしゅ数バージョン3, アドミラル, ザッポル
72 \(f_{\omega^{\omega^{\omega}}}(3) = f_{\omega^{\omega^3}}(3) = f_{\varepsilon_0}(3)\) ペトソル, ゴンギュラス, デュラトリ, トリラトリ, ヘクセルガサー
73 \(f_{\omega^{\omega^{\omega^{\omega^{\omega}}}}}(3) \approx f_{\varepsilon_0}(5)\) グラルタートル, ゴトリプレクスルス
74 \( f_{\varepsilon_0}(7)\) テスラソス, ゴッパトス
75 \( f_{\varepsilon_0}(10^{10^8})\) ゴッパトスプレックス, ふぃっしゅ数バージョン5
76 \(f_{\varepsilon_0 3}(3)\) テスラソー, モンスタージャイアント
77 \(f_{\varepsilon_1 3}(3)\) 巨大壮絶テスラソス
78 \(f_{\varphi(2,0)}(3)\) トリアクルス, カングルス, カングルスプレックス, ふぃっしゅ数バージョン6
79 \(f_{\varphi(2,1)}(3)\) バードの前斜線配列で \(\{3,3[1/1/3]2\}=\{3,3[1/1/1,2]2\}\)
80 \(f_{\varphi(2,2)}(3)\) クアドランクルス, トリデカトリックス, ヒュモングルス
81 \(f_{\Gamma_0}(3)\) ペンタクトゥルフム
82 \(f_{\Gamma_1}(3)\) ペンタクトゥルフスクエア, ゴリアス
83 \(f_{\varphi(1,0,0,0)}(3)\) エノーマクスル
84 \(f_{\varphi(1,0,0,0,0)}(3)\) バード数, TREE(3)の下限
85 \(f_{\psi(\Omega^{\Omega^{\Omega}})}(2)\) ゴラプルス
86 \(f_{\psi(\Omega^{\Omega^{\Omega^\Omega}})}(3)\) \(\{X,X,2(0,1)2\}\&3\)
87 \(f_{\vartheta(\Omega_2)}(2)\) ゴラプルスプレックス
88 \(f_{\vartheta(\Omega_3)}(3)\) SCG(13), ビッグブーワ
89 \(f_{\psi(\Omega_{\Omega_\omega})}(3)\) ヌクリービクスル
90 \(f_{\psi(\Omega_{\Omega_{\Omega_\omega}})}(4)\) ヌクリートリクスル
91 \(\lbrace L,10\rbrace_{10,10} \approx f_{\psi(\psi_I(0))}(10)\) ビッグホス, ブクワハ
92 \(\lbrace L2,10\rbrace_{10,10}\) ゴショミティー, ビッグブクワハ
93 \(\lbrace L3,10\rbrace_{10,10}\) ボンゴブクワハ
94 \(\lbrace L4,10\rbrace_{10,10}\) ミーミーミーロッカプーワ・ウンパ
95 \(D^5(10)\) ローダー数
96 \(D^{10}(10)\)
97 \(D^{15}(10)\)
98 \(D^{20}(10)\)
99 \(D^{25}(10)\)
100 \(\Sigma(1000)\) ビジービーバー関数で\(\Sigma(1919)\)
101 \(\Sigma_2(1000) \approx f_{\omega^\text{CK}_2}(1000)\)[注 1][注 2]
102 \(\Sigma_{3}(1000) \approx f_{\omega^\text{CK}_{3}}(1000)\)[注 1][注 2]
103 \(f_{\omega^\text{CK}_{\omega}}(1000)\)[注 1] クサイ関数で \(\Xi(10^6)\)
104 \(f_{\omega^\text{CK}_{\omega+1}}(1000)\)[注 1]
105 \(f_{\omega^\text{CK}_{\omega 2}}(1000)\)[注 1]
106 \(f_{\omega^\text{CK}_{\omega^2}}(1000)\)[注 1]
107 \(f_{\omega^\text{CK}_{\omega^{\omega}}}(1000)\)[注 1] ふぃっしゅ数バージョン4
108 \(f_{\omega^\text{CK}_{\omega^{\omega^{\omega}}}}(1000)\)[注 1]
109 \(f_{\omega^\text{CK}_{\epsilon_0}}(1000)\)[注 1]
110 \(f_{\omega^\text{CK}_{\epsilon_1}}(1000)\)[注 1]
111 \(f_{\omega^\text{CK}_{\phi(2,0)}}(1000)\)[注 1]
112 \(f_{\omega^\text{CK}_{\phi(1,0,0)}}(1000)\)[注 1]
113 \(f_{\omega^\text{CK}_{\phi(1,0,0,0)}}(1000)\)[注 1]
114 \(f_{\omega^\text{CK}_{\psi(\Omega^{\Omega^\omega})}}(1000)\)[注 1]
115 \(f_{\omega^\text{CK}_{\psi(\Omega^{\Omega^\Omega})}}(1000)\)[注 1]
116 \(f_{\omega^\text{CK}_{\psi(\epsilon_{\Omega+1})}}(1000)\)[注 1]
117 \(f_{\omega^\text{CK}_{\psi_0(\Omega_{\omega})}}(1000)\)[注 1]
118 \(f_{\omega^\text{CK}_{\psi_0(\varepsilon_{\Omega_\omega + 1})}}(1000)\)[注 1]
119 \(f_{\omega^\text{CK}_{\psi(\psi_I(0))}}(1000)\)[注 1]
120 \(R_1(10^{10})\) ラヨ数
121 \(R_2(10^{10})\)
122 \(R_3(10^{10})\)
123 \(R_\omega(10^{10})\)
124 \(R_{\omega+1}(10^{10})\)
125 \(R_{\omega 2}(10^{10})\)
126 \(R_{\omega^2}(10^{10})\)
127 \(R_{\omega^{\omega}}(10^{10})\)
128 \(R_{\omega^{\omega^{\omega}}}(10^{10})\)
129 \(R_{\varepsilon_0}(10^{10})\)
130 \(R_{\varepsilon_1}(10^{10})\)
131 \(R_{\phi(2,0)}(10^{10})\) ふぃっしゅ数バージョン7
132 \(R_{\varphi(1,0,0)}(10^{10})\)
133 \(R_{\varphi(1,0,0,0)}(10^{10})\)


脚注[]

  1. 1.00 1.01 1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09 1.10 1.11 1.12 1.13 1.14 1.15 1.16 1.17 1.18 1.19 急増加関数は基本列系を固定して初めて意味を持つ。特に \(\omega^{\text{CK}}_2\) などの基本列系を定義するためには高度な数学が用いられる。増しもスケールが参照しているマシモ関数#FC 関数に記載されている方法で定義するためには少なくともチューリングマシンの列挙方法を固定する必要があり、固定したとしても定義できているか否かについては疑義が生じている(cf. マシモ関数の記事へのコメント)。また少なくともその方法では \(\omega^{\textrm{CK}}_{\omega}\) など添字に極限順序数が現れるものに対する基本列は定めていないことに注意する。
  2. 2.0 2.1 原文ママ。この近似は(仮に \(\omega^{\text{CK}}_2\) などの基本列系が問題なく定まっていると仮定しても)正しいか否かが不明である。実際 \(\Sigma\) と \(\omega^{\text{CK}}_1\) に対する同様の近似は必ずしも成立しないことが知られているため、成立が疑わしい(cf. チャーチ・クリーネ順序数#cite_ref-1)。


出典[]

関連項目[]

Aeton: おこじょ数N成長階層
mrna: 段階配列表記降下段階配列表記多変数段階配列表記横ネスト段階配列表記
Kanrokoti: くまくまψ関数亜原始ψ関数ハイパー原始ψ関数TSS-ψ関数
クロちゃん: クロちゃん数第一第ニ第三第四
じぇいそん: ふにゃふにゃぜぇたかんすう\(\zeta\)関数
たろう: 多変数アッカーマン関数2重リストアッカーマン関数多重リストアッカーマン関数
Nayuta Ito: フラン数第一形態第二形態第四形態改三)・N原始東方巨大数4の規則の境界を突いた巨大数
バシク: 原始数列数大数列数ペア数列数バシク行列システム
長谷川由紀路: 紅魔館のメイドナンバー恋符マスタースパーク数みくみく順序数
108Hassium: E2:B-01-HsL-階差数列類E3:B-02-Hs
公太郎: 弱亜ペア数列肉ヒドラ数列弱ハイパーペア数列
p進大好きbot: 超限急増加関数表記拡張ブーフホルツのψ関数に伴う順序数表記四関数三関数巨大数庭園数
ふぃっしゅ: ふぃっしゅ数バージョン1バージョン2バージョン3バージョン4バージョン5バージョン6バージョン7)・ マシモ関数マシモスケールTR関数I0関数
ゆきと: 亜原始数列ハイパー原始数列Y数列
本: 巨大数論寿司虚空編
大会: 東方巨大数幻想巨大数即席巨大数式神巨大数お料理巨大数
掲示板: 巨大数探索スレッド
外部リンク: 日本語の巨大数関連サイト

Advertisement