[過去ﾛｸﾞ] 巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)

巨大数探索スレッド12 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1484923121/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

867: １３２人目の素数さん [sage] 2017/11/03(金) 12:42:10.96 ID:Tf+Zt+og >>855でかい数を作れば本質をなんでも知れるというものではない http://rio2016.5ch.net/test/read.cgi/math/1484923121/867

869: １３２人目の素数さん [sage] 2017/11/03(金) 14:21:38.14 ID:Tf+Zt+og 否定しているわけではなくて、それがすべてではないと言いたかっただけです http://rio2016.5ch.net/test/read.cgi/math/1484923121/869

881: １３２人目の素数さん [sage] 2017/11/03(金) 21:13:41.02 ID:Tf+Zt+og でかさが全てという主張の中で、計算可能関数と不可能関数はそれぞれ別に考えるのか、 計算可能関数はこのスレで扱うに値しないと考えるのか、気になる。 >>842はプログラミング言語やSKIΩコンビネータでやるならともかく、直接チューリングマシンで やるのは不可能でないにしても難しいし分かりづらい。 概要を言えば、とりあえず後者関数を0として、そこから急増加関数でもなんでもいいから 関数と順序数を対応させていくことになる。 海外勢によってω^ω辺りまではチューリングマシンによる表現がみつかっているか? http://rio2016.5ch.net/test/read.cgi/math/1484923121/881

882: １３２人目の素数さん [sage] 2017/11/03(金) 21:17:57.28 ID:Tf+Zt+og プログラミング言語による表現を直接機械が扱う表現に翻訳すればいい話ではある http://rio2016.5ch.net/test/read.cgi/math/1484923121/882

884: １３２人目の素数さん [sage] 2017/11/03(金) 22:02:58.00 ID:Tf+Zt+og ω_2^CK までを表現する具体例の存在を疑っての>>838だと思ったんだ。 こちらの深読みしすぎでした。すまん http://rio2016.5ch.net/test/read.cgi/math/1484923121/884

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 1.544s*