2011年05月13日のツイート

@kururu_goedel: なんの脈絡もなくいきなり停電になってびびった。10分くらいで復旧したけど。

2011-05-13 13:48:39 via TweetDeck

@kururu_goedel: @hyuki それで構いません。完全性と健全性により、無矛盾であることとモデルが存在することは同値なので。

2011-05-13 12:49:31 via TweetDeck to @hyuki

@kururu_goedel: まあ、問題設定は集合論的なものが多かったけど。飽和イデアルに基数演算にuniversalモデルにprecipitousイデアルか。多かったじゃなくて全部だ……

2011-05-13 12:35:45 via TweetDeck

@kururu_goedel: もう宣伝し過ぎだけど、このサーベイでは集合論もやっぱり普通の数学と同じような面がたくさんあるんだよということも主張したつもり。 URL

2011-05-13 12:33:15 via TweetDeck