2012年04月22日のツイート
@kururu_goedel: @hymathlogic べき集合いらないでしょ、とか思ったらf:κ→κの存在に必要なのか…。
2012-04-22 12:13:06 via TweetDeck to @hymathlogic
@kururu_goedel: @hymathlogic お見事。
2012-04-22 12:09:47 via TweetDeck to @hymathlogic
@kururu_goedel: @kururu_goedel 面倒くさいからやめた(だめじゃん)。
@kururu_goedel: って書いたところで気がついた。任意の集合のべき集合に対称差を演算としていれると群になるんだから、ってこれだとべき集合公理と置換公理がいるか。強すぎ。
@kururu_goedel: 問題を変えて、全ての群に対してそれと同型なものを元とするような集まりは全ての集合でない、にはどんな公理が必要か。
@kururu_goedel: 最近、何も手を打たないと運転中眠くて仕方がないので、レッドブルをぶちこんだ上でピーナッツを食べながらコーヒー飲んでる。それでようやく安全が保てるレベル。
@kururu_goedel: @zhiwei826 なるほど。その印象が正しかったとして、そういう哲学者が @zhiwei826 さんの回りに多いのは残念なことですね。きちんとした自然科学を踏まえて科学哲学をやろうとしている人たちをしる機会があることを願います。
2012-04-22 11:50:09 via TweetDeck to @zhiwei826
@kururu_goedel: 全ての群の集まりが集合にならないってやつ、かがみさんに先を越された上にはるかによい解答をだされてしまいました。置換公理が必要な気がしてた。