ゲーデルと連続体仮説の否定

すでに宿題が山積みなんですが、さらに付け加えておきます。本当は今日書いちゃおうかと思っていたのですが、ちょっと時系列が定かでないので。おまけにAMS Noticesの今月号が"A tribute to Kurt Gödel"なんですよ。生誕100年なんですね。というわけで、せめてFloyd and Kanamoriの"How Gödel Transformed Set Theory"だけでも読んでからにしようかと。