2011年05月08日のツイート
@kururu_goedel: @aleo724 あれはよいですね。ちょっとコンパクト過ぎて最初に読むには大変かなと思っていたのですが、わりとそうでもないですか?
2011-05-08 13:32:48 via TweetDeck to @aleo724
@kururu_goedel: @Nathema いずれにしても、私には@Nathema さんの意見がどういう考えから来ているのかよく理解できませんし、自分の考えはすでに理解可能なところまで述べたと思うので、このあたりで基本的には撤退いたします。
2011-05-08 13:15:18 via TweetDeck to @Nathema
@kururu_goedel: @Nathema 数理論理学は、「集合とはなにか」「証明とはなにか」「真理とはなにか」などという哲学なら真摯に向き合わなければいけない問題を、形式的定義に置き換える形で発展してきました。それを哲学と呼ぶのは、それらの難しさに取り組まなければならない哲学者に対して失礼と思います。
2011-05-08 13:10:35 via TweetDeck to @Nathema
@kururu_goedel: @Nathema 私が主張しているのは、哲学が問題にしていることと数理論理学が問題にしていることは全く違うということです。ポジティブ、ネガティブとかいう問題ではなく、哲学でないものを哲学と呼ぶのはよくないし誤解を招くということです。
2011-05-08 13:08:11 via TweetDeck to @Nathema
@kururu_goedel: @Nathema 数理哲学という言葉は、多分数学の哲学と同じ意味でよく使われています。そして、私の研究はそれとは全く違います。私は代数構造や位相空間を研究するのと同じような意味で、集合論の宇宙を研究しているので、雑多な分野の一つでよいです。
2011-05-08 13:03:19 via TweetDeck to @Nathema