最近よく読ませてもらってるこちらのブログからの紹介。
404 Blog Not Found
野崎昭弘さんの著作。
ゲーデルが証明した「不完全性定理」を分かりやすく解説してくれる本。
(とはいえ、自分は数学的素養をあまり持ち合わせていないため、読むのにかなり苦労した)
目次は以下の通り
1章 ギリシャの奇跡
1.1 「らしい」と「である」 1.2 根拠を問う 1.3 理想化する 1.4 体系化する
第2章 体系とその進化
2.1 定義の退化 2.2 公理系の精密化 2.3 公理系の進化 2.4 モデルの多様化 2.5 モデルの効用
第3章 集合論の光と陰
第4章 証明の形式化
第5章 超数学の誕生
第6章 ゲーデル登場
6.1 完全性定理 6.2 不完全性定理 6.3 第2、第3不完全性定理 6.4 おわりに