[過去ﾛｸﾞ]
巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
巨大数探索スレッド12 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1484923121/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
459: １３２人目の素数さん [sage] 2017/07/06(木) 00:03:48.67 ID:VqI6Xr1R >>456 自然数論単体は矛盾するか矛盾しないかのどちらかであり、1階述語論理の完全性と健全性 により矛盾すればモデルは存在せず、無矛盾であれば存在する 無矛盾であれば、たとえばPA+TとPA+SでBB(x)が取る値が異なることが考えられるのではないか、 ということになるが、どちらの理論も自然数論を含む以上自然数型を部分集合としてもっており、 自然数型をもっていれば異なるモデルに属していても大きさを比べることができ、それなら同じ文字数制限で 出力される最大の数でどちらが大きいかを比べることができ、BB(x)の値が一意に定まる。 自然数型のすべてを持っている必要もない でいいだろうか http://rio2016.5ch.net/test/read.cgi/math/1484923121/459
460: １３２人目の素数さん [sage] 2017/07/06(木) 00:12:35.95 ID:VqI6Xr1R BB(x)はモデルによる制限がない、というのを付け加えるのを忘れていた http://rio2016.5ch.net/test/read.cgi/math/1484923121/460
461: １３２人目の素数さん [sage] 2017/07/06(木) 00:15:50.11 ID:VqI6Xr1R 超準的自然数を出力する(とあるモデルで解釈される)プログラムは有限の値を出力しない =停止しないものと見なされると言うことで http://rio2016.5ch.net/test/read.cgi/math/1484923121/461
462: １３２人目の素数さん [sage] 2017/07/06(木) 00:21:19.45 ID:VqI6Xr1R “加算無限濃度より大きく連続体濃度より小さい濃度の個数”というだけでは 答えが自明にならないため、自明になるまでいろいろ理論を付け加えなければ ある数を命名したことにはならない、というのがラヨ関数のルールのひとつ http://rio2016.5ch.net/test/read.cgi/math/1484923121/462
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.037s