ゲーデルに挑む: 証明不可能なことの証明

著者 : 田中一之

• 東京大学出版会 (2012年4月28日発売)

作品紹介・あらすじ

待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。

感想・レビュー・書評

[showさんの感想 · 2014年2月20日]

学生の頃に習ったのとは証明が違っているような，同じような？
論文を小分けにして説明してくれているので，分かりやすい

[cladegifanさんの感想 · 2012年9月18日]

原論文を読んだことは無かったので。元々は、かなり限定されたというか、教科書等で読むのに比べていびつ、不完全な内容だったことが解る。この辺りは、ガロア理論、ルベーグ積分等々と同じく、創始者のというか、創造的行為の限界を感じさせる様で面白い。使われている数学自体は、初歩的というより稚拙と言えるレベルの物なんだけど、統計学と同じく、難しさの本質は別の所にあるということだろう。暇つぶしに読み飛ばしたけど、アマゾンの書評にある様に、全く予備知識というか、数学的な訓練を経験していない人が読むのは難しいのかもしれない。まあ、チャレンジしてみて下さい。

[polyhedronさんの感想 · 2012年9月9日]

　…撃沈です。
　不完全性定理に関する1931年のゲーデルの原論文を読みこなしていこうというストイックな本。これで一般向けなの？？とっても難解でちょっと歯が立たなかった。
　不完全性定理といっても，現在では原論文そのままではなく，論理学の進展を取り入れてもっと加工され洗練された形で教科書等に紹介されている。ただでさえ難解なこの定理をあえて原論文で読むというのだから相当に意欲的だ。著者も，年に十人くらいが完読してくれれば御の字としている。
　不完全性定理には第一・第二の二つがある。算術を含む無矛盾な形式的体系には必ず決定不能な算術命題が存在する，すなわち数学の完全な公理化が不可能であること（第一）と，そのような体系の無矛盾性がその体系内では証明できないこと（第二）。原論文はこれを大変技巧的な方法で証明していく。
　そのやり方は，体系内で論理式をうまく定義して，「自身が証明不可能である」という命題に対応するゲーデル文を構築するというもの。ゲーデル文が真ならば真なのに証明できない命題が存在することになるし，ゲーデル文が偽ならば偽なのに証明できる命題が存在することになるのでどちらも矛盾を来す。
　よって，もし体系が無矛盾であれば，ゲーデル文は真とも偽とも決定不可能，ということがわかる。これが第一不完全性定理の証明の骨子になるのだが…。
　そのゲーデル文をつくるための下準備が恐ろしく煩雑。時間をかけて何度も読み返したけど議論を追うことができなかった。論理式や証明を記号列，記号列の列として自然数（ゲーデル数）に変換し，くらいまではわかるのだけど，再帰的関数とか出てくるとその内容も必要性もちょっと理解を超えてしまった。
　無念。数学ガールでも読みなおそうかな…。あれにはたしか完全ではなかったけれど不完全性定理の証明がかなり詳細に解説してあったような。

[城西大学水田記念図書館さんの感想 · -]

2012年6月に実施した学生選書企画で学生の皆さんによって選ばれ購入した本です。
配架場所、貸出状況はこちら：http://libopac.josai.ac.jp/opac/opac_details.cgi?lang=0&amode=11&place=&bibid=2000058062

著者プロフィール

東北大学大学院理学研究科教授

「2019年 『山の上のロジック学園』 で使われていた紹介文から引用しています。」