トップページ
>
数学
>
2020年02月14日
>
gWifQem1
書き込み順位&時間帯一覧
48 位
/92 ID中
時間
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Total
書き込み数
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
1
使用した名前一覧
書き込んだスレッド一覧
132人目の素数さん
巨大数探索スレッド15
書き込みレス一覧
巨大数探索スレッド15
506 :
132人目の素数さん
[sage]:2020/02/14(金) 18:04:49.33 ID:gWifQem1
>>505
>今、例えばアルゴリズムAは実は停止性を満たさないとする
>するとZF+ACは偽の命題を証明してしまったことになるので体系ZF+ACは矛盾していることになる
実際には停止しないけど、形式的には超準的な時間をかけて停止する、とすれば矛盾にはならない。ω矛盾にはなるけど
A,Bの停止性に関係なくZF+ACが矛盾していたらあきらめる
※このページは、
『2ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の2ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。