2011年05月17日のツイート
@kururu_goedel: なんで群馬はここまでいじられるようになったのだろう。
@kururu_goedel: Children's HospitalをCHと略しているメールが来て、そうわかるまですごい時間を要した
@kururu_goedel: ドナルド・トランプ大統領選挙でないのかぁ。いいギャグになりそうだったのに、残念。
@kururu_goedel: もし高校野球の女子マネージャーがDORA(URLだったら。
@kururu_goedel: @tmnghryk スコーレムパラドックスは、可算という性質がモデルによって違う(絶対的でない)ということを示すのみというのが今では一般的な見方だと思いますが。集合論で、可算初等部分モデルがイヤって言うほど使われることから見ても、限界というよりは可能性を示すものと思います。
2011-05-17 01:22:42 via TweetDeck to @tmnghryk