2010年12月24日のツイート - kururu

@kururu_goedel: @yukoim あ、CMU は確かに良さそうですね。

@kururu_goedel: コメント返したけど、なんか不完全性定理に関する解説書で良いものってありますかねえ。URL

@kururu_goedel: あー、もちろん私が博士号とったところは数学でも哲学でも強力な人たちがいる上に、近場を見れば人材が豊富すぎるけれども、集合論以外の数理論理学者はいないので、よほど気をつけなければ思想が偏る>例：わし。

@kururu_goedel: うーん、数学メインで最終的には数学オンリーになるかもしれないけれども、でも数学の哲学にも結構興味がある人にとってよい大学院ってどこかありますかねぇ。私の知識は集合論に偏り過ぎだ。

@kururu_goedel: @powdergreen_tea あれ？それはまさに普通の測度論でやることでは。最近話題になっているYehでも後半は完全な測度空間の一般論だったはず。

@kururu_goedel: @ainsophyao いや、そうではなくて、定義とか証明とかの概念自体が、驚くべき割合の人々にとっては理解不能なんですよ。解法のアルゴリズムは追えても、その目的は理解できない人はとても多いと思います。

@kururu_goedel: @irobutsu それは勿論、勝ったのも負けたのも、教科書を批判的に読んだ人で、勝ち負け両方から経験を得られるってことではないかと

@kururu_goedel: @night_in_tunisi はーい、ありがとうございます。こちらからも、先週中に出したので、年内には届くと思います。