2011年01月25日のツイート
@kururu_goedel: いや、比較的短い期間にそれだけよみこんでくれたということに感謝するべきなのだけれども。
@kururu_goedel: 査読報告が来て、最初いろいろほめてくれてアクセプトする方針でとかあって喜んでいたら、その後にはんぱない量の間違いの指摘があって凹む。
@kururu_goedel: @mukkutakeshi 師匠が喜びます
2011-01-25 21:33:59 via TweetDeck to @mukkutakeshi
@kururu_goedel: 私はむしろ、「完全性定食はないんですか？」という流れになるかと思っていたのですが……
@kururu_goedel: @powdergreen_tea general topologistをやっているとlocally countable, locally compact, perfectly normal, non-realcompact spaceとか普通なんですが。
2011-01-25 03:57:10 via web to @powdergreen_tea
@kururu_goedel: @sarabayuutsu 年寄りの存在価値は、こういうときに適切な例を出して若者の時間を節約するところにこそあるので、有効に使ってやってください。
@kururu_goedel: @annihltr . @sarabayuutsu Shoenfield Absoluteness Theoremが適用できる$\Pi_1^2$または$\Sigma_1^2$で書ける命題は、モデルが標準的である限り真理値が変わらないので、その意味で独立でないことがわかります。
2011-01-25 02:10:38 via web to @annihltr
@kururu_goedel: ゲーデルの不完全性定食
