サラリーマンのすらすらＩＴ日記

IT関連を中心とした日々を綴ります。

2013/01/31

読んでみたい本「集合論」

先日再度借りてきた「選択公理と数学」を読んでいます。選択公理を仮定しないと集合論の様々な議論ができないということがよくわかる面白い本です。比較的読みやすいですし。これを読んだあとに読んでみようと思っているのが、「集合論」と題した分厚い本です。

本屋で立ち読みしたのですが、内容が非常に興味深く、連続体仮説の独立性を証明したポール・コーエンが編み出した「強制法」の解説があります。ただ述語論理式に慣れていないとちょっと大変そうなので、その前に演習を重ねておく必要があるかもしれません。最近はトポロジーより数学基礎論の方が面白いと感じています。

｜ 23：50 ｜数学｜コメント(0) ｜トラバ (0)

トラックバックURL：http://sookibizviz.blog81.fc2.com/tb.php/1457-2cd08a80

sookibizviz

Author:sookibizviz
仕事の内容やソフトの紹介を交えながら、日々の悪戦苦闘を綴っていきます。

Design by sakura