2012年06月27日のツイート
@kururu_goedel: でも、普通の数学を知らなくてもそれなりに集合論ができるのは、私の世代で最後になるのではないかと。
@kururu_goedel: 線形代数も微積も、普通の人が大学で習うような数学は一切私の論文にはでてこないので、黒木先生や足立先生がどんな数学をやるにしても必要と力説されているのをみるたびに、俺って数学者じゃないなのかなとか凹む。
@kururu_goedel: 自分の研究で計算とかしたことないんすけど……。基数演算ですら論文のなかではろくにやってない。
@kururu_goedel: @slip001 @hyuasa ある巨大基数の無矛盾性を仮定すると、非可測集合が存在しないようなZFのモデルが存在するというのはSolovayが証明しています。
2012-06-27 02:34:35 via web to @slip001
@kururu_goedel: @slip001 @hyuasa 実数の集合には一切手を付けずにもっと大きい集合のところで選択公理を成り立たせなくすることが可能なはずなので、選択公理が成り立たなくても非可測な集合は存在できます。
2012-06-27 02:33:13 via web to @slip001
@kururu_goedel: まあ、Android上はずっとTweetDeckだったわけだけど。検索で新しい結果が届くたびに未読としてすぐわかるという廃人仕様っぷりが好きなので。リストもろくに使えず、favを特定のアカウントからだすことすら出来ないのだけれども。
@kururu_goedel: ちくしょう、seesmicがweb版どころかデスクトップでTLをみる機能のあるクライアントを全終了しあがった。twhirl以来のseesmicファンだけど、ここまで裏切られ続けるとは。