17/11/15 04:54:27.25 +vKpWV6S.net
>>981
誰も止めないから死ね
せめて死ぬ前に大量殺人して日本史に名を残せよw
1006:967
17/11/15 05:05:42.62 Rs4MO3Z3.net
質問ばかりで申し訳ないのですが砂田版の答えを一般の場合に拡張するとどうなりますか?
1007:132人目の素数さん
17/11/15 08:43:06.36 KRJCfOte.net
>>983
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
1008:132人目の素数さん
17/11/15 09:38:46.81 LbNkD/hZ.net
>>966
信州在住の40代のニートの少林寺拳法一級のおっさん
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:132人目の素数さん
17/11/15 11:47:18.45 bRQyF7b9.net
>>315 >>609 >>707 >>725 >>797 >>889 >>984
〔ゲーデルの完全性定理〕(1929)
数セミ増刊「数学100の定理」日本評論社 p.210-212 (1983)
1020:132人目の素数さん
17/11/15 13:17:51.27 8vSvkmEq.net
読めるわけねーな
1021:132人目の素数さん
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
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 13日 16時間 26分 2秒
1025:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています