2011年05月06日のツイート
@kururu_goedel: @Nathema 通常の純粋数学者じゃないので、うちの分野には適当すぎて頭を抱えるような言葉を当てられた定義ばっかりです(笑)。構造の方はもちろんそう思いますし、自分でなにかを定義するときには気を使いますが。
@kururu_goedel: @mr_konn E研にでも遊びに行ってきなさいな。
@kururu_goedel: いや、2と奇素数の挙動が大きく違うとかって話は他でも聞いた覚えがあるけど、primeにoddをつける手間すら省きたいのかと。
@kururu_goedel: いつぞやうちの大学で講演した数論の人が「2は素数とするべきじゃないと思うんですよねー」とか言ってたの聞いて笑った
@kururu_goedel: @Nathema それと、集合論といったときにどのようなものを想定していますか?そこで食い違っているかもしれません。私はKunenやJechに載っているものやそれが発展したものを考えているわけですが。
@kururu_goedel: @Nathema 理論計算機科学が数学でないと考えられる理由は、最終的に計算機に関連付けられるという一点のみにあると思います。そのような関連付けをされるような分野が集合論に存在するということでしょうか?あるいは、その関連付けが哲学になされているということでしょうか?