巨大数探索スレッド13
■ このスレッドは過去ログ倉庫に格納されています
逆に取り上げる価値のある巨大関数って何なん?
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も新しいことはなにもない 巨大数を通して、いろいろな数学の分野に興味を持つ人がいるというだけで
十分に意味はある。ここは学会じゃなくてネットの落書き場所 寿司虚空編？てどうなったのかな？
その後うやむや？ こんなサラダを額面１位のまま長時間放置しとくわけにはいかない、程度のモチベーションにはなっている。“前菜“っていうところかな。 BIG FOOT（真理述語の階層がω）<こいし数（真理述語の階層がω*2）<Little Bigeddon（FOST+真理述語） ■ このスレッドは過去ログ倉庫に格納されています
