2012年03月17日のツイート
@kururu_goedel: 連続体仮説が成り立つけれどもLとはかけ離れたモデルを(例えば)Lからの強制法で作るのは私のニッチだし、連続体仮説はとても面白いと思うけれども、んなもん数学クラスタにだって説明できないよ。
@kururu_goedel: 独立ってだけなら、むしろ不完全性定理の話だし。
@kururu_goedel: もちろん、数あるZFCから独立な命題の中から連続体仮説を名指ししているからには、単に独立であるという以上の面白味を感じてらっしゃるんでしょうね。
@kururu_goedel: また、URL のせいで連続体仮説でのtwitter検索結果が埋まっている。茂木先生は、連続体仮説のなにを面白いと思っているんでしょうね。
@kururu_goedel: あ、もうすでにみんな反応していた。
@kururu_goedel: @t_hayashi 「この本を読破しました」「まだ破れていないじゃないか。読むことによって破るのが読破だ。破れるまで読め、バカモノ!」
2012-03-17 03:07:48 via Seesmic to @t_hayashi