数理論理学

述語論理と完全性定理
Ｌｏｇｉｃａｌ　ｌａｂｙｒｉｎｔｈｓ．

丸善出版
レーモンド・Ｍ．スマリヤン　高橋昌一郎　村上祐子　

• 価格: 3,300円（本体3,000円＋税）
• 発行年月: 2014年11月
• 判型: Ａ５
• ISBN: 9784621087855

内容情報

[BOOKデータベースより]

スマリヤンの最終講義。１階述語論理の本質へ。

第１部　無限（無限の本質；数学的帰納法；一般化帰納法、ケーニッヒの補題、コンパクト性）
第２部　１階述語論理の基礎的結果（命題論理の基礎的結果；１階述語論理：完全性、コンパクト性、スコーレム‐レーヴェンハイムの定理；正規性定理）
第３部　公理系（公理的方法入門；命題論理の公理的方法（続き）；１階述語論理の公理系）
第４部　１階述語論理（続き）（クレイグの補間補題；ロビンソンの整合性定理；ベスの定義可能性定理；まとめ；この先にあるもの）

[日販商品データベースより]

数学の奇才スマリヤンの集大成とも言える「ロジカル・ラビリンス」の全訳。完全性定理、不完全性定理という、論理学の基礎を学ぶ上でも必須である述語論理について、丁寧にわかりやすく解説。