多数の数学・論理学関連書籍を執筆されている野崎先生がゲーデルの不完全性定理を基礎的な事柄から順に解説されています。後書きで書かれておりますが、先生ほどの学識を持ってしても理解できていない(間違って解釈していた)部分があるということで数学の専門家でない限り読んで全部理解しようなどと思わない方がよいでしょう。解説は数学に関心のある方向けに丁寧で解り易くなされていると思います。

ゲーデルが２５歳で出版した「不完全性定理」（１９３１）は、当時の数学界の巨匠ヒルベルトが提唱した「形式主義によって超数学を展開しようという計画」に対して、原理的な限界を示す衝撃的な証明だった。それは数学のみならず哲学・思想界にも、「人間の知性のある限界が示された」と大きな波紋をもたらした。ゲーデルはいったい何を明らかにし、どのような新しい道を示したのか。この記念碑的業績にいたる数学の歴史的な歩みをたどりながら、難解といわれるその結果の意味をていねいに解りやすく解説する。『ゲーデル、エッシャー、バッハ』の訳者ならではの、ユーモアをまじえたゲーデルへの超入門書。