『不完全性定理 数学的体系のあゆみ』

野崎昭弘 著
ちくま学芸文庫
ISBN4-480-08988-8
メタ数学に関する入門的な読み物。
入門読み物としては、それなりといえばそれなり、といった本だとは思うが、ゲーデルの不完全性定理の証明の実際については、私には理解できなかった。
他の部分が仮にどんなに良かったとしても、そこが理解できなくて本書に価値があるといえるのかどうか、少なくとも私には余り価値はないので、本書は、私にとっては良い本ではなかった。
不完全性定理について知りたいだけなら他に分かりやすい良い本がある、とはいえないかもしれないというのが、侮れないところではあるので、興味があるのなら読んでみても良いかもしれないが、別に薦めることはしない。