@kururu_goedel: とりあえず、ここで誰かが測度0なcomeager集合の構成をやりはじめることを期待。2011-04-30 12:12:50 via TweetDeck @kururu_goedel: 消した。よく考えたらツッコんでいる時間ないし。2011-04-30 12:11:25 via TweetDeck @kururu_goedel: 仕…

@kururu_goedel: んなことどうでもいいんだよー。今日は死ぬほど忙しいっていうのに。2011-04-29 23:14:38 via Seesmic Desktop @kururu_goedel: いや、試合結果すら覚えていないのだけれども、印象だけ異常なほど強い。2011-04-29 23:10:46 via Seesmic Des…

@kururu_goedel: またTornado Watchだ2011-04-28 13:57:03 via TweetDeck @kururu_goedel: @evinlatie 私はバイキンマン派なので大丈夫です。はっひふっへほー。2011-04-28 13:50:12 via TweetDeck to @evinlatie @kururu_goedel: もう散々語られ尽くしてい…

@kururu_goedel: @_flyingmoomin そんな未来永劫伝説に残るように平和な家庭を望むとは！2011-04-27 03:09:41 via Seesmic Desktop to @_flyingmoomin @kururu_goedel: 今更なんだけど、Todorcevicの師匠はKurepa TreeのKurepaなのだな。木に対する感性が強…

@kururu_goedel: @MarriageTheorem そういうのを考えてみたらどうだろうかな、くらいです。アロンシャイン直線だと連続性がないので、その（全順序集合としての）完備化を使います。2011-04-26 23:42:13 via Seesmic Desktop to @MarriageTheorem @kururu_go…

ここのところ、空き時間はずっとアロンシャイン直線、もっと正確にはアロンシャイン連続体のことを考えていたので、頭が変なモードに入っていろいろ妄想しているわけですが。あ、アロンシャイン直線というのは、非可算可分全順序(つまり実数直線の非可算部分…

@kururu_goedel: 学生の一人に、現時点での成績の計算の説明をするメールを書くのに45分もかかってしまった。確かにスプレッドシートに少しバグがあったのだけれども。2011-04-25 22:52:53 via Seesmic Desktop @kururu_goedel: @SillyCrown 汎用人型決戦計…

@kururu_goedel: 体の関係をしばらく把握できなかった私は数学者失格です。RT @_flyingmoomin 内緒で彼氏のTwitterを見ているのですが, Galoisという男友達の名前が頻繁に出てきて, しかも『正規拡大』『分離拡大』など体の関係をにおわせることまで(後略)20…

@kururu_goedel: @dream_shifter それはなにより。実りある議論になることを祈っています。2011-04-22 21:54:53 via Seesmic Desktop to @dream_shifter @kururu_goedel: @dream_shifter それだったら数セミ編集部にメールしても問題ないのでは。困るのは、…

@kururu_goedel: やべー、すげーお金が無い2011-04-21 23:34:44 via Seesmic Desktop @kururu_goedel: またどういう文脈かわからないけど、私を凍らせるツイートが。はい、きちんと理解できるように頑張ってます。URL2011-04-21 21:38:06 via TweetDeck @kur…

@kururu_goedel: . @kagami_hr @evinlatie はた迷惑なことに、Woodinは宗旨変えして、今は連続体仮説が成り立つことを示そうとしているらしいです。同僚のWoodinの弟子の話なので多分確かです。2011-04-20 21:19:43 via TweetDeck @kururu_goedel: 例えば、…

@kururu_goedel: みゃみゃみゃみゃみゃー！！！2011-04-19 22:39:46 via Seesmic Desktop @kururu_goedel: @haru_urah_rah さすがに距離が距離なので冗談です。誰か見つかることを祈っています。具体的な質問で答えられることがあれば答えますが。2011-04-19…

@kururu_goedel: @brv00 確かに2011-04-17 13:15:05 via TweetDeck to @brv00 @kururu_goedel: @MarriageTheorem そちらは何回か見かけたんですよ。レズカップルの方が、「物理をやるのは男性だという偏見が」とかいうのもかわせて良いかなと。2011-04-17 12…

@kururu_goedel: 実数は自分で作るものです。RT @ytb_at_twt 「リアル」はあなたの心の中にあります。 RT @MarriageTheorem: 実数はみんなの心の中にあります RT @youkun510: 実数は実在するのか？2011-04-16 11:30:59 via TweetDeck

@kururu_goedel: @evinlatie 部分集合でとじているというところだけは直さないといけないと思いますが、それ以外は多分大丈夫なのでは。2011-04-15 23:12:45 via Seesmic Desktop to @evinlatie @kururu_goedel: あ、細かいとこチェックしてないので、自己責…

@kururu_goedel: @hyuki 2006年ですね。まだ最初の書籍版数学ガールが書かれる前。早いものです。2011-04-14 12:10:48 via TweetDeck to @hyuki @kururu_goedel: @patho_logic 結果自体を知りませんでした。あれ、同僚に聞いたような気もしてきた。いずれに…

@kururu_goedel: 伊勢田先生もtwitterやっていらしたとは。2011-04-13 13:43:59 via TweetDeck @kururu_goedel: ところで、私が数年間温め続けてきた「私がエルでしゅ」というネタを、TLで誰かが公開した恨みを私は一生忘れない2011-04-13 13:31:36 via Twee…

@kururu_goedel: テニュアにあがるためのプロセスに関する説明会に行ってきます。みゃあ2011-04-12 21:44:03 via Seesmic Desktop @kururu_goedel: 考えていた問題に対して、面白い補題を証明して、これであとは行けると思っていたらそんなことはなかったぜ…

@kururu_goedel: @sasaism それはなにより。よく勉強して先生がやりやすいようにしてあげてくださいね。2011-04-11 21:15:29 via TweetDeck to @sasaism @kururu_goedel: 他の数学者と議論しているときに、不審がった警官に呼び止められて事情を聞かれたとき…

@kururu_goedel: @muratori_d Con(ZF)→Con(ZFC)は、1)Con(ZF)を仮定、2)モデルがあるのてとる、3)そのモデル上でZFCのモデルを構成、4)ZFCのモデルがあるので、Con(ZFC)、と私はイメージします。2011-04-10 11:57:10 via TweetDeck to @muratori_d @kururu_g…

@kururu_goedel: 足立先生がtwitterにいらっしゃるとは2011-04-09 22:54:17 via TweetDeck @kururu_goedel: 友達だと思ってた異性が突然「今夜泊めて」とやってきた。あなたはどうする？ エルデシュは、「それではnを自然数とする。このとき……」と一晩中数学…

@kururu_goedel: @MarriageTheorem これは、他の人からパクったスタイルファイルによるものです。ジャーナルによっては変更させられますけれども。2011-04-08 23:39:09 via Seesmic Desktop to @MarriageTheorem @kururu_goedel: @ystt 大丈夫ですよ。多分、…

@kururu_goedel: @hidetomitanaka 気に触ったようなので謝ります。RTで流れてきたのを見て、最初にツイートされた日付を確認せずに反応してしまいました。すみません。2011-04-07 23:59:28 via Seesmic Desktop to @hidetomitanaka @kururu_goedel: っていう…

@kururu_goedel: @tmiya_ はい、確かそう書いてありました。2011-04-06 20:18:27 via TweetDeck to @tmiya_ @kururu_goedel: @white_sep 知らないというか、「なんか定着しちゃったから変えられないけど、全然イメージわかないよね(笑)」っていうか2011-04-0…

@kururu_goedel: @patho_logic 集合論者たるもの口を開けば「Nを初等部分モデルとする」ですからね。2011-04-05 21:56:35 via TweetDeck to @patho_logic @kururu_goedel: @alg_d 最初のうち、感覚がつかめない概念だと思います。具体的に言ってもらえれば、…

@kururu_goedel: @powdergreen_tea @yuyu_de_gozaru 普通に作れば連続無限個です。aを無限小、rを0と1の間の普通の実数とすると、arは0とaの間に入りますから2011-04-04 20:24:01 via TweetDeck to @powdergreen_tea @kururu_goedel: @hyuki そのあたりの認…

@kururu_goedel: フォロワーさんへ。kururu_goedelをどう思っているか挙手で答えてください《むふっｍ→ノ、ハチミツをかけたい！→／、そこはかとなく良い→┛》 URL #s_tr2011-04-03 22:21:01 via Mobile Web @kururu_goedel: @hyuki それでよいと思います。20…

@kururu_goedel: Androidアップデート中2011-04-02 02:21:08 via Seesmic Desktop

@kururu_goedel: @igaris あー、経済学も勉強しておきましょうね。地方政府ならともかく国にはそれ以外の選択肢もあります。2011-04-01 22:43:00 via TweetDeck to @igaris @kururu_goedel: @ilovegalois なんかもっと変な積でとは私も思ったのですが、今の…