2011年07月10日のツイート
@kururu_goedel: @math8128 えーと、ある公理系から証明も反証もできないことを独立と言いますが、ZFCから独立なのは連続体仮説だけではなく、他にも数多くの命題が独立となることがわかっています。例えばススリン仮説とか(参照:URL)
2011-07-10 10:29:23 via TweetDeck to @math8128
@kururu_goedel: @muratori_d その通りです
2011-07-10 08:34:26 via TweetDeck to @muratori_d
@kururu_goedel: @muratori_d 普通の定義では、M|=¬φは¬(M|=φ)で定義されているはずです。だから、(排中律が成立するなら)M|=φまたはM|=¬φが成り立ちます。
2011-07-10 07:43:05 via TweetDeck to @muratori_d
@kururu_goedel: やっぱりどこに未読があるのか一目でわかるtweetdeckにはかなわない、ということで戻す。
@kururu_goedel: @renkrage 20世紀の数理論理学が、ずっと哲学的な部分を取り除く方向に発展してきたことなど、数学は発展するに従い哲学から離れていく傾向があると考えているのですが、なにか「数学を極めれば哲学に」という事例があるなら教えてくださいますか?
2011-07-10 02:44:01 via Seesmic to @renkrage
@kururu_goedel: @metaphusika @tenapi @hyuki 通常の数学と集合論の乖離と、通常のプログラミングとOSの実際の動作とのそれとは、あまり違いがないと思いますが。私見ですが。
2011-07-10 02:32:52 via Seesmic to @metaphusika