不完全性定理―数学的体系のあゆみ (ちくま学芸文庫)

　著者も書かれている通り「応用数学者が書いた超数学入門」なので、わかりやすく初心者向けに書かれています。ただ、あまり詳しく書かれていない箇所も多いので、概要を知るつもりで読むことをお勧めします。
　「できる範囲で修正を行った」とありますが、有限の立場の箇所など、誤りと思われる部分もあります。
　数学史、集合論、論理などもユーモラスに書かれているので、不完全性定理や数学史について大体どのようなものか知りたい方にはよいと思います。もっと深く勉強したい方は他の本を読んでみるとよいと思います。

不完全性定理の肝であるゲーデル数が、カントール対角線論法の応用であるということが明示されているという一点において、近年最良のゲーデル入門書だ。
ヴィトゲンシュタインのいう「見渡す」効果を最大限利用したということができる。
ゲーデル入門にはまず本書のカントール関連の記述から、と推薦しておきたい。

古代史の中で数学がはじまってから、不完全性定理が見出だされる、現代までの数学の流れがわかりやすく書かれています。
　数学の込み入った予備知識がなくとも、数学自体を議論するために超数学が生まれ、その中で不完全性定理が現れた雰囲気はよく伝わってきました。証明に関しては、ある程度簡略化されてありますが、なんとなく納得できる論理の展開がなされています。
　肝心の不完全性定理は最終章のみで扱われているので、不完全性定理だけを特に知りたいという方には物足りないかもしれません。

まず、ゲーデルの不完全性定理の入門書として、質、コストパフォーマンス（安い！）ともにベストだと思います。わかりやすい上に、概念だけでなく、自分でも証明を追えるようになっています。

ゲーデルに限らず、集合論の大切さなど、数学の概念的な面白さや、数学者の意外な生涯（カントルの悲劇というか）などについての記述も充実していて、数学のおはなしとしても楽しめます。

ゲーデルの不完全性定理、チューリングマシーンをめぐるさまざまな
解釈についても触れてあり、自分で考えるきっかけにもなります。

「ゲーデル、エッシャー、バッハ」の訳者の方がゲーデルの超入門書を書いた、と裏表紙にあったので、今度こそと思って読んでみた。
「はじめに」にあるように１から３章は数学の歴史である。ユークリッドについて本当に平易に書いてあり飛ばして読める。超数学入門の後半の３章は著者のお勧めに従いかなり読み飛ばした。「６章　ゲーデル登場」で、よし真面目に読むぞと思った。

かなり平易に書いてあると思うが、とにかく証明部分が難しかった。わかったような気にはなる。が、よくよく考えると著者の噛み砕いた日本語の説明部分にうなずいている。数学を日常にしている人にはもっと判りやすいのかもしれない。

ゲーデルの不完全性定理は、普通の言葉に訳してよく引用される。「人間の知性の限界が示された」とか「完全ではない」とか文章では簡単に書かれるが、やはり数学的に数式とか論理式で証明を導けないと判ったとはいえないのではと思っていた。その意味で読んだ後も読む前と変わらず解っていないが、途中色々数学の興味深い話があり全体として面白かった。（眠いところも多かった。）ゲーデルの不完全性定理は、「新しい理論の始まり」になったという。漠然と、数学って破綻しているんじゃとずっと心配していたので、ここを読んだだけでも良かった。