数学基礎論・数理論理学 その19 (550ﾚｽ)
数学基礎論・数理論理学 その19 http://rio2016.5ch.net/test/read.cgi/math/1696599483/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
454: １３２人目の素数さん [] 2024/09/29(日) 00:08:41.12 ID:lqIWNgoG 完全性定理の完全性と不完全性定理の完全性は違うよ。 http://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-2.html なにか勘違いしているのでは。 http://rio2016.5ch.net/test/read.cgi/math/1696599483/454
458: １３２人目の素数さん [] 2024/09/29(日) 00:28:52.77 ID:lqIWNgoG トンデモさん？二階だろうが三階だろうが述語論理は完全だよ。 http://rio2016.5ch.net/test/read.cgi/math/1696599483/458
460: １３２人目の素数さん [] 2024/09/29(日) 00:35:52.88 ID:lqIWNgoG 述語論理は完全だと言いたいんじゃないの？ http://rio2016.5ch.net/test/read.cgi/math/1696599483/460
462: １３２人目の素数さん [] 2024/09/29(日) 00:59:12.50 ID:lqIWNgoG ヘンキンの方法って知りませんか？ http://rio2016.5ch.net/test/read.cgi/math/1696599483/462
464: １３２人目の素数さん [] 2024/09/29(日) 01:15:26.32 ID:lqIWNgoG やはり自演じゃないんですか？よくわからない古い本読むよりも現代的な本読んだ方がいいんじゃないですか。 どちらにせよ述語論理は完全であることに変わりないですよ。 http://rio2016.5ch.net/test/read.cgi/math/1696599483/464
466: １３２人目の素数さん [] 2024/09/29(日) 01:21:25.19 ID:lqIWNgoG 自説を否定されて逆ギレですか。やめましょうよ。現代的な教科書持ってますか？ そこに高階の述語論理には完全性はなりたたないとか書いてありますか？ちゃんと読めてますか？ http://rio2016.5ch.net/test/read.cgi/math/1696599483/466
473: １３２人目の素数さん [] 2024/09/29(日) 12:34:22.00 ID:lqIWNgoG 信じたければ勝手に信じればいいと思うよ。ただ、なんでそこまで頑なに信じるの？ 根拠はあるの？ http://rio2016.5ch.net/test/read.cgi/math/1696599483/473
481: １３２人目の素数さん [] 2024/09/29(日) 21:33:17.91 ID:lqIWNgoG だから二階述語論理は完全じゃないとかよくわからないことを頑なに主張し続けていたのか。 教科書読めばすぐわかることなのに。トンデモさんの相手はもうやめましょう。 http://rio2016.5ch.net/test/read.cgi/math/1696599483/481
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.234s*