数学基礎論 4訂版-ゲーデルの不完全性定理 放送大学教材

隈部正博(著者)

• 販売会社／発売会社: 日本放送出版協会
• 発売年月日: 2008/02/01
• JAN: 9784595308604

商品レビュー

2017/05/17

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