(未定義なものをとりあえず削除(リンク先の記事にはill-defindであることが明記されている)) タグ: ソースの編集 |
編集の要約なし |
||
(2人の利用者による、間の6版が非表示) | |||
11行目: | 11行目: | ||
{{See also|小さい数}} |
{{See also|小さい数}} |
||
− | 巨大数とは言えないが、 '''10''' は[[無量大数]]、[[グーゴル]]、[[不可説不可説転 |
+ | 巨大数とは言えないが、 '''10''' は[[無量大数]]、[[グーゴル]]、[[不可説不可説転]]など様々な巨大数の素になる数である。 |
== [[:カテゴリ:クラス2|クラス2]] (\(10^{6} - 10^{10^{6}}\)) == |
== [[:カテゴリ:クラス2|クラス2]] (\(10^{6} - 10^{10^{6}}\)) == |
||
630行目: | 630行目: | ||
|\(\text{E100#^#^#^#^##100}\) |
|\(\text{E100#^#^#^#^##100}\) |
||
|\(f_{\omega^{\omega^{\omega^{\omega^{\omega^2}}}}}(100)\) |
|\(f_{\omega^{\omega^{\omega^{\omega^{\omega^2}}}}}(100)\) |
||
⚫ | |||
− | |[[ゴッパトス]] |
||
− | |\(10\uparrow\uparrow100\&10\) |
||
− | |\(f_{\varepsilon_0}(100)\) |
||
|- |
|- |
||
|[[ネスト角括弧数]] |
|[[ネスト角括弧数]] |
||
645行目: | 641行目: | ||
!値 |
!値 |
||
!近似値 |
!近似値 |
||
⚫ | |||
− | |[[ゴッパトスプレックス]] |
||
− | |\(10\uparrow\uparrow\text{Goppatoth}\&10\) |
||
− | |\(f_{\varepsilon_0}(f_{\varepsilon_0}(100))\) |
||
|- |
|- |
||
|[[リザレクション数列|のびーるワーム数]] |
|[[リザレクション数列|のびーるワーム数]] |
||
681行目: | 673行目: | ||
|2階数列システムにおいて\(B(n):=(n)[n]\)とした時の\(B^{108}(108)\) |
|2階数列システムにおいて\(B(n):=(n)[n]\)とした時の\(B^{108}(108)\) |
||
|\(f_{\varphi(\omega,0) + 1}(10)\) |
|\(f_{\varphi(\omega,0) + 1}(10)\) |
||
⚫ | |||
+ | |[[亜原始数列|亜原始数列数]] |
||
+ | |亜原始数列において\(f(n):=S(0,\omega)[n]\)とした時の\(f^{2000}(1)\) |
||
⚫ | |||
|- |
|- |
||
|[[超限急増加関数表記]] |
|[[超限急増加関数表記]] |
||
716行目: | 712行目: | ||
|\(f_{\psi_0(\Omega_\Omega)+1}(3)\) |
|\(f_{\psi_0(\Omega_\Omega)+1}(3)\) |
||
|} |
|} |
||
− | 以下で用いられる\(\vartheta\)や\(\psi\)はどの関数であるか不明であるため、解析の数学的な意味は不明である。 |
||
− | {|class="wikitable" |
||
− | !名前 |
||
− | !値 |
||
− | !近似値 |
||
− | |- |
||
− | |[[TREE数列|TREE(3)]]の下界の1つ |
||
− | | |
||
− | |\(f_{\vartheta(\Omega^\omega)+2}(f_{\vartheta(\Omega^\omega)+1}(f_{\vartheta(\Omega^\omega)}(8)))\) |
||
− | |- |
||
− | |[[バード数]] |
||
− | |\(\underbrace{\text{X}(\text{X}(...\text{X}(\text{X}(N))...))}_{\text{X}(N)}\) |
||
− | |\(f_{\vartheta(\Omega^{\omega})+2}(f_{\vartheta(\Omega^{\omega})+1}(f^2_{\vartheta(\Omega^{\omega})}(7)))\) |
||
− | |- |
||
− | |[[SCG(13)]]の下界の1つ |
||
− | | |
||
− | |\(f_{\psi_{\Omega_1}(\Omega_{\omega})}(13)\) |
||
− | |- |
||
⚫ | |||
− | |\(200?\) |
||
⚫ | |||
− | |} |
||
以下はFGHによる近似値が知られていないほど大きいと考えられているため、代わりにどのような再帰的理論を対角化しているか、またはどのような再帰的理論の下で停止性の証明可能な計算可能関数の値であるかを記す。 |
以下はFGHによる近似値が知られていないほど大きいと考えられているため、代わりにどのような再帰的理論を対角化しているか、またはどのような再帰的理論の下で停止性の証明可能な計算可能関数の値であるかを記す。 |
||
771行目: | 745行目: | ||
!値 |
!値 |
||
!状態 |
!状態 |
||
⚫ | |||
⚫ | |||
+ | |[[超階乗配列表記]]における\(200?\) |
||
+ | |停止性不明 |
||
|- |
|- |
||
|[[バシク行列|バシク行列数]] |
|[[バシク行列|バシク行列数]] |
||
800行目: | 778行目: | ||
* [[最小の証明を書けなくても戦え数]] |
* [[最小の証明を書けなくても戦え数]] |
||
* [[ラヨ数]] (数学的解釈では定義に[[ラヨ数#公理|問題]]が見付かっている) |
* [[ラヨ数]] (数学的解釈では定義に[[ラヨ数#公理|問題]]が見付かっている) |
||
− | * [[ふぃっしゅ数バージョン7]] (数学的解釈では定義に[[ふぃっしゅ数バージョン7# |
+ | * [[ふぃっしゅ数バージョン7]] (数学的解釈では定義に[[ふぃっしゅ数バージョン7#公理系の指定|問題]]が見付かっている) |
* [[ビッグフット]] (定義に問題が見付かっている) |
* [[ビッグフット]] (定義に問題が見付かっている) |
||
* [[リトルビッゲドン]] (定義に問題が見付かっている) |
* [[リトルビッゲドン]] (定義に問題が見付かっている) |
||
816行目: | 794行目: | ||
== 参考文献 == |
== 参考文献 == |
||
− | {{reflist}} |
+ | {{reflist}} |
+ | |||
+ | [[en:List of googologisms]] |
||
+ | [[fr:Liste des googolismes]] |
||
[[zh:大數列表]] |
[[zh:大數列表]] |
||
+ | [[cs:Seznam googolismů]] |
||
{{DEFAULTSORT:かすのいちらん}} |
{{DEFAULTSORT:かすのいちらん}} |
2021年10月17日 (日) 13:32時点における版
このページには巨大数を小さいものから大きいものへと順番に並べる。ただし、定義が完成していないものに関しては値が意味を持たないので、代わりに「完成した場合に想定されている近似値」を書く。
クラス0 (\(0 - 6\))
- 小さい数 も参照して下さい。
巨大数とは言えないが、3 はトリトリ、グラハム数など様々な巨大数の素になる数である。
クラス1 (\(7 - 10^{6}\))
- 小さい数 も参照して下さい。
巨大数とは言えないが、 10 は無量大数、グーゴル、不可説不可説転など様々な巨大数の素になる数である。
クラス2 (\(10^{6} - 10^{10^{6}}\))
名前 | 値 |
---|---|
ダイアログ | \(10^{10}\) |
垓 | \(10^{20}\) |
最小の6倍完全数 | \(154345556085770649600\) |
デュトリメヴァルカ | \(2222222222222222222222\) |
アボガドロ数 | \(N=602214076000000000000000\) |
𥝱 (秭・杼) | \(10^{24}\) |
既知で最大の十進法表記で0を含まない2の累乗数 | \(2^{86}=77371252455336267181195264\) |
穣 | \(10^{28}\) |
ベルフェゴール素数 | \(1000000000000066600000000000001\) |
溝 | \(10^{32}\) |
澗 | \(10^{36}\) |
単精度浮動小数点数の最大値 | \(\approx3.4028\times10^{38}\) |
既知で最大の二重メルセンヌ素数 | \(2^{2^{7}-1}-1\approx1.70\times10^{39}\) |
正 | \(10^{40}\) |
大数仮説 | \(\approx10^{40}\) |
載 (下数) | \(10^{44}\) |
極 | \(10^{48}\) |
恒河沙 | \(10^{52}\) |
阿僧祇 | \(10^{56}\) |
最小の7倍完全数 | \(\approx1.413\times10^{56}\) |
那由他 | \(10^{60}\) |
ビジンティリオン (ショートスケール) | \(10^{63}\) |
不可思議 | \(10^{64}\) |
無量大数 | \(10^{68}\) |
ドゥオビジンティリオン (ショートスケール) | \(10^{69}\) |
ガジリオン (ショートスケール) | \(10^{74}\) |
エディントン数 | \(136\times2^{256}\approx1.58\times10^{79}\) |
セクスビジンティリオン (ショートスケール) | \(10^{81}\) |
11以下の数で割り切れない最小の過剰数 | \(7.97\times10^{87}\) |
ノベンビジンティリオン (ショートスケール) | \(10^{90}\) |
トリジンティリオン (ショートスケール) | \(10^{93}\) |
ファイゴル | \(\lfloor10^{99}\phi\rfloor\approx1.62\times10^{99}\) |
イーゴル | \(\lfloor10^{99}e\rfloor\approx2.72\times10^{99}\) |
パイゴル | \(\lfloor10^{99}\pi\rfloor\approx3.14\times10^{99}\) |
グーゴル | \(10^{100}\) |
グーゴルティーン | \(10^{100}+10\) |
グープロル | \(10^{100}+267\) |
ブープロル | \(10^{100}+949\) |
トループロル | \(10^{100}+1243\) |
クアドループロル | \(10^{100}+1293\) |
グーゴルティー | \(10^{101}\) |
矜羯羅 | \(10^{112}\) |
シャノン数 | \(10^{120}\) |
既知で最小の8倍完全数 | \(\approx8.268\times10^{132}\) |
ドバジャグラニサマニ | \(10^{145}\) |
ガーグーゴル | \(10^{200}\) |
バイグーゴル | \(10^{201}+10^{100}\) |
阿伽羅 | \(10^{224}\) |
既知で最小の9倍完全数 | \(5.613\approx\times10^{286}\) |
トリグーゴル | \(10^{302}+10^{201}+10^{100}\) |
センティリオン | \(10^{303}\) |
倍精度浮動小数点数の最大値 | \(\approx1.7977\times10^{308}\) |
\(\pi(n)>\textrm{li}(n)\)が真となる最小の\(n\)の推定される上界[1] | \(e^{727.9513386}\approx1.397162\times10^{316}\) |
ファクスル | \(200!\approx7.89\times10^{374}\) |
クアドリグーゴル | \(10^{403}+10^{302}+10^{201}+10^{100}\) |
既知で最小の10倍完全数 | \(\approx4.486\times10^{638}\) |
最小のタイタニック素数 | \(10^{999}+7\) |
大グーゴル | \(10^{1000}\) |
メヴィリオン | \(10^{1002}\) |
既知で最大のレピュニット素数 | \(\underbrace{111\cdots111}_{1031}\) |
奇数の完全数の下界 | \(10^{1500}\) |
第一軍団数 | \(666^{666}\approx2.72\times10^{1880}\) |
既知で最小の11倍完全数 (かつ既知で最大のkのk倍完全数) | \(\approx2.519\times10^{1906}\) |
ミリリオン | \(10^{3003}\) |
載 (上数) | \(10^{4096}\) |
四倍精度浮動小数点数の最大値 | \(\approx1.1897\times10^{4932}\) |
最小の巨大素数 | \(10^{9999}+33603\) |
グッウーゴル | \(\frac{10^{100}(10^{10100}-1)}{10^{101}-1}\approx10^{10099}\) |
バイグッウーゴル | \(\frac{10^{100}(10^{20200}-1)}{10^{101}-1}\approx10^{20199}\) |
ヒッチハイク数 (原作) の逆数 | \(2^{276709}\approx5.12\times10^{83297}\) |
アルキメデスの牛の問題の最小解 | \(\approx7.76\times10^{206544}\) |
無限の猿定理で『ハムレット』を出力する為の平均入力数の近似値 | \(64^{199479}\approx4.4\times10^{360783}\) |
グーゴルゴング | \(\text{E}100000=10^{100000}\) |
既知で最大の確率的素数であるレピュニット | \(\underbrace{111\cdots111}_{270343}\) |
グーゴルプラックス | \(\text{E}1000000=10^{1000000}\) |
クラス3 (\(10^{10^{6}} - 10^{10^{10^{6}}}\))
名前 | 値 |
---|---|
バベルの図書館の本の数 | \(25^{1312000}\approx1.96\times10^{1834097}\) |
ミリミリリオン | \(10^{3000003}\) |
既知で最大のメルセンヌ素数以外の素数 | \(10223\times2^{31172165}+1\approx10^{9383761}\) |
知られている最大の素数 | \(2^{82589933}-1\approx1.49\times10^{24862048}\) |
知られている最大の完全数 | \(2^{82589932}(2^{82589933}-1)\approx1.11\times10^{49724095}\) |
ヒッチハイク数 (映画) の逆数 | \(2^{2079460347}\approx1.74\times10^{625979940}\) |
トリアログ | \(\text{E1#3}=10\uparrow\uparrow3=10^{10^{10}}\) |
バリウム数 | \((794843294078147843293.7+\frac{1}{30})\times e^{\pi^{e^{\pi}}}\approx10^{10^{11}}\) |
第億期の数 | \(((10^{8})^{10^{8}})^{10^{8}}=10^{8\times10^{16}}\) |
デュクオメヴァルカ | \(2[2,4]=2.2\times10^{10^{22}}\) |
不可説不可説転 (旧訳) | \(10^{7\times2^{122}}\approx10^{3.72\times10^{37}}\) |
グーゴルプレックス | \(\text{E100#2}=10^{10^{100}}\) |
大グーゴルプレックス | \(10^{(10^{100}+1)}\) |
ガーグーゴルプレックス | \(10^{2\times10^{100}}\) |
グーゴルバン | \((10^{100})!\approx10^{9.96\times10^{101}}\) |
メヴォゴル | \(10^{100}[10^{100}]\approx10^{10^{102}}\) |
トリテット・ジュニア | \(4\uparrow\uparrow4\approx10^{8.07\times10^{153}}\) |
グーグーゴル | \(\frac{10^{100}(10^{(10^{200}+10^{198})}-1)}{10^{101}-1}\approx10^{10^{200}}\) |
エセトンプレックス | \(\text{E303#2}=10^{10^{303}}\) |
キロファクスル | \((200!)!\approx10^{10^{377}}\) |
リヴァイアサン数 | \(10^{666}!\approx10^{6.66\times10^{668}}\) |
第二軍団数 | \(666!^{666!}\approx10^{1.61\times10^{1596}}\) |
グーゴルプレクシゴング | \(\text{E100000#2}=10^{10^{100000}}\) |
クラス4 (\(10^{10^{10^{6}}}\) - \(10^{10^{10^{10^{6}}}}\))
名前 | 値 |
---|---|
テトラログ | \(\text{E1#4}=10^{10^{10^{10}}}\) |
テリリオン | \(10^{3\times10^{3\times10^{12}}+3}\approx10^{10^{10^{12})}}\) |
デュクインメヴァルカ | \(2[2,5]=10^{10^{10^{22}}}\) |
第1スキューズ数 | \(e^{e^{e^{79}}}\approx10^{10^{10^{34}}}\) |
ドキリオン | \(10^{3\times10^{3\times10^{36}}+3}\approx10^{10^{10^{36}}}\) |
グーゴルプレックスプレックス | \(10^{10^{10^{100}}}\) |
フズグーゴルプレックス | \(\text{Googolplex}^{\text{Googolplex}}=10^{10^{10^{100}+100}}\) |
エセトンデュプレックス | \(\text{E303#3}=10^{10^{10^{303}}}\) |
メガファクスル | \(((200!)!)!\approx10^{10^{10^{377}}}\) |
第2スキューズ数 | \(e^{e^{e^{e^{7.705}}}}\approx10^{10^{10^{963}}}\) |
超リヴァイアサン数 | \(\approx10^{10^{10^{2001}}}\) |
グーゴルデュプレクシゴング | \(\text{E100000#3}=10^{10^{10^{100000}}}\) |
ホタリリオン | \(10^{3\times10^{3\times10^{5}}+3}\approx10^{10^{10^{300000}}}\) |
クラス5 (\(10^{10^{10^{10^{6}}}}\) - \(10^{10^{10^{10^{10^{6}}}}}\))
名前 | 値 |
---|---|
ペンタログ | \(\text{E1#5}=10^{10^{10^{10^{10}}}}\) |
宇宙論で使われた最大の数 | \(10^{10^{1.51\times10^{3883775501690}}}\approx10^{10^{10^{10^{10^{1.1}}}}}\) |
デュヘキシメヴァルカ | \(2[2,6]=10^{10^{10^{10^{22}}}}\) |
ベティリオン | \(10^{3\times10^{3\times10^{27}}}\approx10^{10^{10^{10^{27}}}}\) |
グーゴルプレックスプレックスプレックス | \(10^{10^{10^{10^{100}}}}\) |
フズガーグーゴルプレックス | \(\text{Googolplexplex}^{\text{Googolplexplex}}=10^{10^{10^{10^{100}}+10^{100}}}\) |
フガグーゴルプレックス | \(\text{Googolplexplex}\downarrow\downarrow\text{Googolplexplex}\approx10^{10^{10^{10^{102}}}}\) |
エセトントリプレックス | \(\text{E303#4}=10^{10^{10^{10^{303}}}}\) |
ギガファクスル | \((((200!)!)!)!\approx10^{10^{10^{10^{377}}}}\) |
第五階乗数 | \(5^{*}=((1+2)\times3)^{4}\uparrow\uparrow5=6561^{6561^{6561^{6561^{6561}}}}\) |
グーゴルトリプレクシゴング | \(\text{E100000#4}=10^{10^{10^{10^{100000}}}}\) |
クラス6 ( \(10^{10^{10^{10^{10^{6}}}}}\) - \(10^{10^{10^{10^{10^{10^{6}}}}}}\) )
名前 | 値 |
---|---|
ヘキサログ | \(\text{E1#6}=10^{10^{10^{10^{10^{10}}}}}\) |
デュセプティメヴァルカ | \(2[2,7]=10^{10^{10^{10^{10^{22}}}}}\) |
グーゴルクアドリプレックス | \(10^{10^{10^{10^{10^{100}}}}}\) |
フズガーガンツグーゴルプレックス | \(\text{Googolplexplexplex}^{\text{Googolplexplexplex}}=10^{10^{10^{(10^{10^{100}}+10^{10^{100}})}}}\) |
エセトンクアドリプレックス | \(\text{E303#5}=10^{10^{10^{10^{10^{303}}}}}\) |
テラファクスル | \(((((200!)!)!)!)!\approx10^{10^{10^{10^{10^{377}}}}}\) |
グーゴルクアドリプレクシゴング | \(\text{E100000#5}=10^{10^{10^{10^{10^{100000}}}}}\) |
テトレーションレベル
名前 | 値 |
---|---|
ヘプタログ | \(\text{E1#7}=10\uparrow\uparrow7\) |
グーゴルクインプレックス | \(\text{E100#6}=(10\uparrow)^{6}100\) |
オクタログ | \(\text{E1#8}=10\uparrow\uparrow8\) |
グーゴルセクスティプレックス | \(\text{E100#7}=(10\uparrow)^{7}100\) |
エンナログ | \(\text{E1#9}=10\uparrow\uparrow9\) |
ベントレー数 | \(\sum^{9}_{i = 0}10\uparrow\uparrow i\approx10\uparrow\uparrow9\) |
グーゴルセプティプレックス | \(\text{E100#8}=(10\uparrow)^{8}100\) |
グーゴルオクティプレックス | \(\text{E100#9}=(10\uparrow)^{9}100\) |
グーゴルノニプレックス | \(\text{E100#10}=(10\uparrow)^{10}100\) |
グーゴルデシプレックス | \(\text{E100#11}=(10\uparrow)^{11}100\) |
ギゴル(giggol) | \(10\uparrow\uparrow100\) |
クーゴル | ハイパー数学で\(10^{100}\approx\text{E19.3#99}=(10\uparrow)^{99}19.3\) |
グーゴルセンチプレックス | \(\text{E100#101}=(10\uparrow)^{101}100\) |
メガ | \(②=2[5]\approx10\uparrow\uparrow257\) |
トリトリ | \(3\uparrow\uparrow\uparrow3=3\uparrow\uparrow7625597484987\) |
矢印表記レベル
名前 | 値 |
---|---|
クーゴルプレックス | ハイパー数学で\(10^{10^{100}}\approx10\uparrow\uparrow((10\uparrow)^{99}19.3)\) |
第六階乗数 | \(6^{*}=(((1+2)\times3)^{4}\uparrow\uparrow5)\uparrow\uparrow\uparrow6=(6561\uparrow\uparrow5)\uparrow\uparrow\uparrow6\) |
⑨ | \(⑨=9[5]\approx9\uparrow\uparrow\uparrow10\) |
メジストロン | \(⑩=10[5]\approx10\uparrow\uparrow\uparrow11\) |
ギャゴル | \(\{10,100,3\}=10\uparrow\uparrow\uparrow100\) |
フォークマン数 | \(2\uparrow\uparrow\uparrow2^{901}\) |
トリテット | \(\{4,4,4\}=4\uparrow^{4}4\) |
ルーミア数 | \(\approx10\uparrow\uparrow\uparrow\uparrow10^{39}\) |
トリペント | \(\{5,5,5\}=5\uparrow^{5}5\) |
トリデカル | \(\{10,10,10\}=10\uparrow^{10}10\) |
ブーゴル | \(\{10,10,100\}=10\uparrow^{100}10=10\rightarrow10\rightarrow100\) |
チェーン表記レベル
名前 | 値 |
---|---|
モーザー数 | \(2[②]=2[2[5]]\approx3\uparrow^{10\uparrow\uparrow257}3\) |
小グラハム数 | \(F^{7}(12)\ (\text{if}\ F(n)=2\uparrow^{n}3)\approx2\rightarrow3\rightarrow8\rightarrow2\) |
グラハム数 | \(G^{64}(4)\ (\text{if}\ G(n)=3\uparrow^{n}3)\approx3\rightarrow3\rightarrow64\rightarrow2\) |
コーポラル | \(\{10,100,1,2\}\approx10\rightarrow10\rightarrow100\rightarrow2\) |
コンウェイのテトラトリ | \(3\rightarrow3\rightarrow3\rightarrow3\) |
超超第百階乗数 | \(100^{*}_{(100,100:100)}\approx100\rightarrow100\rightarrow100\rightarrow100\) |
テトラトリ | \(\{3,3,3,3\}\approx3\rightarrow3\rightarrow3\rightarrow3\rightarrow4\approx A(1,0,0,3)\) |
スーパーテット | \(\{4,4,4,4\}\approx A(1,0,0,4)\) |
白アスター数 | \(\textrm{Ast}[5,\langle 64 \rangle]\) |
多変数アッカーマンレベル
名前 | 値 | 近似値 |
---|---|---|
ふぃっしゅ数バージョン1 | \(SS^{63}[3,x+1,S]\)の第一成分 | \(A(1,0,1,63)≈f_{\omega^2+1}(63)\) |
ペンタトリ | \(\{3,3,3,3,3\}\) | \(A(1,0,0,0,3)\) |
ふぃっしゅ数バージョン2 | \(SS_{2}^{63}[3,x+1,S]\)の第一成分 | \(A(1,0,0,0,63)≈f_{\omega^3+1}(63)\) |
七星剣数 | \(c([7\ (77)],[7\ (7),7,7])\) | \(A(1,0,0,1,77)\) |
ヘキサトリ | \(\{3,3,3,3,3,3\}\) | \(A(1,0,0,0,0,3)\) |
クワドリーゴル | \(\{10,10,10,10,100,4\}\) | \(A(4,0,0,0,100)\) |
夏おこじょ数 | \(\frac{1}{Oe}\) | \(A(\underbrace{1,1,\cdots,1}_{53})≈f_{\omega^{\omega}}(53)\) |
カントール標準形レベル
名前 | 値 | 近似値 |
---|---|---|
ふぃっしゅ数バージョン3 | \([ss(2)^{63}(x+1)]^{63}(3)\) | \(f_{\omega^{\omega+1}\times63+1}(63)\) |
ザッポル | \(\{10,10\ (2)\ 2\}\) | \(f_{\omega^{\omega^{2}}}(10)\) |
ペトソル | \(\{10,10\ (5)\ 2\}\) | \(f_{\omega^{\omega^{5}}}(10)\) |
ゴンギュラス | \(\{10,10\ (100)\ 2\}\) | \(f_{\omega^{\omega^{100}}}(10)\) |
第二多重境界数 | \(\left.\begin{matrix}\overbrace{\{8,8,\{8\}\ 8\}}^{\overbrace{\hspace{1em}\vdots\hspace{1em}}^{\overbrace{\hspace{-1em}\{8,8,\{{\cdots}\}\ 8\}}^{\hspace{-1em}\{8,8,\{{\cdots}\}\ 8\}}}}\end{matrix}\right\}8\) | \(f_{\omega^{\omega^\omega}+2}(8)\) |
デュラトリ | \(\{3,3\ (0,2)\ 2\}\) | \(f_{\omega^{\omega^{\omega 2}}}(3)\) |
正体不明の飛行円盤と源三位頼政の弓数 | \(f_{(②\uparrow(②\uparrow(②\rightarrow②\rightarrow②)))}\hspace{1em}(②)\) | \(f_{\omega^{\omega^\omega}+3}(f_{3}(257))\) |
ヘクセルガサー | \(\text{E100#^#^######100}\) | \(f_{\omega^{\omega^{\omega^6}}}(100)\) |
グラルタートル | \(\text{E100#^#^#^#^##100}\) | \(f_{\omega^{\omega^{\omega^{\omega^{\omega^2}}}}}(100)\) |
ネスト角括弧数 | \(10T[[[...[0]...]]]100\) | \(f_{\varepsilon_0}(100)\) |
計算可能レベル
名前 | 値 | 近似値 |
---|---|---|
のびーるワーム数 | リザレクション数列において\(N(n) := (0,3)_0(0,3)_1\cdots(0,3)_n\)とした時の\(N^{10}(3)\) | \(f_{\varepsilon_0}^{10}(2)\) |
リザレクション数列数 | リザレクション数列において\(M(n) := (n,7)_0(n,7)_1\cdots(n,7)_n\)とした時の\(M^{10}(3)\) | \(f_{\varepsilon_0}^{10}(3)\) |
原始数列数 | 原始数列システムにおいて\(\textrm{P}(n) := \textrm{expand}((0)(1)\ldots(n)[n])\)とした時の\(\textrm{P}^{10}(9)\) | \(f_{\varepsilon_0+1}(10)\) |
ふぃっしゅ数バージョン5 | \(F_5(n) := m(n)m(n-1)\cdots m(1)n\)とした時の\(F^{63}_{5}(3)\) | \(f_{\varepsilon_0+1}(63)\) |
フラン数第四形態改三 | \(\text{o-o[<5>o]5}\) | \(f_{\varepsilon_4^{\varepsilon_4^{\varepsilon_4}}}(5)\) |
巨大壮絶テスラソス | \(\text{E100#^^#>#100#2}\) | \(f_{\varepsilon_\omega}(f_{\varepsilon_\omega}(100))\) |
ふぃっしゅ数バージョン6 | \(F_6(n) := m(n,2)m(n,1)n\)とした時の\(F^{63}_{5}(3)\) | \(f_{\varphi(2,0) + 1}(63)\) |
E2:B-01-Hs | 2階数列システムにおいて\(B(n):=(n)[n]\)とした時の\(B^{108}(108)\) | \(f_{\varphi(\omega,0) + 1}(10)\) |
亜原始数列数 | 亜原始数列において\(f(n):=S(0,\omega)[n]\)とした時の\(f^{2000}(1)\) | \(f_{\varphi(\omega,0) + 1}(2000)\) |
超限急増加関数表記 | 超限急増加関数表記において\(F(n) = \text{Eval}(f_{\Lambda(n)}(S(n)))\)とした時の\(F^{10}(10)\) | \(f_{\Gamma_0+1}(10)\) |
バシクトリ | \((0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1)[3]\) | \(f_{\Gamma_{\omega+1}}(9)\) |
以下で用いられている\(\psi\)は拡張ブーフホルツのψ関数である。
名前 | 値 | 近似値 |
---|---|---|
ペア数列数 | ペア数列システムにおいて\(\textrm{Pair}(n) := \textrm{expand}((0,0)(1,1)\ldots(n,n)[n])\)とした時の\(\textrm{Pair}^{10}(9)\) | \(f_{\psi_0(\Omega_\omega)+1}(10)\) |
段階配列数 | 段階配列表記において\(g(n):=0(n)[n])\)とした時の\(g^{100}(100)\) | \(f_{\psi_0(\Omega_\omega)+1}(100)\) |
ハイパー原始数列数 | ハイパー原始数列において\(f(n) := (0,\omega)[n]\)とした時の\(f^{2000}(1)\) | \(f_{\psi_0(\Omega_\omega)+1}(2000)\) |
ユウレイ数 | \(g^{69}(24)\) | \(f_{\psi_0(\Omega_{\omega+1})}^{69}(24)\) |
ヒドヒド | \(H^3(3)\) | \(f_{\psi_0(\Omega_\Omega)+1}(3)\) |
以下はFGHによる近似値が知られていないほど大きいと考えられているため、代わりにどのような再帰的理論を対角化しているか、またはどのような再帰的理論の下で停止性の証明可能な計算可能関数の値であるかを記す。
名前 | 理論 |
---|---|
ローダー数 | CoCを対角化 |
最小の超越整数 | ZFCを対角化(ZFC+Con(ZFC)で証明可能) |
有限約束ゲームで\(\mathrm{FPLCI}^{10}(100)\) | SMAH+で証明可能 |
欲張りクリーク列で\(\mathrm{USGCS}^{10}(100)\) | SRP+で証明可能 |
欲張りクリーク列で\(\mathrm{USGDCS}_2^{10}(100)\) | HUGE+で証明可能 |
レイバーのテーブル | ZFC+I3で証明可能 |
以下はどのような再帰的理論の下で停止性が証明可能な計算可能関数の値であるかさえ知られていないものや、FGHによる近似が不明なほど大きいと期待される数を記す。
名前 | 値 | 状態 |
---|---|---|
BIGG | 超階乗配列表記における\(200?\) | 停止性不明 |
バシク行列数 | BM4において\(\textrm{Bm}(n) := \textrm{expand}(\underbrace{(0,\ldots,0)}_{n+1}\underbrace{(1,\ldots,1)}_{n+1}[n])\)とした時の\(\textrm{Bm}^{10}(9)\) | 停止性不明 |
E3:B-02-Hs | 大偽行列システムにおいて\(B_2(x):=\underbrace{(0,\ldots,0)}_x\underbrace{(1,\ldots,1)}_x[x]\)とした時の\(B_2^{108}(108)\) | 停止性不明 |
第四宇宙破壊数 | N原始1.1½における\(F^1[(0,1,2,4,8,16)](4)\) | 停止性不明 |
6 | \((1,a,6) \in \textrm{dom}(F)\)かつ\(\textrm{Lng}(a) \leq 6\)かつ\(a\)の成分の総和が\(6 \times 6\)以下となる数列\(a\)を用いてN3.0で\(F^1[a](6)\)と表されるかまたは\(6\)であるような自然数全体の集合の中で最大のもの | ZFCで定義されており、第四宇宙破壊数が停止するならばそれ以上の値となるが、計算可能性が不明 |
Y数列数 | \(f(n) := Y(1,\omega)[n]\)とした時の\(f^{2000}(1)\) | 停止性不明 |
計算不可能レベル
- ビジービーバー関数で \(\Sigma(1000)\)
- 稀神サグメ数
- クサイ関数で \(\Xi(10^6)\)
- ふぃっしゅ数バージョン4
- 最小の証明を書けなくても戦え数
- ラヨ数 (数学的解釈では定義に問題が見付かっている)
- ふぃっしゅ数バージョン7 (数学的解釈では定義に問題が見付かっている)
- ビッグフット (定義に問題が見付かっている)
- リトルビッゲドン (定義に問題が見付かっている)
- サスクワッチ (定義に問題が見付かっている)
- 巨大数庭園数
関連項目
参考文献
- ↑ C. Bays and R. H. Hudson, A new bound for the smallest x with π(x) > li(x), Mathematics of Computation, Volume 69, Number 231 (2000), pp. 1285–-1296.