2012年09月22日のツイート
@kururu_goedel: @ytb_at_twt そりゃあ真のユニバースでは、選択公理は真だけど、決定性公理もV=Lも連続体仮説も偽だから当然じゃないですか。(ネタです念の為)
2012-09-22 23:51:41 via TweetDeck to @ytb_at_twt
@kururu_goedel: @hrizm_math 「予想というのはよそう」
2012-09-22 21:36:44 via TweetDeck to @hrizm_math
@kururu_goedel: @YuishiYumeiji なんか違うような。写像もグラフと同一視するくらいに、なにもかも集合という構造にかんげんするのが集合論だと思うのだけれども。
@kururu_goedel: @patho_logic さっきのツイートはちょっと言い過ぎかもしれません。Shelahはその前から色々やってました。CH+"every Aronszajn tree is special"とか。
2012-09-22 04:26:14 via TweetDeck to @patho_logic
@kururu_goedel: @patho_logic 実数を付け加えないiterationはマニアな世界なんで。多分ShelahとToddとJustin Mooreしかまともにわかっている人がいない。
2012-09-22 04:25:06 via TweetDeck to @patho_logic
@kururu_goedel: 死ぬほど眠かったのでオフィスで5分ほど仮眠したらかなり楽になった