@kururu_goedel: @adsc3 やだやだぼくぐーぐる教徒だもん。ってわけでfirefox14インストール完了なう。2012-06-29 11:03:51 via TweetDeck to @adsc3 @kururu_goedel: Calc Iの最初のテストを採点しているのだけど、x=-2のときのx^2を-4としている学生が多く…

@kururu_goedel: 間に合っ……てないけど、間に合ったことにする。2012-06-28 23:36:04 via TweetDeck @kururu_goedel: テストまで残り一分、問題をコピー中。頑張れ、コピー機。2012-06-28 23:30:14 via TweetDeck @kururu_goedel: 言い訳ですねごめんなさい…

@kururu_goedel: でも、普通の数学を知らなくてもそれなりに集合論ができるのは、私の世代で最後になるのではないかと。2012-06-27 04:16:05 via TweetDeck @kururu_goedel: 線形代数も微積も、普通の人が大学で習うような数学は一切私の論文にはでてこない…

@kururu_goedel: @kamo_hiroyasu 不明確さや紛らわしさを避けるって基準ならよくわかるんですけれどもね。2012-06-26 12:46:07 via TweetDeck to @kamo_hiroyasu @kururu_goedel: @orange5109 むしろその言葉がどういう感覚から出てきているのかをわかりたい…

@kururu_goedel: 冗談はともかく、加藤先生でなくとも、数式がある操作をしてもらいたがっているように見えるくらいは普通にあると思うのだけど。2012-06-24 12:51:43 via TweetDeck @kururu_goedel: 「微分してあげると」を批判する人は、まさか関数がナイ…

@kururu_goedel: 今、ラジオのクラシック専門局で「好きなオペラの統計をとるなら魔笛は上位に食い込むだろう」とか言ってあがった。魔笛はジングシュピールであってオペラじゃないだろうがこのボケが。2012-06-23 22:07:15 via TweetDeck

@kururu_goedel: Texlive for Android、試して見たいけどルートをとらないといけないというところで躊躇している。URL2012-06-22 02:41:19 via TweetDeck @kururu_goedel: それでtwitterが落ちてるからtwitterが落ちてると呟こうとしたらtwitterが落ちてるか…

@kururu_goedel: @ytb_at_twt すみません、念頭にあったのがカントールのみでした。それらの通俗的な本でもそうだと思います。 フレーゲを考えないのはダメダメですね。2012-06-20 13:51:50 via TweetDeck to @ytb_at_twt @kururu_goedel: @ytb_at_twt 妥当…

@kururu_goedel: @Aka_neko 私より先に言ってくださってありがとうございました。本当に助かりました。2012-06-19 12:51:48 via TweetDeck to @Aka_neko @kururu_goedel: @hymathlogic 「全てのκについてκ-supercompact」とかいう量化が入るsupercompactより…

@kururu_goedel: @tadamago 妻曰く私はそんな感じらしいのですが、説明されてすらどのように嫌悪されているのかわからないので、要するにコミュ障が深刻です。2012-06-17 14:11:35 via TweetDeck to @tadamago

@kururu_goedel: この前、娘が通っている日本語補習校の図書室の手伝いをしていたら、小学校低学年の女の子たちが「○○ちゃん、××ちゃんと△△ちゃんが○○ちゃんのこと嫌いって言ってたよ」「知ってる」という会話をしていて、大人たちがドンビキしていた。2012-…

@kururu_goedel: だから、人に会うたびに「ああ、この人も一人になったら匿名アカでツイートしまくっねいる同士なのだな」と思うと顔を忘れないかもしれません。2012-06-15 16:23:31 via TweetDeck @kururu_goedel: というわけで、相手がどれだけ自分と近い…

@kururu_goedel: 確かJustin Mooreは大学に入った時点で普通の数学専攻学生が学部にいる間にとるようなコースは全て通してあって、そこから二年で学部と修士を同時に修了したんだよな。2012-06-14 12:20:07 via TweetDeck @kururu_goedel: そういうエリート…

@kururu_goedel: ねむっちゃいけないのでエゴサーチして遊んでいる。なんかWeak diamondのやつが参照されてた。2012-06-13 14:47:47 via TweetDeck @kururu_goedel: むしろ、単なる行列演算に終わらないきちんとした線形代数を最初から仕込めるチャンスだと…

@kururu_goedel: General topologyがいくら独立命題ばっかりになったとしても、さすがに論理学の一部とは言わないと思うのだけど。それと一緒。2012-06-12 13:37:34 via TweetDeck @kururu_goedel: MSCで集合論が03Eだとかいうのは、むしろそっちが実情にそ…

@kururu_goedel: 「じゃあ、基礎づけ気にしないならそんなコード化とか無意味なの？」って聞かれたら、「そんなことはない、初等部分モデルや強制法や初等埋め込みなど集合論にコードしたから可能または容易になった議論がたくさんある」と返したいわけだけ…

@kururu_goedel: 試してみる。 \aleph_\omega^{\aleph_0}<\max\{( 2^{\aleph_0})^+, \aleph_{\omega_4}\} URL2012-06-09 11:58:28 via matw.co

@kururu_goedel: しかし、テトラちゃんは親とか親戚のにおいが本当にしない子だなぁと私には思えます。これはページ数の制限からそうしているだけかと思っていたのですが、そうでもないようで。2012-06-08 14:28:05 via TweetDeck @kururu_goedel: 洗濯物か…

@kururu_goedel: 数学ガールの最新刊が届きました。今回、レビューやりますといっておきながら、読んだのはタイトルだけで、献本してもらうのは詐欺的なんですが、結城さんが構わないと仰っているので有り難く受けとります。2012-06-07 11:04:15 via TweetDe…

@kururu_goedel: いやいや、今なら「知識人たるもの、Handbook of Set Theoryくらい全部読んでおくべきですよね」だ。 URL2012-06-06 01:10:42 via Seesmic @kururu_goedel: 「そうですよね。知識人たるものProper and Improper ForcingとWoodin本くらいは読…

@kururu_goedel: バチカンをバカチンに空目。すみません。2012-06-04 14:22:22 via TweetDeck @kururu_goedel: 今頃になって、5月半ばにすでに見られるようになっていたteaching evaluationの結果をみた。今回はヤバいかもとかなり心配していたのだけれども…

@kururu_goedel: @alg_d これこれ、Zermeloをdisりなさるな。2012-06-03 11:48:50 via Mobile Web to @alg_d @kururu_goedel: @yuyu_de_gozaru はい、選択公理が必要になるのはxが無限集合のときだけです。空でない集合一つから要素を取り出すのは、まさに空…

@kururu_goedel: @itimasan φは要素を一つも持たない集合。空集合と呼ばれます。{φ}は、たった一つφという元をもつ集合。2012-06-02 14:52:55 via TweetDeck to @itimasan @kururu_goedel: @yuyu_de_gozaru 選択集合はxに対して一つあればよいです。まあ、一…