ゲーデルと20世紀の論理学(4) の商品レビュー
ゲーデルの業績を中心とした数理論理学の教科書で,入門書から専門書に進む際の手掛かりとしてちょうど良い。
Posted by
ゲーデルといえば、不完全性定理を思い浮かべる人も多いだろうが、連続体仮説についても貢献していることを知っている人は少ないのではないだろうか。 第一部は証明が多く、理解しづらい概念もあるので苦しむのは確かであるが、じっくり読めば、理解に近づくことができる。 第二部は証明が少ない...
ゲーデルといえば、不完全性定理を思い浮かべる人も多いだろうが、連続体仮説についても貢献していることを知っている人は少ないのではないだろうか。 第一部は証明が多く、理解しづらい概念もあるので苦しむのは確かであるが、じっくり読めば、理解に近づくことができる。 第二部は証明が少ない。定義と定理が並んでいて、それを鑑賞していくという感じであろうか。 第三部は哲学である。好みによるだろうが、私は好意的に読むことができた。
Posted by
- 1