2011年04月13日のツイート
@kururu_goedel: 伊勢田先生もtwitterやっていらしたとは。
@kururu_goedel: ところで、私が数年間温め続けてきた「私がエルでしゅ」というネタを、TLで誰かが公開した恨みを私は一生忘れない
@kururu_goedel: ?_{ω+1}の方はKojmanとShelahだっけ。
@kururu_goedel: 連続体濃度の方はZoltan Balogh。素晴らしいgeneral topologistだったのだけど、若くして亡くなられてしまった。
@kururu_goedel: 例えば、ZFC上で常に濃度?_1のDowker空間があるかというのは、general topologyの重要未解決問題の一つ。Yさんがいろいろやっていたけど。
@kururu_goedel: っていうかDowker空間の定義、私も忘れている。
@kururu_goedel: どうでもいいけど、Dowker空間は濃度が連続体濃度(2^?_0)のものと?_{ω+1}のものはZFCから構成出来ることがわかっているのだけれども、どちらが小さいかはモデルによるのだな。Dowker空間なんて聞いたことがないという人はその方が普通なので安心してください
@kururu_goedel: 試験の点付け中。円の面積が大きくなる速さを求めなさいという問題に対して、「例題では正方形だったじゃないか!」というコメントをしてきた学生さんがいて凹む。十分似てるだろうよ……
@kururu_goedel: あー、やっぱりやめよう。私は数学のことだけにしておこう。