2010年10月02日のツイート
@kururu_goedel: そんでは帰宅。
@kururu_goedel: 少しはtweetする余裕ができて嬉しい。昨日までマジで行き詰まってた
@kururu_goedel: あ、彼は、不完全性定理に関しては、私と一緒に1セメスターかけてスマリヤンそれなりにちゃんと読んだので、変な誤解はしていないはずです。
@kururu_goedel: そういえば、ゲーデルの哲学における立場をざっと分かりたい人に薦められるような英語の文章はないですかね。とある学生さんにそのあたりのことを知ってもらいたいのだけれども。
@kururu_goedel: @ranha 集合論脳の私にはsumboolとか全然わかりません。確かにcase使えませんね、それ。
2010-10-02 04:19:09 via Seesmic Desktop to @ranha
@kururu_goedel: @h_kagami いや、自分の頭をすっきりさせるためには私も時々書きますが。
@kururu_goedel: @h_kagami ベン図はダメですよー。自分の頭をすっきりさせるためならともかく。もっとも、それすら描いてくれている人が少ないですが。
@kururu_goedel: @ranha caseを使えばいいんじゃないですか?とかいう話じゃなくて?
2010-10-02 04:14:05 via Seesmic Desktop to @ranha
@kururu_goedel: うーん、$A\cap B\subseteq A$を示せとかそういう系の証明問題がほぼ全滅に近い。$x\in A\cap B$を仮定してー、とかかなりしつこくやったと思うのだけれども、その文すら書いてもらえてない
@kururu_goedel: そこまでは行きませんが、前日の夜に10ヶ所くらい修正します。QT @ytb_at_twt: @georg_logic。…今や、行きの飛行機はtex打ちタイムです。
@kururu_goedel: 一瞬Pete Roseと間違えた。ラジオで名前を言っていたのは聞いたけど、こんなスペルだとは思わなかった。URL
@kururu_goedel: @h_kagami おやすみなさい
@kururu_goedel: コンパクトでちゃんとした集合論の教科書というとHrbacek-Jechが一番の選択肢だと思いますが、強制法にはほとんど触れていませんね。
@kururu_goedel: 今日までだった学内の競争的グラントへのプロポーザルと、来週の火曜日までだったNSFのプロポーザルが両方何とか完成した。クオリティもそんなに低くないものになってよかった(自分の研究のクオリティから出来る範囲でのことだけれども)
@kururu_goedel: Lettuceのuはイと発音するとしって愕然とした