現代論理学 新装版

世界思想社
安井邦夫　

• 価格: 2,640円（本体2,400円＋税）
• 発行年月: 2021年04月
• 判型: Ａ５
• ISBN: 9784790717553

内容情報

[BOOKデータベースより]

第１章　命題論理学（トートロジー；自然推論；公理系）
第２章　述語論理学（自然推論；公理系；解釈、モデル、完全性）
第３章　形式的数論（形式的数論Ｚ；Ｚの定理　その１；Ｚの定理　その２；数論的関係と関数の表現可能性）
第４章　帰納的関数（帰納的関数；帰納的関係；累積帰納法；帰納的関数と表現可能性）
第５章　不完全性定理（Ｇ¨ｏｄｅｌ数；メタ数学の算術化；不完全性定理；Ｒｏｓｓｅｒの定理、第２不完全性定理；決定問題とＣｈｕｒｃｈのテーゼ）

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

論理学は、哲学や数学基礎論だけでなく、
情報理論、計算機科学、電子工学、数理言語学でも不可欠。
現代論理学の基本的なトピックを選び、
命題論理学、述語論理学、形式的数論、帰納的関数、不完全性定理について概説する
ロングセラーの新装版。
すべての定理に証明つき。ゼロから、ゲーデルの不完全性定理まで学べる定番テキスト。
＊本書は1991年に発行した『現代論理学』の並製新装版です。