内容説明
ゲーデルが25歳で出版した「不完全性定理」（1931）は、当時の数学界の巨匠ヒルベルトが提唱した「形式主義によって超数学を展開しようという計画」に対して、原理的な限界を示す衝撃的な証明だった。それは数学のみならず哲学・思想界にも、「人間の知性のある限界が示された」と大きな波紋をもたらした。ゲーデルはいったい何を明らかにし、どのような新しい道を示したのか。この記念碑的業績にいたる数学の歴史的な歩みをたどりながら、難解といわれるその結果の意味をていねいに解りやすく解説する。『ゲーデル、エッシャー、バッハ』の訳者ならではの、ユーモアをまじえたゲーデルへの超入門書。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
nbhd
19
むろん、ロード・トゥ・不完全性定理の道半ばで途中棄権することになったのだが、むしろ、その”ロード・トゥ”の部分で収穫があった。とくに、現代数学の父と呼ばれるヒルベルトの「公理系」について。それは、「べつに絶対の真理じゃなくてもいいから”ある公理”から出発して、推論を重ねて”ある結果”が出たとして、それが完全で矛盾してなければ良くね？」という考え方。たとえば、１＋２＝３という式は「＋＝は”加える”」というルールに従っているから３になるので、「＋＝は左右どちらか大きい方」というルールであれば１＋２＝２となる。2016/02/14
テイネハイランド
13
年末にあわてて受けた健康診断の間に読んだ本。先日読んだ「入門！論理学」と被っている内容もあったので、途中まではすんなりと読めましたが、集合論のパラドックス(P.116)あたりから難しくなり、最後の章(「ゲーデルの不完全性定理」)になって、 G(1117)⇔-Provable(sub(1117,17,g(1117))という数式が出てきてそのあたりでは全くついていけなかったです。なぜ対角線論法とゲーデル数を用いればゲーデルの定理が証明されるのか、改めて他の本も参考にして再読が必要かもしれません。2016/12/11
K.D.N
4
全６章で構成されている本である。５章までは数学の歴史と形式化や公理、定理といった枠組みの基礎的な説明であり、メインのゲーテルによる不完全性定理についての説明は第６章で綴られる。５章まではついていけたが、肝心の６章がきちんと理解出来なかった。しかし、ヒルベルトとゲーテルの数学界に与えたインパクトの強さは伝わった。不完全性定理を感覚的にも論理的にも理解できるようになるまで何度も読み直そうと思う。しかし、天才は凄まじい！！2011/10/03
hyoshiok
3
図書館本。ゲーデルの「不完全性定理」の解説。様々な解説本そして証明を読んだけど、どれも全くもってよくわからなかった。本書は6章で不完全性定理の証明の概要を解説している。著者の野崎さんは「ゲーデル、エッシャー、バッハ」の訳者の一人。ω無矛盾、対角線論法などが出てくる。今回の説明でもよくわからなかったけど、なんとなく、そんなものかという感じはつかめた（幻想かもしれない）。ただし、それを誰かに説明できるかというと、説明できそうにないので、やっぱりちゃんとは理解できていない。他の解説本を読んでみる。2018/05/13
タウ
3
結局「不完全性定理」が何なのかはよくわからない！「正しくても証明不可能なこともある」という感じだろうか。なるほどと思ったのは、昔のギリシャ人は「無限に続く直線」を認められなかったという話。それを認めることは「無限に広い空間」を認めることになるが、世界の端に滝があるような「有限の世界」に生きていた彼らにそれは難しかったのだ。世界に限りはないのかもしれないと気づいたときの感覚は、どれほど爽快なものだっただろう。そんなことを考えた。2015/08/05
