ゲーデルは何を証明したか 数学から超数学へ

E.ナーゲル(著者), J.R.ニューマン(著者), 林一(訳者)

• 販売会社／発売会社: 白揚社
• 発売年月日: 1999/03/15
• JAN: 9784826900874

商品レビュー

2025/11/19

2025.12.5 読了。

図書館に無し。

有限のものであれば、それらを数え上げれば、矛盾がないか否かはすぐに判断できるが、有限でない場合には、そこに矛盾が無いかを証明することは出来ないという議論のような気がする何、キツネにつままれたような話で理解できない。

久しぶりに、全くと言って良いほどわからなかった。
お手上げ。

2023/10/04

本書の通読にこれまでの数学、とりわけ高度な数学を学んでいる必要はない。

数学ガールで初めて不完全性定理がわからなすぎて、愕然とした。また、先日は東の現代思想への言及で、何度もゲーデル的脱構築の表現が出てきてたが、いまいちしっくりこなかった。

そこで本書を手にした。結果は大正解だ。手加減せず、しかし、本質的に簡潔な記述だ。噛んで含めるように遅読すれば、得るところがある。訳も素晴らしい。

2018/10/23

この本の内容に入る前に、２つほど数学用語の定義。　まずは、公理について。公理とは、ある論理体系の最も基本となる仮定のことである。もっとも有名な公理の一つに、平行線公理「ある点を通って、ある直線に交わらない直線はただ一つ存在する」がある。これはユークリッド幾何学という論理体系の中に含まれる数個の公理の一つである。　次は、定理について。定理とは、公理から論理的に導き出された事実である。平行線公理などのユークリッド幾何学の公理から導き出された有名な定理にピタゴラスの定理（３平方の定理）がある。　さて、本題。ゲーデルは、２０世紀ベスト１０に入るほどの天才数学者である。彼は、公理と、それによって組み立てられた論理体系である公理系、そして公理系に含まれる定理について、非常に深い考察を行い、「ゲーデルの不完全性定理」に到達した。これによると「すべての公理系は、真であるにもかかわらず、真と証明できない命題を含む」ことになる。まさに、論理の破綻点の予言であり、数学を崩壊させかねない事実である。数学史に残る多くの未解決問題は、この問題に取り込まれているのでは、と多くの数学者が疑うのもうなずけるほどの大問題である。　本書は、この定理について、非常に丁寧に、注意深く踏み込んだ、解説するのであるが、非常に難解である。難解であるがゆえに、また面白い。