@kururu_goedel: パソコンの電源切ったあとでやり方思い出した。明日書く2011-05-31 12:40:08 via TweetDeck @kururu_goedel: 駄目だ、眠くて昨日頭の中で完成したはずの証明が再現できない(普段は間違いがわかるのだけれども)。もう妻が切れそうな頃だし寝…

@kururu_goedel: @night_in_tunisi いや、たしかに多いと思いますよ。数学という学問の思考形態はどちらかと言えば左寄りの政治思想に親和的だと思います。でも、そのことと経済学に対する理解はあまり関係がないのではないかと。2011-05-30 11:08:56 via we…

@kururu_goedel: @tenapi 今、ちゃんと証明が読めないので殿下のものと違いがあるかわからないのですが、MunkresのTopologyの演習問題でヒント付きで超限帰納法を使った証明が載っています。2011-05-29 05:49:59 via TweetDeck to @tenapi

@kururu_goedel: @mikiya0417 実数集合の濃度はアレフ1とは限りません。実数の濃度がアレフ1であるという命題は連続体仮説と呼ばれ、ZFCと独立です。アレフ1とは、アレフ0より大きい最小の濃度のことで、アレフ2はそれよりもう一つ大きい濃度です。2011-05-2…

@kururu_goedel: 夜ベッドの中でAndroidいじるなと怒られたので、今後は連続ツイートは少なくなります。サーベイの翻訳が終わったあとでよかった。2011-05-27 11:57:48 via Seesmic Web @kururu_goedel: @tenapi それは了解です。訳本は家にあるので見ればい…

@kururu_goedel: @ItoBek 因果関係が逆です。数学科はそれらの社会不適合者を隔離する役目を担っており、いたずらに数学を禁止することは吸収できたはずの不適合者を野放しにしてしまう可能性があります。2011-05-26 11:50:53 via TweetDeck to @ItoBek

@kururu_goedel: @tenapi 第I章3に一つタイポが。第二の不等式のところにある長い不等式の連鎖の最後は\beta\cdot(\gamma+1)ですね。2011-05-25 12:41:02 via TweetDeck to @tenapi @kururu_goedel: なぜか私が愛用しているAndroid用Dorphin Browserではmath…

@kururu_goedel: と思っていたら、DA inswordという登録した単語を挿入するマッシュルームがあることを発見。これでバックスラッシュとかだけなら問題ないな。2011-05-24 12:24:36 via TweetDeck @kururu_goedel: コンパイルできなくても、打てとくと便利な…

@kururu_goedel: @metaphusika うーん、たまに私たちが見てそれなりにチェックするくらいなら、それほどの手間にはならないと思うというか、そんな速さでは投稿が来ないだろうと思うのですが。未チェックな証明は隔離しておくということで。2011-05-23 22:58…

@kururu_goedel: すごいラフでちゃんとしたTeXにすらなってないけど、これ。URL2011-05-22 12:04:08 via TweetDeck @kururu_goedel: なんか妻いわく、私の人生おしまいらしいです。皆さんどうもありがとうございました。私のdropboxのresearch/l_square/lin_…

@kururu_goedel: @nopu_dansant 片方は完備だけど、もう片方は完備でないとか、そういうのがあるので。例えば、無理数の集合に普通の距離を入れるともちろん完備になりませんが、完備になるような距離を定義できます。確か（おい！）。2011-05-21 14:49:26 v…

@kururu_goedel: まったく、こっちがやるって言っていることを脅したり先回りしたりしてやったあげくに、自分がいかに負担を背負っているか、こちらが役にたっていないかを力説し、上記の事情をいうと理不尽に激怒し、体調を崩すのはいい加減にしてほしい。…

@kururu_goedel: 間違いだとかは言いませんよ。外来語が本来とは意味で使われたりするのはどこでもあることだし。2011-05-19 12:07:41 via TweetDeck @kururu_goedel: もちろん「リンクフリー」は、リンクをされていないページにしか解釈できません。2011-05…

@kururu_goedel: @K_Ryuichirou ごめんなさい、タイポです。やり直し。重要な条件が抜けています。解釈としては、「他の集合と濃度が同じまたはそれ以下の集まりは集合になる」ということです。2011-05-18 23:49:51 via TweetDeck to @K_Ryuichirou @kururu_…

@kururu_goedel: なんで群馬はここまでいじられるようになったのだろう。2011-05-17 12:16:02 via TweetDeck @kururu_goedel: Children's HospitalをCHと略しているメールが来て、そうわかるまですごい時間を要した2011-05-17 11:43:21 via TweetDeck @kurur…

@kururu_goedel: @formal_de_hyde 趣味はあるでしょうし、ないと困ります。ただ、「面白くない」「美しくない」とかならともかく「そんなのは数学ではない」は認めたくないということです。ちょっとネタにマジレス気味で失礼。2011-05-14 14:19:22 via Tweet…

@kururu_goedel: なんの脈絡もなくいきなり停電になってびびった。10分くらいで復旧したけど。2011-05-13 13:48:39 via TweetDeck @kururu_goedel: @hyuki それで構いません。完全性と健全性により、無矛盾であることとモデルが存在することは同値なので。20…

@kururu_goedel: (訂正)多分出来た。全てのconvex setがアロンシャイン連続体になるような連結全順序Kの直積K^2には、coordinate-wiseなもの以外の位相空間としての自己同相は存在しない。2011-05-12 19:57:52 via TweetDeck @kururu_goedel: @muratori_d 直…

@kururu_goedel: @tenapi 離散が集合しているんです。2011-05-11 21:17:54 via TweetDeck to @tenapi

@kururu_goedel: ようやく期末試験の点付けと成績の提出が終わった。もっともそのおかげもあってしばらくtweetできなかったのは幸運だったかもしれない。2011-05-10 14:31:51 via TweetDeck @kururu_goedel: なんか、面倒なリプが私に飛んでこなくなったかわ…

@kururu_goedel: @Yusuke_Ishizuka それは簡略化し過ぎですよ。任意の開被覆が有限部分被覆をもつ、です。もちろん全ての位相空間は、全ての点の集合のシングルトンという有限被覆をもちます。2011-05-09 12:21:01 via TweetDeck to @Yusuke_Ishizuka @kurur…

@kururu_goedel: @aleo724 あれはよいですね。ちょっとコンパクト過ぎて最初に読むには大変かなと思っていたのですが、わりとそうでもないですか？2011-05-08 13:32:48 via TweetDeck to @aleo724 @kururu_goedel: @Nathema いずれにしても、私には@Nathema …

@kururu_goedel: @tenapi はい、いつも教室は下見したうえで、その番号はメモとシラバスとグーグルカレンダーに入れています。最初の授業に正しい教室に入れるかはいつも不安です。2011-05-07 13:29:22 via TweetDeck to @tenapi @kururu_goedel: えーと、学…

@kururu_goedel: @Nathema 通常の純粋数学者じゃないので、うちの分野には適当すぎて頭を抱えるような言葉を当てられた定義ばっかりです（笑）。構造の方はもちろんそう思いますし、自分でなにかを定義するときには気を使いますが。2011-05-06 22:59:49 via …

@kururu_goedel: @LazyWorkz いや、そうじゃなくて、「童貞」は述語なので、集合を表すには「童貞全体の集合」「非童貞全体の集合」と書くべきだという事です（だからツッコミどころ違う）2011-05-05 22:38:37 via Seesmic Desktop to @LazyWorkz @kururu_go…

@kururu_goedel: @Nana73van コミック版もありますが、そちらは私は未読です。小説の方を私は考えていました2011-05-04 22:34:52 via Seesmic Web to @Nana73van @kururu_goedel: つーか実数直線ズル過ぎる。任意のa

@kururu_goedel: 公理的集合論が巷でブームになっているなんて知らなかった。いや、仮定の話なのか？ＱT @ukikonno: 俺はオープンソース世代なので、公理的集合論が巷でブームになることについては何の焦りも嫉妬も悔しさも優越感も、苛立ちも感じない。2011…

@kururu_goedel: さて仕事2011-05-02 23:22:33 via Seesmic Desktop @kururu_goedel: あ、とりあえずBanach-Tarski(-Hausdorff)の逆理は連続体仮説と無関係という@kagami_hr さんの発言は全くもって正しいです。2011-05-02 12:56:27 via TweetDeck @kururu_g…

@kururu_goedel: なんか「晒し」っぽくなってしまってちょっと反省。私にとっては、集合論disとか日常的過ぎて実害がないかぎり自虐ネタにする以外の反応はないのですが。2011-05-01 23:11:21 via TweetDeck @kururu_goedel: @fuuta301 気にしないでください…