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

数学基礎論・数理論理学　その19 (550ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

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

467: 2024/09/29(日)01:35 ID:Sdz7AUM/(6/9) AAS
>>466
完全性の定義がお互いに違うだけじゃねーの？
どういう定義してるのよ？
こっちは|=ならば|-の話なんだけど、そこは一致してる？

468: 2024/09/29(日)02:25 ID:DoUO9tSJ(1) AAS
>>466
高階の述語論理では完全性定理は成り立たない
コンパクト性定理が成立しないから