2009-12-28 カントールの対角線論法 life book 今、積読になってた『数学ガール 〜ゲーデルの不完全性定理〜』を読んでるところ。実数全体の集合Rが可算集合でないことを証明するくだりにちょっと感動。かっこいい。