巨大数探索スレッド9at MATH巨大数探索スレッド9 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト775:１３２人目の素数さん 13/03/27 17:47:06.23 >>774 はこうだった ○多項アッカーマン演算子の定義 a°0°[m+1] ＝ a+1 0°[m+1]°(b+1)°X°[k] ＝ 1°[m+1]°b°X°[k] (a+1)°0°[m]°(b+1)°X°[k] ＝ {a°0°[m]°(b+1)°X°[k]}°[m+1]°b°X°[k] n°[n] ≒ F[ω^ω](n) 776:１３２人目の素数さん 13/03/27 18:17:10.34 >>773-775 は次の表記で２重リストを表現しようとしたけど２重リストの定義の仕方で断念 a°[b]°°c°[d]°°e°[f] なのでスルーして次の方どうぞ 777:１３２人目の素数さん 13/03/27 23:25:55.73 クヌースの↑なら高等数学童貞でもとてつもなく大きいのは解る しかし他は解らん 778:１３２人目の素数さん 13/03/27 23:57:51.83 >>773 定義から見ると、あなたは >>673 かな？ 大きさは１個ずつずれてるよ。 n°n ≒ F[ω](n) n°n°n ≒ F[ω^2](n) n°n°n°n ≒ F[ω^3](n) .... 個人的にはすごく見にくい表記に見えるけど、作者的には見やすい？ 多重リストアッカーマンの定義や表記を突き詰めていくとヒドラになる。 ヒドラってすごいよね。 F[ε_0](n) 相当。 計算可能ドメインでは、結局大きな順序数をいかに簡単に表現するかっていう競争になる。 F[Small Veblen Ordinal](n) 相当の変形ヒドラも過去ログにあったね。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch