数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
171(1): 2024/04/30(火)16:43 ID:doVY1jXx(1/3) AAS
>>170
何が知りたいかによりますが
初心者には、タブロー法が書かれてる本がいいと思いますね
タブロー法が理解できれば、述語論理の完全性定理も
理解できるんじゃないでしょうか？
ちなみにゲーデルの不完全性定理は
狭義の論理学ではなく自然数論の定理です
192: 2024/05/01(水)22:26 ID:SXUVR7MR(4/4) AAS
> ID:doVY1jXx
>>171,172
と
>>170
それと
> ID:8OeQUrrJ
>>189,190
と
>>181
か
触らんとこ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.017s