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

---

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

---

881: 2017/11/03(金)21:13 ID:Tf+Zt+og(3/5) AA×
>>842


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
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
でかさが全てという主張の中で計算可能関数と不可能関数はそれぞれ別に考えるのか 計算可能関数はこのスレで扱うに値しないと考えるのか気になる はプログラミング言語やコンビネータでやるならともかく直接チューリングマシンで やるのは不可能でないにしても難しいし分かりづらい 概要を言えばとりあえず後者関数をとしてそこから急増加関数でもなんでもいいから 関数と順序数を対応させていくことになる 海外勢によって辺りまではチューリングマシンによる表現がみつかっているか

---

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

---

あと 121 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.164s*