Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

• nbhd

  読了日：2016/02/14

  むろん、ロード・トゥ・不完全性定理の道半ばで途中棄権することになったのだが、むしろ、その”ロード・トゥ”の部分で収穫があった。とくに、現代数学の父と呼ばれるヒルベルトの「公理系」について。それは、「べつに絶対の真理じゃなくてもいいから”ある公理”から出発して、推論を重ねて”ある結果”が出たとして、それが完全で矛盾してなければ良くね？」という考え方。たとえば、１＋２＝３という式は「＋＝は”加える”」というルールに従っているから３になるので、「＋＝は左右どちらか大きい方」というルールであれば１＋２＝２となる。

• テイネハイランド

  読了日：2016/12/11

  年末にあわてて受けた健康診断の間に読んだ本。先日読んだ「入門！論理学」と被っている内容もあったので、途中まではすんなりと読めましたが、集合論のパラドックス(P.116)あたりから難しくなり、最後の章(「ゲーデルの不完全性定理」)になって、 G(1117)⇔-Provable(sub(1117,17,g(1117))という数式が出てきてそのあたりでは全くついていけなかったです。なぜ対角線論法とゲーデル数を用いればゲーデルの定理が証明されるのか、改めて他の本も参考にして再読が必要かもしれません。

• K.D.N

  読了日：2011/10/03

  全６章で構成されている本である。５章までは数学の歴史と形式化や公理、定理といった枠組みの基礎的な説明であり、メインのゲーテルによる不完全性定理についての説明は第６章で綴られる。５章まではついていけたが、肝心の６章がきちんと理解出来なかった。しかし、ヒルベルトとゲーテルの数学界に与えたインパクトの強さは伝わった。不完全性定理を感覚的にも論理的にも理解できるようになるまで何度も読み直そうと思う。しかし、天才は凄まじい！！

• hyoshiok

  読了日：2018/05/13

  図書館本。ゲーデルの「不完全性定理」の解説。様々な解説本そして証明を読んだけど、どれも全くもってよくわからなかった。本書は6章で不完全性定理の証明の概要を解説している。著者の野崎さんは「ゲーデル、エッシャー、バッハ」の訳者の一人。ω無矛盾、対角線論法などが出てくる。今回の説明でもよくわからなかったけど、なんとなく、そんなものかという感じはつかめた（幻想かもしれない）。ただし、それを誰かに説明できるかというと、説明できそうにないので、やっぱりちゃんとは理解できていない。他の解説本を読んでみる。

• タウ

  読了日：2015/08/05

  結局「不完全性定理」が何なのかはよくわからない！「正しくても証明不可能なこともある」という感じだろうか。なるほどと思ったのは、昔のギリシャ人は「無限に続く直線」を認められなかったという話。それを認めることは「無限に広い空間」を認めることになるが、世界の端に滝があるような「有限の世界」に生きていた彼らにそれは難しかったのだ。世界に限りはないのかもしれないと気づいたときの感覚は、どれほど爽快なものだっただろう。そんなことを考えた。

レビューをもっと見る

(外部サイト)に移動します