2011年05月02日のツイート
@kururu_goedel: さて仕事
@kururu_goedel: あ、とりあえずBanach-Tarski(-Hausdorff)の逆理は連続体仮説と無関係という@kagami_hr さんの発言は全くもって正しいです。
@kururu_goedel: すごく精神を消耗させる文の書き方なので、件の方にはもう言及しません。
@kururu_goedel: @alg_d あー、Aは多分?(ヘブライ文字のA)、Cは\mathfrak{c}でしょう。前者はwikipedia(ja)で使われているし、後者は実数回りのことをやる集合論者はよく使います。
2011-05-02 12:39:52 via TweetDeck to @alg_d
@kururu_goedel: 5/1締め切りだった翻訳を提出。なんとか間に合った
@kururu_goedel: emacsおじさんです。正確にはmeadow。そのまえはxyzzy。