スマリヤン数理論理学講義 上巻

不完全性定理の理解のために
Ｌｅｃｔｕｒｅｓ　ｏｎ　Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ　Ｆｏｒ　Ｕｎｄｅｒｓｔａｎｄｉｎｇ　ｔｈｅ　Ｉｎｃｏｍｐｌｅｔｅｎｅｓｓ　Ｔｈｅｏｒｅｍｓ

日本評論社
田中一之　川辺治之　レイモンド・Ｍ・スマリヤン　

• 価格: 4,400円（本体4,000円＋税）
• 発行年月: 2017年09月
• 判型: Ａ５
• ISBN: 9784535787728

内容情報

[BOOKデータベースより]

スマリヤン論理学の集大成・決定版。数学者レイモンド・Ｍ．スマリヤン（１９１９‐２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。

第１部　一般的な予備知識（数理論理学の起源；無限集合；問題発生！；数学の基礎知識）
第２部　命題論理（命題論理事始め；命題論理のタブロー；公理論的命題論理）
第３部　一階述語論理（一階述語論理事始め；重要な結果）
第４部　体系の不完全性（一般的状況での不完全性；一階算術；形式体系；ペアノ算術；進んだ話題）