17/11/15 04:54:27.25 +vKpWV6S.net
>>981
誰も止めないから死ね
せめて死ぬ前に大量殺人して日本史に名を残せよw
1006:９６７
17/11/15 05:05:42.62 Rs4MO3Z3.net
質問ばかりで申し訳ないのですが砂田版の答えを一般の場合に拡張するとどうなりますか？
1007:１３２人目の素数さん
17/11/15 08:43:06.36 KRJCfOte.net
>>983
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
1008:１３２人目の素数さん
17/11/15 09:38:46.81 LbNkD/hZ.net
>>966
信州在住の４０代のニートの少林寺拳法一級のおっさん
1009:￥
17/11/15 10:52:36.06 WZuPK5Ir.net
￥
1010:￥
17/11/15 10:52:51.27 WZuPK5Ir.net
￥
1011:￥
17/11/15 10:53:08.11 WZuPK5Ir.net
￥
1012:￥
17/11/15 10:53:24.75 WZuPK5Ir.net
￥
1013:￥
17/11/15 10:53:40.82 WZuPK5Ir.net
￥
1014:￥
17/11/15 10:53:57.06 WZuPK5Ir.net
￥
1015:￥
17/11/15 10:54:12.55 WZuPK5Ir.net
￥
1016:￥
17/11/15 10:54:29.61 WZuPK5Ir.net
￥
1017:￥
17/11/15 10:54:46.44 WZuPK5Ir.net
￥
1018:￥
17/11/15 10:55:02.78 WZuPK5Ir.net
￥
1019:１３２人目の素数さん
17/11/15 11:47:18.45 bRQyF7b9.net
>>315 >>609 >>707 >>725 >>797 >>889 >>984
〔ゲーデルの完全性定理〕（1929)
数セミ増刊「数学100の定理」日本評論社 p.210-212 (1983)
1020:１３２人目の素数さん
17/11/15 13:17:51.27 8vSvkmEq.net
読めるわけねーな
1021:１３２人目の素数さん
17/11/15 13:43:02.56 bRQyF7b9.net
図書館 池
1022:￥
17/11/15 14:50:30.37 WZuPK5Ir.net
数学徒は馬鹿板を『しない』生活を送るべき。
￥
1023:円
17/11/15 14:51:04.01 WZuPK5Ir.net
円
1024:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 13日 16時間 26分 2秒
1025:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています