[過去ﾛｸﾞ] 巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
758: 2017/10/17(火)14:56 ID:Mi8GMuVy(1/5) AAS
>>155あたりへの亀レスになるけど、実際100億年以上の時間をかけて、まったくランダムに粒子が
飛び交っている状態から、人類の脳のような割と高度な証明をそれなりに意図して出力できる
形式体系が出来上がっていると言えるんだな
760: 2017/10/17(火)15:20 ID:Mi8GMuVy(2/5) AAS
ビジービーバー関数がどうこう言ってたあれって、超準的数と有限の普通の自然数をごっちゃに
してるのがそもそもの間違いなんじゃ
761: 2017/10/17(火)15:51 ID:Mi8GMuVy(3/5) AAS
>提案されている急増加計算不能関数は、まずビジービーバー関数が常に普通に自然数を返してくれること
が前提となっているように思える。
前提と言うか、そういう定義だよな
766: 2017/10/17(火)20:07 ID:Mi8GMuVy(4/5) AAS
排中律を認めなかったら定理が存在しなくなるんじゃなかった?
FOSTで超準モデルの存在を否定できない線も考えてみたけど、2階算術で
自然数論の超準モデルを否定できるからラヨ関数の強さが揺らぐ問題でもなかった。
767: 2017/10/17(火)20:15 ID:Mi8GMuVy(5/5) AAS
定理が存在しなくなるは言い過ぎだった
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.770s*