2010-11-05から1日間の記事一覧

4日の日記

集合論。ついに開集合の公理にたどり着きました。「抽象化の欲望はここまですごいものなのか」って話を毎週しているような気もしますが、やはりすごい。ここにきて初めて数学が真の姿を現した、みたいな印象さえ受けます。いままでのはなんだったんだ。 演習…