巨大数探索スレッド13
■ このスレッドは過去ログ倉庫に格納されています
神託機械の具体的な実装はO-machinesの原典に載っている通りにするってことじゃないの?
神託状態みたいなのを付加するやつ ログ読んでみたけどふぃっしゅ氏の文面がなんか若さを感じる。
ビジービーバーから再帰的に新しい関数を作ったところで本質的な強さに寄与
できてないという意味でロバートさんの主張は正しい 誰に聞いてるの?
答えはふぃっしゅしか知らないわけだが 1階述語論理の範囲では>>556でいいとして、2階述語論理以降ではある記述可能で非自明な定義文を評価するのに、どうしても記述不可能な(有限文字で表現できない)環境を必要とすることがあり、真理述語に頼らなければならなかったりする。
そう考えるとこいし数は高階述語論理を定義に使っていても実際には2階述語論理の域を出てないのでは?
真理述語の階層でいえばω*2の関数を2回適用したような
SOSTと同等? やたらと再帰的再帰的という人がいるけど、2次ビジービーバー関数は
ビジービーバー関数から再帰的に作られた関数ではない チューリング次数を+1出来る手段を使って
たったの ω^(ω+1) x 63 増やしただけだからなあ
ふぃっしゅの拡張は誤差だろ >2次ビジービーバー関数はビジービーバー関数から再帰的に作られた関数ではない
それはそうけどチューリング次数を再帰的に上げたところでという話で。
Ξ関数みたいにシンプルでよかったと思うわ そのチューリング次数を+1あげるという手段があることを、当時のスレッドでは
数学の専門家っぽい人もいろいろ書いている中で誰も指摘していなかったわけで、
それが指摘されていたらあんなに紛糾しなかった 当時のネットにはあった O-machines は参照されているので、そのページを読んでも、
神託機械のビジービーバー関数を考えることをビジービーバー関数の「再帰的拡張」と
同一視しているような人たちしかいなかった、というのが当時のスレッドのレベル というか、当時のスレッドは「ビジービーバー関数は神聖不可侵な関数で、
これよりも大きな関数は存在しない」という意見が支配的だった そう考えると、今って界隈全体のレベル上がってるんだね ふぃっしゅの井の中の蛙ぶりが半端無い
ってことだな
今そんなゴミ関数を取り上げる価値は無い 逆に取り上げる価値のある巨大関数って何なん?
FOSTも真理述語も昔から知られていて何の目新しさもないけど ビジービーバー、チューリングマシン、神託機械
の考え方は巨大数を語る上で必須科目と言っても良いくらいに価値がある
これらの優れた概念に対して、ゴミみたいな方法で+1したのがV4
このゴミのせいで台無しになった
アッカーマン関数をただ100乗したようなトンチンカン具合 他人の既存の成果を叩いとけば自己満足できる安い人って何処でも居るよね ビジービーバーのテープをBEAFみたいに多次元に張り巡らせて交点でも何でも良いが上手くアレしたら単にくっつけた物を超える関数になりそう チューリング次数を再帰的に上げたところ以外は評価できるということでいいのか?
以外のところも評価できないとなるとBIG FOOTもLittle Bigeddonもゴミということに 必須科目の基準はわからんが多分集合論や真理述語も必須科目 巨大数を学ぶ上での前提知識がまとまってるいい本ない?
ふいっしゅっしゅさんが著した巨大数論以外で >>604
評価も何も、
ただの神託機械によるビジービーバー
新規性が1個数も無い
半世紀も前に考えられていたものそのままだ チューリング次数とかの周辺の話題についてやさしく書かれた和書ないですか? ふぃっしゅっしゅさんは、まさにその神託機械と同じアイディアに至ったということを
喜んでいるので、それだけのことという結論で十分では
269 名前:ふぃっしゅっしゅ ◆/T2GtW187g :02/11/07 10:40
>>265
>>245が O-machines と本質的に同じアイディアだということは
無理に否定していただかなくても、ロバートさんも認めていることです。
ロバートさんに、
It is my great honor that I reached the same idea as Turing before
knowing his work. :-)
というメールを送ったら、
Yes, I agree (-:
といっていただきました。 なんかもうそう言っちゃったら全部ゴミやん
集合論も真理述語も型理論も昔から知られていてラヨ関数もLittle Bigeddonも新しいことはなにもない 巨大数を通して、いろいろな数学の分野に興味を持つ人がいるというだけで
十分に意味はある。ここは学会じゃなくてネットの落書き場所 寿司虚空編?てどうなったのかな?
その後うやむや? こんなサラダを額面1位のまま長時間放置しとくわけにはいかない、程度のモチベーションにはなっている。“前菜“っていうところかな。 BIG FOOT(真理述語の階層がω)<こいし数(真理述語の階層がω*2)<Little Bigeddon(FOST+真理述語) ■ このスレッドは過去ログ倉庫に格納されています