2011年07月12日のツイート
@kururu_goedel: うわ、間違ってfbにもポストしちゃったのを消したいのにやり方がわかんね。
@kururu_goedel: @ytb_at_twt 確かにそうですね。勇み足だったかと思います。
2011-07-12 11:29:48 via TweetDeck to @ytb_at_twt
@kururu_goedel: @sei1tani @ttmtko 慣れてしまいました……
2011-07-12 11:18:54 via TweetDeck to @sei1tani
@kururu_goedel: @ytb_at_twt 回避するために生まれた、はちょっと違うだろうと。
2011-07-12 11:16:40 via TweetDeck to @ytb_at_twt
@kururu_goedel: @ytb_at_twt それと、パラドックスが起きるのは、どういう集合なら存在しているとしてよいかが曖昧だというのが一因で、それは公理的集合論の誕生前にもカントールなどは認識していて、どこで線引きするかはともかくやってはいけない構成があるとは知っていたのだから、
2011-07-12 11:16:01 via TweetDeck to @ytb_at_twt
@kururu_goedel: @ytb_at_twt あれ?私の歴史認識の方が間違ってますか?Zermeloは彼の公理系をパラドックスを回避するためだと発表したわけではない(公理化するなら知られているパラドックスは避けなければとは思っていたにしても)と認識しています。(続く)
2011-07-12 11:07:21 via TweetDeck to @ytb_at_twt