ゲーデルと20世紀の論理学(4) 集合論とプラトニズム

田中一之【編】

• 販売会社／発売会社: 東京大学出版会
• 発売年月日: 2007/07/23
• JAN: 9784130640985

商品レビュー

2023/10/25

ゲーデルの業績を中心とした数理論理学の教科書で，入門書から専門書に進む際の手掛かりとしてちょうど良い。

2019/03/18

ゲーデルといえば、不完全性定理を思い浮かべる人も多いだろうが、連続体仮説についても貢献していることを知っている人は少ないのではないだろうか。

第一部は証明が多く、理解しづらい概念もあるので苦しむのは確かであるが、じっくり読めば、理解に近づくことができる。

第二部は証明が少ない。定義と定理が並んでいて、それを鑑賞していくという感じであろうか。

第三部は哲学である。好みによるだろうが、私は好意的に読むことができた。