分からない問題はここに書いてね436

[0001 １３２人目の素数さん 2017/11/01(水) 22:25:02.36 ID:lCaf2vX7]

さあ、今日も１日頑張ろう★☆

前スレ
分からない問題はここに書いてね434
https://rio2016.5ch.net/test/read.cgi/math/1507993404/

[0980 ￥ ◆2VB8wsVUoo 2017/11/15(水) 00:52:55.32 ID:WZuPK5Ir]

￥

[0981 １３２人目の素数さん 2017/11/15(水) 03:52:44.48 ID:Z7b8EnyO]

やっぱり自殺してえ。

[0982 １３２人目の素数さん 2017/11/15(水) 04:54:27.25 ID:+vKpWV6S]

>>981
誰も止めないから死ね
せめて死ぬ前に大量殺人して日本史に名を残せよw

[0983 ９６７ 2017/11/15(水) 05:05:42.62 ID:Rs4MO3Z3]

質問ばかりで申し訳ないのですが砂田版の答えを一般の場合に拡張するとどうなりますか？

[0984 １３２人目の素数さん 2017/11/15(水) 08:43:06.36 ID:KRJCfOte]

>>983
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

[0985 １３２人目の素数さん 2017/11/15(水) 09:38:46.81 ID:LbNkD/hZ]

>>966
信州在住の４０代のニートの少林寺拳法一級のおっさん

[0986 ￥ ◆2VB8wsVUoo 2017/11/15(水) 10:52:36.06 ID:WZuPK5Ir]

￥

[0987 ￥ ◆2VB8wsVUoo 2017/11/15(水) 10:52:51.27 ID:WZuPK5Ir]

￥

[0988 ￥ ◆2VB8wsVUoo 2017/11/15(水) 10:53:08.11 ID:WZuPK5Ir]

￥

[0989 ￥ ◆2VB8wsVUoo 2017/11/15(水) 10:53:24.75 ID:WZuPK5Ir]

￥

[0990 ￥ ◆2VB8wsVUoo 2017/11/15(水) 10:53:40.82 ID:WZuPK5Ir]

￥

[0991 ￥ ◆2VB8wsVUoo 2017/11/15(水) 10:53:57.06 ID:WZuPK5Ir]

￥

[0992 ￥ ◆2VB8wsVUoo 2017/11/15(水) 10:54:12.55 ID:WZuPK5Ir]

￥

[0993 ￥ ◆2VB8wsVUoo 2017/11/15(水) 10:54:29.61 ID:WZuPK5Ir]

￥

[0994 ￥ ◆2VB8wsVUoo 2017/11/15(水) 10:54:46.44 ID:WZuPK5Ir]

￥

[0995 ￥ ◆2VB8wsVUoo 2017/11/15(水) 10:55:02.78 ID:WZuPK5Ir]

￥

[0996 １３２人目の素数さん 2017/11/15(水) 11:47:18.45 ID:bRQyF7b9]

>>315 >>609 >>707 >>725 >>797 >>889 >>984

〔ゲーデルの完全性定理〕（1929)

数セミ増刊「数学100の定理」日本評論社 p.210-212 (1983)

[0997 １３２人目の素数さん 2017/11/15(水) 13:17:51.27 ID:8vSvkmEq]

読めるわけねーな

[0998 １３２人目の素数さん 2017/11/15(水) 13:43:02.56 ID:bRQyF7b9]

図書館　池

[0999 ￥ ◆2VB8wsVUoo 2017/11/15(水) 14:50:30.37 ID:WZuPK5Ir]

数学徒は馬鹿板を『しない』生活を送るべき。

￥

[1000 円 ◆2VB8wsVUoo 2017/11/15(水) 14:51:04.01 ID:WZuPK5Ir]

円