2012年04月30日のツイート
@kururu_goedel: @st_fake @ilovegalois いや、これは:アニマー「ほむほむかわいい」数学徒「ほむほむかわいい(定義域の演算を保とうと頑張っている姿が)」でしょう。
2012-04-30 13:06:37 via Mobile Web to @ilovegalois
@kururu_goedel: @kagami_hr そうなんですけど、お遊びとして。
2012-04-30 13:01:15 via TweetDeck to @kagami_hr
@kururu_goedel: @igaris それ、多分できると思ってメモもいろいろかいたんですが、時間がなくてしっかりフォローアッブできていません。ふぅ。
2012-04-30 12:58:49 via Mobile Web to @igaris
@kururu_goedel: @fractanimation また、コンピュータのよる証明に、手を出している集合論者はKunenしか知らないのですが、なぜここで自動証明のことがでてくるのでしょうか。
@kururu_goedel: @fractanimation この「集合論の人」というのは、具体的にどの人のどのような主張を指しているのしょうか?巨大基数を用いてZFC単体よりはるかに強力すなわち矛盾しやすい体系を使う私たちは、むしろ無矛盾性をもとめていない側だと思うのですが。
@kururu_goedel: というところでおもったのだけど、分出と置換を一つと数えたときに、ZFCの公理はいくつまで減らせるんだっけ。外延性、無限、冪集合、置換、正則性、選択は最低限要りますか?
@kururu_goedel: しまった、もちろん正則性は他の公理からはでない。
@kururu_goedel: ずっと言おうか言うまいか迷っていたけど、ZFC48はしばらくすると「あの子とあの子がいればあの子は要らない」という初期メンバーに対する激しい淘汰が起こりそうで怖い。
@kururu_goedel: 妻 #理系の皆さんはどんなものが怖いですか