[過去ﾛｸﾞ] 巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
866: ￥ ◆2VB8wsVUoo 2017/11/03(金)09:49 ID:fn4ojm6A(20/30) AAS
￥
867(1): 2017/11/03(金)12:42 ID:Tf+Zt+og(1/5) AAS
>>855でかい数を作れば本質をなんでも知れるというものではない
868: 2017/11/03(金)13:16 ID:0aHN5DyI(3/3) AAS
本当に数学板の住人？
>>867は>>855の否定になってないわけだが
869: 2017/11/03(金)14:21 ID:Tf+Zt+og(2/5) AAS
否定しているわけではなくて、それがすべてではないと言いたかっただけです
870: 2017/11/03(金)16:02 ID:9u6cASUB(2/3) AAS
>>842お願いします
871: ￥ ◆2VB8wsVUoo 2017/11/03(金)17:05 ID:fn4ojm6A(21/30) AAS
￥
872: ￥ ◆2VB8wsVUoo 2017/11/03(金)17:05 ID:fn4ojm6A(22/30) AAS
￥
873: ￥ ◆2VB8wsVUoo 2017/11/03(金)17:05 ID:fn4ojm6A(23/30) AAS
￥
874: ￥ ◆2VB8wsVUoo 2017/11/03(金)17:06 ID:fn4ojm6A(24/30) AAS
￥
875: ￥ ◆2VB8wsVUoo 2017/11/03(金)17:06 ID:fn4ojm6A(25/30) AAS
￥
876: ￥ ◆2VB8wsVUoo 2017/11/03(金)17:06 ID:fn4ojm6A(26/30) AAS
￥
877: ￥ ◆2VB8wsVUoo 2017/11/03(金)17:07 ID:fn4ojm6A(27/30) AAS
￥
878: ￥ ◆2VB8wsVUoo 2017/11/03(金)17:07 ID:fn4ojm6A(28/30) AAS
￥
879: ￥ ◆2VB8wsVUoo 2017/11/03(金)17:07 ID:fn4ojm6A(29/30) AAS
￥
880: ￥ ◆2VB8wsVUoo 2017/11/03(金)17:08 ID:fn4ojm6A(30/30) 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
プログラミング言語による表現を直接機械が扱う表現に翻訳すればいい話ではある
883: 2017/11/03(金)21:29 ID:9u6cASUB(3/3) AAS
>>807
>>811
>>814
>>820
>>838
という流れがわからずに
>>841を書いちゃったってことですか？
884: 2017/11/03(金)22:02 ID:Tf+Zt+og(5/5) AAS
ω_2^CK までを表現する具体例の存在を疑っての>>838だと思ったんだ。
こちらの深読みしすぎでした。すまん
885: 2017/11/04(土)07:03 ID:kXMHfEXm(1) AAS
チューリングマシンじゃなくてもいいから
具体例をよろしく！
上下前次1-新書関写板覧索設栞歴
あと 117 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.119s*