内容説明
驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。
目次
第１章 ゲーデルの証明の基礎概念
第２章 数論におけるタルスキーの定理
第３章 累乗法に基づくペアノの数論における不完全性
第４章 累乗法に基づかない数論
第５章 ω無矛盾性に基づくゲーデルの証明
第６章 ロッサー体系
第７章 シェファードソンの表現定理
第８章 定義可能性と対角化
第９章 無矛盾性の証明不可能性
第１０章 証明可能性と真理性に関する一般概念
第１１章 自己言及体系
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
Keita Tokumo
0
ペアノ算術の不完全性の証明がかかれてます。とてもわかりやすい。 ゲーデルの証明を単にかりやすい言葉に置き換えたのではなく（!) 、ゲーデルの証明以後に著者や他の人が見つけた、いくつかの近道をつなげた理解しやすい証明が先に書かれています。 タルスキの定理を先に説明しているところが秀逸です。 ただし、記述の誤りが散見され、それが理解を妨げていると感じたので、気づいた部分を下記にupしました。 これから読まれる方は参照ください。 http://seesaawiki.jp/smullyan/2014/06/11
tackman
0
専門外の人が読むのにちょうどいい厚さと内容。一般向けの情報では中途半端な知識しかつかない数学の代表例なので、読んで損は無し2009/09/03
-
- 和書
- 愛の疾走 ちくま文庫
