数学基礎論・数理論理学　その19

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

454(1): 2024/09/29(日)00:08 ID:lqIWNgoG(1/8) AAS
完全性定理の完全性と不完全性定理の完全性は違うよ。
外部ﾘﾝｸ[html]:taurus.ics.nara-wu.ac.jp
なにか勘違いしているのでは。

458(1): 2024/09/29(日)00:28 ID:lqIWNgoG(2/8) AAS
トンデモさん？二階だろうが三階だろうが述語論理は完全だよ。

460(1): 2024/09/29(日)00:35 ID:lqIWNgoG(3/8) AAS
述語論理は完全だと言いたいんじゃないの？

462(1): 2024/09/29(日)00:59 ID:lqIWNgoG(4/8) AAS
ヘンキンの方法って知りませんか？

464(1): 2024/09/29(日)01:15 ID:lqIWNgoG(5/8) AAS
やはり自演じゃないんですか？よくわからない古い本読むよりも現代的な本読んだ方がいいんじゃないですか。
どちらにせよ述語論理は完全であることに変わりないですよ。

466(2): 2024/09/29(日)01:21 ID:lqIWNgoG(6/8) AAS
自説を否定されて逆ギレですか。やめましょうよ。現代的な教科書持ってますか？
そこに高階の述語論理には完全性はなりたたないとか書いてありますか？ちゃんと読めてますか？

473: 2024/09/29(日)12:34 ID:lqIWNgoG(7/8) AAS
信じたければ勝手に信じればいいと思うよ。ただ、なんでそこまで頑なに信じるの？
根拠はあるの？

481(2): 2024/09/29(日)21:33 ID:lqIWNgoG(8/8) AAS
だから二階述語論理は完全じゃないとかよくわからないことを頑なに主張し続けていたのか。
教科書読めばすぐわかることなのに。トンデモさんの相手はもうやめましょう。