ゲーデルに挑む

証明不可能なことの証明

東京大学出版会
田中一之　

• 価格: 2,860円（本体2,600円＋税）
• 発行年月: 2012年04月
• 判型: Ａ５
• ISBN: 9784130639002

内容情報

[BOOKデータベースより]

待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。

原論文訳・解説（体系Ｐ、ゲーデル数、再帰的関数；メタ数学の再帰的表現；第一不完全性定理；１階算術への還元；第二不完全性定理）
補遺（１階算術と論理式の階層；計算可能性理論；１階算術の形式体系；文献案内）

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

「不完全性定理」を完全に理解したい読者のために、原論文の日本語訳とともにその内容について徹底解説。ロジック初心者にも配慮し、記号の定義などの基本から、ていねいに説明をする。