数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
440(1): 2024/09/25(水)19:08 ID:bVRl+o2W(1/6) AAS
高階述語論理の完全性ってどうやって証明するの？もしかして、ゲーデルの完全性定理から自明？
442(1): 2024/09/25(水)21:04 ID:bVRl+o2W(2/6) AAS
>>441
つゲーデルの完全性定理
444(1): 2024/09/25(水)22:28 ID:bVRl+o2W(3/6) AAS
>>443
は？述語論理は完全というのがゲーデルの完全性定理。
一階は良く載ってるけど二階以上の証明どうやんのって言ってんの。
一階の証明しかしらない素人クンはだまっててね。
446: 2024/09/25(水)23:10 ID:bVRl+o2W(4/6) AAS
なんと。多数決で数学の真理って決まるんですね。知らなかった。
教科書にも述語論理の完全性定理とあるけれど、多数決によっては覆されることもあるとは。
て、んなわけねーだろ。知らないから他人にチェックしてもらおうとしてるんだろ。黙れよ素人。
448: 2024/09/25(水)23:16 ID:bVRl+o2W(5/6) AAS
話のすり替え必死すぎ。
教科書ぐらい読めよ。まあ素人にはわからんだろうけど。
450(1): 2024/09/25(水)23:49 ID:bVRl+o2W(6/6) AAS
やはり素人か。知ったようなこと抜かすな黙ってろ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.032s