2011年07月23日のツイート
@kururu_goedel: @Alumina_T 有名ではありませんし、先生と呼ばれるべきでもないと思いますが、@Alumina_T さんより先に生まれたというのは多分事実です。
2011-07-23 12:03:33 via TweetDeck to @Alumina_T
@kururu_goedel: @salmonsnare やあ。
2011-07-23 11:57:06 via TweetDeck to @salmonsnare
@kururu_goedel: @maidskii 私が日本にいたころはまだメイド喫茶なんてものはありませんでしたが、アキバにあったPiaキャロットには数回友人と行きました。
2011-07-23 11:56:46 via TweetDeck to @maidskii
@kururu_goedel: @maidskii えっ、とりあえず私も結構メイド属性だし。例えば……あうー、出しやすい例がない。
2011-07-23 11:53:08 via TweetDeck to @maidskii
@kururu_goedel: @mr_konn ゲンツェンがやったのはZFCなどよりはるかに弱い体系での無矛盾性証明で、そこでは超限帰納法は証明できません。ってことでいいはずですが、証明論はほとんど知らないのでわかりません。まあ、間違っていたら誰かがボコボコにつっこんでくれるでしょう。
2011-07-23 11:47:02 via TweetDeck to @mr_konn
@kururu_goedel: アメリカのインフラが全然ダメということとそこに投資するなら金利が低く失業者ばっかりの今が確実にお得っていうのは誰でもわかると思うのだけれども。
@kururu_goedel: @mr_konn ごめんなさい、どういう話でしょう?
2011-07-23 11:17:06 via TweetDeck to @mr_konn
@kururu_goedel: よく言った、ラリー・サマーズ。URLShared via Dolphin Browser
@kururu_goedel: Krugmanの記事。いや、そうは言ってもじゃあどうすりゃいいんだ?インフレの兆候もろくにない状態で無理矢理財政破綻を起こそうとしているような人たちを前に。URL
@kururu_goedel: ODをかなり真剣にordinal definableと勘違いした