@kururu_goedel: うわ、よく見たら集中講義の課題とか書いてあるじゃないか。ごめんなさい。2011-06-30 09:27:26 via TweetDeck @kururu_goedel: っていうか、なんでこの人は公理的集合論に触れて一週間で可測基数のことなんかやっているんだ？2011-06-30 08…

@kururu_goedel: うわー、こっちも無駄に長いやつのみの解答で解決済みになっちゃったよー。URL2011-06-29 21:22:41 via TweetDeck @kururu_goedel: 間違った解答がされているから後で訂正せねばと思っていたら解決済みになってしまった。URL2011-06-29 10:0…

@kururu_goedel: @taylor2173 wrtは多分比較的標準的で通りの良い略記だと思います。2011-06-28 06:13:54 via TweetDeck to @taylor2173

@kururu_goedel: @niam そんなにかかるんですか？数学は少なくとも私の知るかぎり無料なのでカルチャーショックが2011-06-27 11:18:37 via TweetDeck to @niam @kururu_goedel: いや、大正野球娘はちょっと前に中盤から最終回までみて結構楽しかった。とはい…

@kururu_goedel: なんで夜中（東部時間）にくだらないツイートを連発しているかというと、なんか横になると咳がでるので、隣の部屋にいる妻を刺激しないように暗闇で座っているのが退屈だからなのだが。2011-06-26 13:02:03 via TweetDeck @kururu_goedel: …

@kururu_goedel: @muratori_d もっとも、集合論の範囲内（で手が届くレベルのこと）なら、面白いと思えば首をつっこむつもりですが。2011-06-25 06:01:26 via TweetDeck to @muratori_d @kururu_goedel: @muratori_d 巨大基数の話を中心にやっていたはずなん…

@kururu_goedel: @night_in_tunisi まあ私の場合は、ソーシャルスキルの方がよっぽど心配されていたので、勉強は重要視されなかったのでしょう2011-06-24 21:09:33 via Mobile Web to @night_in_tunisi @kururu_goedel: @night_in_tunisi 私は勉強に関して怒…

@kururu_goedel: もちろん写真付きで呟いたのは、「謹呈」をみせびらかしたかったからなのだけど、むしろあの程度で献本してもらってごめんなさいという羞恥プレイになってきました。ごく最初の方と集合論のとこしか読んでません……2011-06-23 09:10:19 via T…

@kururu_goedel: 『数学基礎論』届いた。URL2011-06-22 20:53:51 via TweetDeck @kururu_goedel: @ttmtko 証明図っぽい面もあるのですが、箇条書きなどに比べて適当な思い付きをぶら下げてもあまり気にならないというのがでかそうです。そういうのを思い出す…

@kururu_goedel: @MarriageTheorem なにも準備がない状態ではこの書き方が一番早いので、公理系につっこむときにはよく使われます。ZFCを書くときもこれが一番普通かと。2011-06-21 13:24:27 via TweetDeck to @MarriageTheorem @kururu_goedel: あと、セシ…

@kururu_goedel: @georg_logic 運転しながら英語をきいてなので、[要出典]です。カデンツも書いたとか言っていたような気が。2011-06-19 14:02:36 via TweetDeck to @georg_logic @kururu_goedel: ラジオでモーツァルトのピアノ協奏曲第24番を途中まで聴けて…

@kururu_goedel: @timewalker_sa 非可算言語は有限の立場からは直接扱えないとして集合論にいれて考える方が普通だと思います。2011-06-18 23:04:51 via TweetDeck to @timewalker_sa @kururu_goedel: @sasaism えーと、あれはちょっと前にいろいろあって書…

@kururu_goedel: @utmath 具体的なものも難しいです。少なくとも私には。2011-06-17 14:01:04 via TweetDeck to @utmath @kururu_goedel: @kagami_hr 私の記憶では、不可算言語は記号が不可算ある言語（例えば不可算集合の元全てに対応する記号を用意すると…

@kururu_goedel: @itimasan φは空集合、つまり元を一つも持たない集合。{φ}は空集合を唯一の元とする集合です。つまり、∀x(¬x∈φ)で、∀x(x∈{φ}⇔x=φ)です。2011-06-15 13:12:24 via TweetDeck to @itimasan

@kururu_goedel: 「夜遅くまで起きているな。そんなに仕事したいなら朝起きてやれ」と言われた二日後に、「うるさいから朝早く起きるな」と言われる。ギャップの二日間朝に論文書きができてよかった2011-06-12 11:50:33 via TweetDeck @kururu_goedel: 実数…

@kururu_goedel: @hyuki 向きづけ不可能っぽいです……2011-06-09 06:18:01 via TweetDeck to @hyuki @kururu_goedel: でも今日は比較的長く作業できていろいろアイデアをはきだせて良かった。明日からも5時起き継続しよう2011-06-09 03:01:54 via TweetDeck @…

@kururu_goedel: とりあえず、一次元の関数の補題は完成したから寝る。というか、すでに怒られそうな時間。2011-06-07 12:55:48 via web @kururu_goedel: 後者の方は今考えている証明の筋で出てくるのだけれども、今のところどう考えるべきかわからない。こ…

@kururu_goedel: まあ、頭から紙やエディタにすらすらとまとまっていかない私が悪いといえば悪いのだけれども。2011-06-05 12:34:31 via TweetDeck @kururu_goedel: あー、頭の中にある証明を書き下す時間が少なすぎてイライラする。2011-06-05 12:33:23 via…

@kururu_goedel: @average33 range(f)が閉区間というところに大きなギャップがあると思いますが。例えば、有理数全体の集合上の連続関数ではなぜ中間値の定理が成り立たないのか、この証明では説明できません。2011-06-03 23:42:13 via TweetDeck to @averag…

@kururu_goedel: Hajnalの主だった業績を思い出せない自分が情けないので寝ます。2011-06-02 14:00:58 via TweetDeck @kururu_goedel: @nayuta87 「押し込む」の定義にも依りますが、普通の数学はほぼ全て公理的集合論の中で展開できるので、わざわざブール…