@kururu_goedel: @kagami_hr 選択公理またはZornの補題は形式化されてなくても認めてしまえば十分な議論ができると思うので。また、元々の趣旨として「数学が基礎づけられたからってそれがなに？」みたいな人を念頭においているので。単に基礎づける以上の有…

@kururu_goedel: @ta_shim_at_nhn こちらの例の方がより直接的に状況を描き出していてよいですね。2012-05-29 14:03:04 via TweetDeck to @ta_shim_at_nhn @kururu_goedel: @patho_logic 多分、これはいつぞやの「高校の同級生は数人が東大の助教授になって…

@kururu_goedel: @hymathlogic すると[0,1]と{0'}∪(0,1]はともにcompact。しかし、共通部分(0,1]はcompactでない。2012-05-27 12:05:18 via TweetDeck to @hymathlogic @kururu_goedel: @hymathlogic 真面目に書くと、[0,1]に新しい点0'を付け加えた集合[0, …

@kururu_goedel: 4月末までにと言っていたペーパーが未だに書き通せてすらいない。ダメだ。2012-05-22 11:41:07 via TweetDeck @kururu_goedel: えーと、誰か早稲田で線形順序の直積をやっている人と話す機会があって、私が誰か知っている人は、「なんか家庭…

@kururu_goedel: やべー、間違った言明をRTしてしまった。2012-05-21 05:49:02 via TweetDeck @kururu_goedel: @abusor すみません、非可算濃度ではなく連続体濃度ですよね。2012-05-21 05:48:20 via TweetDeck to @abusor

@kururu_goedel: 午後７時過ぎ、妻が上の娘をお風呂に入れている間、泣きそうだった赤ちゃんたちに歌を歌ったりしてあやしていたら、もうそこでミルクを飲ませて寝かせるべきだったそうで、実際いつもより遅くまで起きていた（とはいえ、妻の怒声を聞きなが…

@kururu_goedel: @y_bonten 多分、終域を指定せずに、「fは順序対の集合で、<a, b>、<a, c>∈fならばb=cが成り立つ」だけから値域が集合であることをいいたかったのではないかと。2012-05-18 14:01:35 via TweetDeck to @y_bonten @kururu_goedel: 片方の赤ちゃんのオムツ</a,></a,>…

@kururu_goedel: @metaphusika @patho_logic 先生の趣味で、モデルの構成とかはやらずに公理的に与えて、そんで極限の定義やらやりました。触る程度です。2012-05-17 12:47:26 via TweetDeck to @metaphusika

@kururu_goedel: 天才なんてのは常に特異な存在なんだから、その都度オーバールールで拾っていくしかないと思っている。強いていうなら、オーバールールして拾える程度の余裕と自由度を残しておくことくらいじゃないか？2012-05-16 14:06:10 via TweetDeck @…

@kururu_goedel: ４月中にと言っていた証明の草稿ができていないのが恥ずかしく申し訳ない。2012-05-13 16:23:46 via TweetDeck @kururu_goedel: ツイートが荒れてますね、すみません。2012-05-13 16:22:10 via TweetDeck @kururu_goedel: @usb_usb そうです…

@kururu_goedel: @CharStream すみません。そっちの同値性は知っていました。選択公理のない世界は本当にうといんです。2012-05-12 23:27:34 via TweetDeck to @CharStream @kururu_goedel: 一時間寝坊（二度寝）してどうなるかと思ったのだけれども、ちょっ…

@kururu_goedel: @ken_m123 うちでは全学的に文章を書く力を上げようと、それぞれの学科で文章を書く力を育てる授業を設定して計画を提出することになりました。そういう能力の不足はあちこちでみられるようです。2012-05-11 15:43:46 via Mobile Web to @ke…

@kururu_goedel: URL 完全性定理使わなくても超べきで超準解析できるじゃんと思ったけど、超べきで完全性定理を証明できるから、必要なだけの完全性定理を証明しているのだともいえるかもしれない。2012-05-10 13:35:49 via TweetDeck

@kururu_goedel: @kururu_goedel なぜかというと、不完全性定理により「ZFC+到達不可能基数が存在する」から 「ZFC+到達不可能基数が存在する」の無矛盾性は言えませんが、 無矛盾性は導けますので。2012-05-09 11:52:25 via TweetDeck to @kururu_goedel @k…

@kururu_goedel: あ、通ってた。2012-05-06 07:37:31 via TweetDeck @kururu_goedel: あうー、なんでこのタイミングでツイートできなくなるんだ？2012-05-06 07:36:56 via TweetDeck @kururu_goedel: 皮肉ではなく卒業式に出るのは好き。卒業生の家族の喜ん…

@kururu_goedel: 実数怖いので、実数に障らない強制法を研究しているのだけど、少し油断するとBoo!とか言って出てきて実数怖い。2012-05-05 23:10:43 via TweetDeck @kururu_goedel: 「（集合論で出てくる実数上の関数に比べれば普通の数学の）実数上の関数…

@kururu_goedel: というわけで眠い2012-05-03 00:58:09 via Seesmic @kururu_goedel: 午前二時頃まで部屋のペンキ塗りやった後、赤ちゃんの具合がよくなかったので救急に連れて行って（少し薬をもらって今は落ち着いてます）、帰ってきて遅い朝食をとって大…

@kururu_goedel: 本気で彼女が何に怒っているのか誰か教えて欲しい。本当に。2012-05-01 05:23:02 via TweetDeck @kururu_goedel: なんか妻に、卒業式に今年は出なくてもよくなったと報告したら、すごく激怒して、どうせ役にたたないんだから行けって言われ…