巨大数研究 Wiki
Advertisement
巨大数研究 Wiki
多重リストアッカーマン関数
基本関数 後者関数
急増加関数 \(f_{\varepsilon_0}(n)\)

多重リストアッカーマン関数 は、2007年にたろうが考案し[1]、ふぃっしゅっしゅ(2013)[2]に紹介された。

多変数アッカーマン関数から2重リストアッカーマン関数に拡張したのと同様の拡張を繰り返すことで、多重リストアッカーマン関数が定義できるとした。ただし、たろう本人による具体的な定義は与えられていない。後に巨大数研究 Wiki ユーザーOkkuuにより定義の代替案が考案された[3]

大きさは、このように評価された。

3重リスト

\begin{eqnarray*} A([[1, 0, 1], [1]], [ [n] ]) & \approx & f_{\omega^{\omega^\omega}}(n) \\ A([[1, 0, 0, 1], [1]], [ [n] ]) & \approx & f_{\omega^{\omega^{\omega^2}}}(n) \\ A([[1, 0, 0, 0, 1], [1]], [ [n] ]) & \approx & f_{\omega^{\omega^{\omega^3}}}(n) \\ \\ A([..., [3, a_3], [2, a_2], [1, a_1], [0, a_0]], [ [n] ]) & = & A([..., a_3, a_2, a_1, a_1], [n]) \\ A([[\underbrace{1,1,...,1}_n], [1]], [ [n] ]) & \approx & f_{\omega^{\omega^{\omega^\omega}}}(n) \end{eqnarray*}

4重リスト

\begin{eqnarray*} A([[[1, 0, 1], [1]], [ [1] ]], [[ [n] ]]) & \approx & f_{\omega^{\omega^{\omega^\omega}}}(n) \\ A([[[1, 0, 0, 1], [1]], [ [1] ]], [[ [n] ]]) & \approx & f_{\omega^{\omega^{\omega^{\omega^2}}}}(n) \\ A([[[1, 0, 0, 0, 1], [1]], [ [1] ]], [[[n]]]) & \approx & f_{\omega^{\omega^{\omega^{\omega^3}}}}(n) \\ \\ A([[..., [3, a_3], [2, a_2], [1, a_1], [0, a_0]]], [[ [n] ]]) & = & A([ [..., a_3, a_2, a_1, a_1] ], [ [n] ]) \\ A([[[\underbrace{1,1,...,1}_n], [1]], [ [1] ]], [[[n]]]) & \approx & f_{\omega^{\omega^{\omega^{\omega^\omega}}}}(n) \end{eqnarray*}

n重リスト

n重リストとすることで \(f_{\varepsilon_0}(n)\) に到達

出典

関連項目

日本の巨大数論

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

Advertisement