[過去ﾛｸﾞ] 巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
867(1): 2017/11/03(金)12:42 ID:Tf+Zt+og(1/5) AAS
>>855でかい数を作れば本質をなんでも知れるというものではない
869: 2017/11/03(金)14:21 ID:Tf+Zt+og(2/5) AAS
否定しているわけではなくて、それがすべてではないと言いたかっただけです
881: 2017/11/03(金)21:13 ID:Tf+Zt+og(3/5) AAS
でかさが全てという主張の中で、計算可能関数と不可能関数はそれぞれ別に考えるのか、
計算可能関数はこのスレで扱うに値しないと考えるのか、気になる。
>>842はプログラミング言語やSKIΩコンビネータでやるならともかく、直接チューリングマシンで
やるのは不可能でないにしても難しいし分かりづらい。
概要を言えば、とりあえず後者関数を0として、そこから急増加関数でもなんでもいいから
関数と順序数を対応させていくことになる。
海外勢によってω^ω辺りまではチューリングマシンによる表現がみつかっているか?
882: 2017/11/03(金)21:17 ID:Tf+Zt+og(4/5) AAS
プログラミング言語による表現を直接機械が扱う表現に翻訳すればいい話ではある
884: 2017/11/03(金)22:02 ID:Tf+Zt+og(5/5) AAS
ω_2^CK までを表現する具体例の存在を疑っての>>838だと思ったんだ。
こちらの深読みしすぎでした。すまん
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s