書評（数理論理学）

一般解説書など 結城浩：数学ガール／ゲーデルの不完全性定理, ソフトバンククリエイティブ (2009) (はてなダイアリーの記事に加筆修正して転載) 本書は、数学の定理の解説としてはきわめてまっとうな、ゲーデルの不完全性定理の解説本である。普通なら、まっとうであることは評価の最低基準であって、それだけで高評価になるものではない。しかし、不完全性定理に限ってはそうはいえない。ちまたにあふれる不完全性定理に関わる言説にはまっとうでないものがあまりにも多い。そのため、不完全性定理の解説本はまっとうであるだけで高い評価を得てしまう。 まっとうであるために第一に必要なことは、内容に初歩的な間違いがないことである。当たり前のことだが、その当たり前が実現できていない不完全性定理本は多い。肝心の「不完全」の定義を間違えているものすら珍しくない。その点、本書は正しく記述しているのみならず、ちまたによくある濫

[KatagiriSo]

数理論理学の書評

[w2allen]

引用：ある理論で、任意の文について、それ自身かその否定のいずれかが証明可能であるとき、その理論は完全であるという。意味論に対する完全性と同じ「完全」という言葉が使われていて紛らわしいが、同じものでは

[sei1tani]

鴨先生の書評

[myrmecoleon]

不完全性定理のわりとまともな説明。

[mind]

――林晋さんのところにも、書いてあった。