@kururu_goedel: . @mr_konn さんがブログやっているのに初めて気がついた…2011-08-31 00:52:29 via Seesmic @kururu_goedel: うわ、なんかあの私が書いたゲロテクニカルな論文をRoslanowski先生がレビューしている。申し訳ない。2011-08-31 00:18:10 via Se…

@kururu_goedel: @hyuki ああ、あれはそういうことではなくて、とんでもない間違いのある古いやつをコメントアウトして書きなおすとかいうのをえらい回数やっているので、そのバカを晒すのが恥ずかしいということです。別に「樹里様は俺の嫁！」とかコメント…

@kururu_goedel: @tadamago ありがとうございます。今後も頑張ります。2011-08-29 22:37:45 via Seesmic to @tadamago @kururu_goedel: うわー、これもったいないのでみんなで使いましょうよ。。RT @hyuki: みなさんわたしのインタビューをリストにいれてく…

@kururu_goedel: @orionis23 よっぱらって読んでいたので、完全な誤読に基づいてリプライしてしまいました。こめんなさい。2011-08-28 12:25:01 via TweetDeck to @orionis23 @kururu_goedel: @igaris とりあえず、数学科の大学助教はそんなにかっこよくない…

@kururu_goedel: @yoh_tanimoto ごめんなさい、ちょっとわかりません。回転で距離が変わるのはそんなに問題ないと思いますが。/\は最小値のことでしょうか。出来れば線分の長さは両端の距離に等しくなってほしいので。2011-08-27 17:00:35 via TweetDeck to …

@kururu_goedel: さてと、人生かかった書類の最終見直しするなりよ。2011-08-26 21:47:22 via Seesmic @kururu_goedel: @t_uda おめでとうございます。2011-08-26 19:46:20 via TweetDeck to @t_uda @kururu_goedel: @kagami_hr やべ、いきなり答え書いちゃ…

@kururu_goedel: MLQの正式名称は「MLQ - Mathematical Logic Quarterly」なのか？MLQが最初につくのか？2011-08-25 04:44:09 via Seesmic

@kururu_goedel: @necoMathSiGMA おめでとうございます。2011-08-24 19:44:54 via TweetDeck to @necoMathSiGMA @kururu_goedel: いや、暴力団とのつながりがあるということだけならすでに公然の秘密だったんだから、なにかしら裏の事情があるんだろうなと思…

@kururu_goedel: 計算が合わないと思ったら2*1-1=3ってなによ2011-08-23 23:42:22 via Seesmic @kururu_goedel: @CharStream そうか、記号が毎回変わっているって可能性に気がつかなかった。2011-08-23 23:27:10 via Seesmic to @CharStream @kururu_goedel:…

@kururu_goedel: トポロジー空間という言葉を見て気持ち悪さを感じるなど。Topological spaceなんだから強いて言えばトポロジー的空間じゃないかというか、位相空間でよいのではないかと。2011-08-22 22:27:36 via Seesmic @kururu_goedel: @tadamago ありが…

@kururu_goedel: @zhanpon ぶっちゃけて言うと、集合論に応用する程度の話に重点がきていて、数理論理学を突き詰める方には向いていないってことです。例えば、命題論理の推論規則をきちんと書かずに、「すべてのトートロジー」とかを使うのは、非古典論理に…

@kururu_goedel: Kunenはこんなところにも業績があるのか。形式的証明もやっているそうだし。RT @rmn_w RT @MathPaper: Ken Kunen: Algebraist. URL2011-08-20 13:24:25 via TweetDeck @kururu_goedel: ω_1上のTCGをprecipitousにするやつについて質問がきた…

@kururu_goedel: らんま50 #タイトルを100倍にすると盛り上がる2011-08-19 21:10:27 via TweetDeck @kururu_goedel: @aoi_nagatsuki あ、教えて君みたいになってしまいましたが、そこが疑問だなーと思うわけです。2011-08-19 14:37:18 via TweetDeck to @aoi…

@kururu_goedel: @night_in_tunisi あ、見直してみたらDだった。単位はとれても先に進めないレベルかな？2011-08-18 15:37:28 via TweetDeck to @night_in_tunisi @kururu_goedel: @night_in_tunisi えーと、妙なニュースがあったのでこの人をネタにしていま…

@kururu_goedel: @evinlatie おめでとうございます2011-08-17 22:41:27 via TweetDeck to @evinlatie @kururu_goedel: そういえば、テキサス州知事にして大統領候補であるRick Perryとかいう人が、バーナンキを国家反逆だとか罵っていたらしい。そんなら、日…

@kururu_goedel: ForemanとKanamoriだけであんな化け物が書けるわけないだろうが！！世界中から誰を選んだって数人であれは書けないよ。2011-08-16 13:58:48 via TweetDeck @kururu_goedel: そういえば、吉田義男は「新人が伸びるかどうかはキャッチボールを…

@kururu_goedel: 儲けの多いこじきは慌てない。2011-08-15 06:35:16 via TweetDeck @kururu_goedel: 棒に当たらなければ犬は歩かない。2011-08-15 06:34:39 via TweetDeck @kururu_goedel: 桶屋が儲からなければ風は吹かない2011-08-15 06:34:07 via TweetDe…

@kururu_goedel: という電波を受信したのですが2011-08-14 22:36:38 via TweetDeck @kururu_goedel: 決めた！ワタシ絶対にガンダムになる！！2011-08-14 22:36:16 via TweetDeck @kururu_goedel: 夢喰いメリー第二話見る。ツンデレに英語字幕で説明がついて…

@kururu_goedel: @ytb_at_twt さようで。2011-08-13 11:18:50 via TweetDeck to @ytb_at_twt @kururu_goedel: あー、集合論における「存在する」が本当のところどういう意味か、その文脈で冪集合の公理が正当なものか、というのは真っ当な問いだと思いますよ…

@kururu_goedel: MMのモデルをスタンダードに構成したところで、そういう空間があることを仮定すると、それに関連した飽和イデアルができそうな気がしてきたのだけれども、この後どうしようねぇ。2011-08-12 23:07:45 via Seesmic @kururu_goedel: MA+?CHで…

@kururu_goedel: しかし、作業をしようと集中したときに話しかけられるのはどうしても慣れられない。作業を完全に中断するならともかく、日常的なことを度々言われるのはすごくイライラする。なにか良い方法はないものでしょうか。2011-08-11 12:06:47 via T…

@kururu_goedel: 某氏がHandbook of set theoryに興味を持ったようです。2011-08-10 12:03:43 via TweetDeck @kururu_goedel: なんかWarren Jeffsとかいう重婚を認めるカルトの教祖が、12才の女の子を妻の一人として性交渉していた件で有罪になったことが結…

@kururu_goedel: @nakayoshix アメリカなんで事情はいろいろ違いますが、私は自分のAndroid(HTC製)にものすごく満足していますよ。2011-08-07 13:20:19 via TweetDeck to @nakayoshix

@kururu_goedel: 練習問題: デデキント無限な部分集合を持つ集合は全てデデキント無限2011-08-06 12:35:26 via web @kururu_goedel: とりあえず今日はもうツッコまずに寝ます。明日になったらなにか書くかも。2011-08-06 12:34:34 via web @kururu_goedel: …

@kururu_goedel: @h_yagyu それ、肯定しないと「違う。かっぱ、かっぱ！！」と叫び始めて最後には号泣する子供もいるので、人助けをしたと思ってあげて下さい。2011-08-05 21:29:28 via TweetDeck to @h_yagyu @kururu_goedel: @38valleys それは本当に勉強…

@kururu_goedel: プロジェクトA子 #アニオタになったきっかけのアニメ （引退済みだが）2011-08-04 22:08:58 via Seesmic @kururu_goedel: @ta_shim_at_nhn 数値計算はそういうのが結構ありそうですね(あの記事の中でも触れられていますが)。2011-08-04 22:0…

@kururu_goedel: どうせ財政再建狂の人たちは、支出削減で景気が悪くなっても「まだ支出削減が足りないからだ。もっと削減しなきゃ！」とか言うに決まっているよな。そんで「ついでに減税！」とか言うんだろうなぁ。2011-08-03 22:03:31 via Seesmic @kururu…

@kururu_goedel: URL をプリントアウトして後で読むかと思ったら、なんかCaicedoさんがインタビューされているのだけ目がついた。2011-08-02 22:31:58 via Seesmic @kururu_goedel: @ytb_at_twt この人は、いつもこんな感じのトホホな発言をしている人で、リ…

@kururu_goedel: 書く前に、「名古屋だもんなぁ、変な間違いにツッコミが入らないわけないよなぁ」とは思ったのですけど。いや、正しければ正しいでもちろん面白いでしょうし。2011-08-01 22:35:52 via Seesmic @kururu_goedel: @ytb_at_twt もちろん(1)(2)(…