2012年09月21日のツイート
@kururu_goedel: @salmonsnare おはようございます。
2012-09-21 23:34:59 via TweetDeck to @salmonsnare
@kururu_goedel: 連続体仮説周りもわかり始めたのは早く見積もっても90年代以降、Shelahに加えてTodd Eisworthが実数を付け加えないiterationをバリバリやり始めてからだよなぁ。それ以前は連続体仮説と無矛盾であることを示す議論がほとんどできなかったわけで。
@kururu_goedel: @kururu_goedel というツッコミを入れようとして随分時間が空いてしまった。
@kururu_goedel: @mymightycat1 本質的な進歩がないとはどういうことをさして仰っているのでしょうか。ShelahのPCF理論を初めとして、むしろ1980年代後半から集合論は飛躍的に進歩したと考えているのですが。また、1974年を挙げているのはどのような理由でしょうか。
2012-09-21 23:26:47 via TweetDeck to @mymightycat1
@kururu_goedel: 岩男といえば岩男潤子でしょうときちんと反応した私の脳は腐ってもヲタでした。
@kururu_goedel: サバティカルの書類、来月初旬提出じゃないか、準備しないと。