@kururu_goedel: @0_uda えーと、冗談なんで深刻にとられても。2011-07-31 23:23:18 via TweetDeck to @0_uda @kururu_goedel: @0_uda (涙)2011-07-31 21:12:11 via TweetDeck to @0_uda @kururu_goedel: @alohakun ゲームバランスは悪くても理不尽さはない…

@kururu_goedel: @onaka_buyo あ、最終的な成績は今も大学側でネット公開しているのですが、細かい途中経過をまとめてしらせてあげたいわけなのですよ。2011-07-30 12:23:28 via TweetDeck to @onaka_buyo @kururu_goedel: どうも@n_2i さんにふぁぼられるの…

@kururu_goedel: @NaOHaq えっ。SolovayとかShelahとかMagidorとかHajnalとか、老いてますます元気な巨大基数屋さんはたくさんいますが。2011-07-29 12:05:44 via TweetDeck to @NaOHaq @kururu_goedel: @night_in_tunisi ごめんなさい、マスメディアの話で…

@kururu_goedel: ふざけてないで仕事する。もろもろで時間がなさすぎるってのに2011-07-28 22:06:35 via Seesmic @kururu_goedel: @algazawa えっ？2011-07-28 22:05:48 via Seesmic to @algazawa @kururu_goedel: それだけにこの間違いを見逃しちゃったのは…

@kururu_goedel: @bampaku さらに、部屋Aに３人いて、部屋Bに２人いたときに、部屋Aに合流したら3+2で、部屋Bに合流したら2+3とするべきというのなら、それを習う子供がかわいそうです…。おまけに問題に対する創造的な態度を奪いかねないかと。2011-07-27 23…

@kururu_goedel: @highok 私は【で、「集合論」を基礎とするならば、公理系の強弱によっては交換法則が成立しない場合もあります。】の真偽のみを問題にしているのですが。まあ、例がないならそれでよいです。2011-07-26 06:09:22 via TweetDeck to @highok …

@kururu_goedel: とりあえず、授業の準備に戻る。2011-07-25 22:57:04 via Seesmic @kururu_goedel: これと、有理数を実数に拡張する話とどこが本質的に違うのかってところがいまいち腑に落ちていないのです。それ以前に、数週間前死ぬほど考えて感覚に染み…

@kururu_goedel: @Alumina_T 有名ではありませんし、先生と呼ばれるべきでもないと思いますが、@Alumina_T さんより先に生まれたというのは多分事実です。2011-07-23 12:03:33 via TweetDeck to @Alumina_T @kururu_goedel: @salmonsnare やあ。2011-07-23 1…

@kururu_goedel: 断っておくと、多分これは河合隼雄の言葉ではなく、多分中沢新一って人が言ったことらしいです。2011-07-22 03:30:41 via Seesmic @kururu_goedel: URL【量子理論や層や集合論における「コーエンの強制法」などという新しい考え方が登場する…

@kururu_goedel: @salmonsnare やあ2011-07-21 23:27:05 via Seesmic to @salmonsnare @kururu_goedel: 協力しておきます。 #選択公理ちゃんマジ公理2011-07-21 22:37:22 via Seesmic @kururu_goedel: 久しぶりに大好きなinternalizationを使う議論を書いて…

@kururu_goedel: よく考えてみたら、今年の8月から半年間くらい、笑っちゃうほど忙しい＋人生かかっていることに気がついた。忙しいってところは頑張るから、いろいろと良い方向に転がって欲しいところ。2011-07-20 22:40:52 via Seesmic

@kururu_goedel: @patho_logic 耳が痛いことにかけては決して負けません。2011-07-19 03:20:46 via Seesmic to @patho_logic @kururu_goedel: つーか、研究なんて失敗するのが仕事みたいなもんじゃないかなぁ。できると分かっていることを研究する必要はない…

@kururu_goedel: なんでこれがこんなにRTされているんだ？ちなみに「リア充のリアルは実数」というのは他の人のネタです、ごめんなさい。URL2011-07-18 21:49:20 via Seesmic @kururu_goedel: もうかれこれ8年くらい追っかけている問題に、それなりに使えそ…

@kururu_goedel: @salmonsnare アラフォーですがなにもはっきりしてません。2011-07-17 12:51:56 via Seesmic to @salmonsnare @kururu_goedel: @Yusuke_Ishizuka 単に連結性は部分空間だけをみて判断できる性質だからということでは？X⊆Y⊆Zのとき、XがY上で…

@kururu_goedel: @tooro1988 正論過ぎます。2011-07-16 11:12:34 via TweetDeck to @tooro1988 @kururu_goedel: 腹一杯で死にそう2011-07-16 07:30:32 via TweetDeck

@kururu_goedel: ☆が含まれる単語と言われて、みんだ☆なおがでてこない、そんな時代に生きているのだな、私たちは。2011-07-15 21:58:10 via TweetDeck @kururu_goedel: @tenapi e^xの微分をやって、逆関数の微分ということでlogの微分を導いて、対数微分で…

@kururu_goedel: 私が見たとこまでだとInfinite Stratusに男キャラが一人しか出てきてないので、腐女子の皆さんは困ってるかなぁと思ったけど、どうせ奴らはたくましいから想像もつかない方法で掛け算しているに違いないと思い直した。2011-07-14 15:08:49 v…

@kururu_goedel: @koudaiin もちろん論理学の立場からは矛盾していますが、それに何らかの意味があるとは思えませんが。重要なのはリスク評価であって、「安全」「危険」の二元論では片付かないと思います。まあ、知識がないのでこれ以上のことは言いません…

@kururu_goedel: うわ、間違ってfbにもポストしちゃったのを消したいのにやり方がわかんね。2011-07-12 11:33:32 via TweetDeck @kururu_goedel: @ytb_at_twt 確かにそうですね。勇み足だったかと思います。2011-07-12 11:29:48 via TweetDeck to @ytb_at_tw…

@kururu_goedel: 英語アカが突然Logic Colloquium 2011(@LCbcn) にフォローされてビビる。だってまだフォロー数少ないのになんで未参加の私に？2011-07-11 12:22:46 via TweetDeck

@kururu_goedel: @math8128 えーと、ある公理系から証明も反証もできないことを独立と言いますが、ZFCから独立なのは連続体仮説だけではなく、他にも数多くの命題が独立となることがわかっています。例えばススリン仮説とか（参照:URL）2011-07-10 10:29:23 …

@kururu_goedel: モルモンのMitt Romneyが大統領になったら、重婚が合法になるんですよね、という不謹慎なネタを投入したくてうずうずしていたけど、信者に怒られるだろうから自粛していた。2011-07-09 21:31:54 via Seesmic @kururu_goedel: 最近、範囲広く…

@kururu_goedel: いや、未来の首都は名古屋だった。第三新ナゴヤ。URL2011-07-08 10:15:47 via TweetDeck @kururu_goedel: 第三新さいたま市2011-07-08 10:11:25 via TweetDeck

@kururu_goedel: 私見では、Shelahが最もずば抜けているのはこの知的持久力だと思う。RT @vikingjpn: 何というか、「いつまでも考え続けられる」「いつまでも問い詰め続けられる」能力のことを、僕個人は勝手に「知的持久力」と名付けている。2011-07-07 10:…

@kururu_goedel: 今日、生まれて初めて親子丼を作ったのだけれども、そこそこまともに仕上がって、いつも私の作ったものは、「こんなまずいもの食えるか！」と言って捨てる妻も完食してくれました。ありがとう、みんなの今日の料理URL2011-07-06 11:21:02 vi…

@kururu_goedel: @__maYuGe @naomi0313 本質的ではないですが、約200年前には、カントールは生まれてすらいないと思いますが。2011-07-05 09:54:52 via Mobile Web to @__maYuGe @kururu_goedel: @ytb_at_twt 絶対無限に関して色々教えてくださってありがと…

@kururu_goedel: 現地時間午後11時近くなってまだ住宅地で打ち上げ花火やっていてうるさい2011-07-04 11:52:50 via TweetDeck @kururu_goedel: @onaka_buyo 間違っていたら@tenapi さんか@ytb_at_twt さんが訂正してくれると思うのでうろ覚えで書きますが、…

@kururu_goedel: ギズモードの記事、結構読まれているようなので、一連のツッコミは重要だと思われたものだけでも拡散してくださると嬉しいです。2011-07-03 12:24:54 via TweetDeck @kururu_goedel: 細かいけど、「見えるのに、信じられない」は直線と平面…

@kururu_goedel: あれ、数学徒って学生オンリー？なら私のような中年オヤジは入らないなぁ。2011-07-02 10:34:11 via TweetDeck @kururu_goedel: @ebisaresu 集合論者です。ただ、私達が研究しているものは、普通の人達の集合論のイメージとは違うのでご期待…

@kururu_goedel: @kururu_goedel あ、これを引用した人自体は、これが変なことを理解しているようでした2011-07-01 09:37:13 via TweetDeck to @kururu_goedel @kururu_goedel: なにがどう選択公理や連続体仮説と関係があるのかさっぱりわからない。まあいつ…