まだ連続体仮説の独立性がわかっておらず、巨大基数に関する研究もまだほとんど無い時期に、「独立性がわかったからといって連続体問題が解けたとはいえない」なんて言い切れるのはすごいです。その他の発言についても1990年代ぐらいになってようやく彼が意…

なんかRadin forcing絡みのレビューが二つ連発で来ました。勉強しようかと思いつつ先延ばしにしていた話題でして。四の五の言わずにやりなさいという神のお告げかなんかでしょうか。わかったよ〜、死ぬ気で読むよ〜。 ちなみにRadin forcingは、がsingular s…

ゲーデルと20世紀の論理学 4 集合論とプラトニズムですが、とりあえず戸田山先生のを読んでみました。いや、門外漢の哲学の話から読んじゃおうかなと。Tony Martinの概念実在論(Conceptual realism)に関する論文は読んだことがあったので、割と腑に落ちまし…

すげえややこしい証明を読み込み読み込み一ヶ月以上経ってから、もっと簡単なやり方がありそうなことに気づくorz。というかメインの定理の一つはほぼ確実に修正可能。ってわけで、修正を提案して送り返す予定。おまけにどうにも出てきた問題が気にかかっちゃ…