2012年09月25日のツイート
@kururu_goedel: @RO14159265 ああ、そうでした。あれは集合論からではなかったですね。
2012-09-25 04:11:10 via TweetDeck to @RO14159265
@kururu_goedel: @tane_yoshi マジレスすると、専門のことはよくわかっているから、それで神が証明できるわけなんかないってわかっているからじゃないですか?
2012-09-25 02:43:34 via TweetDeck to @tane_yoshi
@kururu_goedel: グロタンディークくらいに幅広い仕事をした人なら、どこかでついうっかり神の存在を証明してたりしないんですか?
@kururu_goedel: 数学を使って神の存在証明をやろうとする人はなんでみんな集合論からなんだ?誰か代数幾何で神の存在を証明してくれよ。
@kururu_goedel: もうやだ、こういうの。URL URL URL
@kururu_goedel: それとか、強制法絶対性を使った解析の定理の証明を理解するために、集合論を勉強した解析学者の話とか、だれがどの定理ってわかっていれば一つ話なのに、Todorcevic先生に聞いたあと忘れてしまった。
@kururu_goedel: なんかKechris先生が数年前に、連続体仮説の真偽によってHomogeneousな解が存在するかがかわる具体的な方程式とかの研究をしているNYの人の話をしていたのだけれども、どの人のどういう話だったのだろう。いつもこういうのを詰めずに忘れてばかりだ。