2012年06月12日のツイート - kururu

@kururu_goedel: General topologyがいくら独立命題ばっかりになったとしても、さすがに論理学の一部とは言わないと思うのだけど。それと一緒。

@kururu_goedel: MSCで集合論が03Eだとかいうのは、むしろそっちが実情にそってないだろって思うだけなんですが。まあ、集合論をあんまり根っこの方に割り当てるのも実情に沿わない感じだし、まあ妥協としては妥当かなと。いや、どう決まっているのか知らないので適当な感想ですが。

@kururu_goedel: そもそも、私は他の数理論理学は笑ってしまうほど知らないので、少なくともlogicianを自称するのは詐欺。

@kururu_goedel: 真面目に語ると、今や集合論はほぼ完全に他の論理学のユーザーになってしまっていて、集合論から他の論理学への貢献はあまりないと思うんですよね。それも、使っているのは枯れきった古い結果が多いし。だから、論理学の一部とするのはおこがましい感じがします。

@kururu_goedel: Vitaにそう書いていたら、Roitman先生に「logicでの業績がないなら書くべきじゃない」とかなりきつく言われたのがわりとトラウマ化している。

@kururu_goedel: あと集合論は論理学に入らないっていう話。まあ、実際そう思っている人が多くなっていて、専門分野にlogicと書いてしまうと「logicではどんな結果があるの？」とか言われかねないという現実的な問題が。

@kururu_goedel: あ、でも一回だけメールもらったときはおだやかでした。純粋な集合論についての質問。まあ、叩いてもなにかが得られるほど私がえらくないということかと。ちなみに、そのときは質問に答えられませんでした（ダメじゃん）。

@kururu_goedel: エゴサーチ（）していてこんなの見つけた > URL 。ああ、佐藤さんには直接disられたことはないけれども、彼が批判している集合論しか知らない、出来ない集合論者の筆頭なんで、まあ否定的なんじゃないかなと思う。

@kururu_goedel: @igaris あー、ちょっと前にこちらで問題になっていたのは、避妊具を保険でカバーすることを義務付ける法律が、避妊を良しとしないカトリック団体に適用されるのが、政教分離に反するかってことでした。彼らは一貫してその態度をとっています。

@kururu_goedel: うわー、自分で昔「集合論で位相を使うことは少ない」って書いているよ。少ないのは確かだけれどもEllentuck topologyって大物がいるじゃんよ。