数学基礎論 4訂版-ゲーデルの不完全性定理 の商品レビュー

隈部正博(著者)

2017/05/17

完全性定理までの基本的な部分は、類書よりもていねいに順を追って説明してくれており、ちゃんと読めばとてもわかりやすい。後半、不完全性定理関連の話題になると、とたんにいろんな省略が入ってきて理解しにくくなる印象があった。
『数学基礎論』と銘打つからには不完全性定理の説明をしないわけにもいかないだろうし、とはいうものの、完全性定理と不完全性定理にはそれくらいの難しさの違いがある、ということでもあるのだろう。そこを割り切って、数理論理学、計算論の入門書として読む価値は十分にあると思う。