2013年01月04日のツイート
@kururu_goedel: @kagami_hr いや、もちろん読んでません。これで腑に落ちました。もっとも、集合論をやりたいと言っている人にブルバキを勧めるのには注釈が必要かと思いますが。
2013-01-04 14:30:08 via TweetDeck to @kagami_hr
@kururu_goedel: でも、よく考えてみるとヌルくC++の話をしているときに、@Cryolite さんに「やあ」とかリプをもらったら発狂+失禁しそうだし気持ちはわかるので、フォローされていない人にネタっぽく絡むときはリプにせずに悪質RTにしてます。
@kururu_goedel: @phasetr えっ、結構昔から使ってますよ。リンク貼らないときが多かったかもしれませんが。なんか私にリプ飛ばされると怖がる人が結構いるようなので。
2013-01-04 14:09:30 via TweetDeck to @phasetr
@kururu_goedel: @ROUNIN__MAIDEN この話なんですが、連続体濃度はアレフ2であるという見方を最も強く推し進めていたWoodinが宗旨変えして連続体仮説正しい説に肩入れし始めたのでなんとも。ちなみに私の師匠はWoodinの宗旨替え以前からの連続体仮説正しいよ派です。
@kururu_goedel: (集合の)共通部分が空であることを「互いに素」というのはどこが起源なんでしょう?英語ではdisjointなので「素」という言い方に至るにはけっこうギャップがある気が。
@kururu_goedel: URL 【(前略)「公理的集合論です」「あ…そっち系…」】 そっち系の人ですが、どんな分野と一緒にそっち系とくくられているのかが気になるわけです。
@kururu_goedel: というか、私は最初の方だけ眺めただけなのでわからないのですが、ブルバキの集合論に現代的な意味ってあるんでしょうか?ブルバキの他の教科書を読むときに役立つってことなんでしょうか?
@kururu_goedel: URL 【[S先生の発言集] ・SGAとEGAは3,4年で読むべきだ。 ・ブルバキの集合論は高校の時に。 ・ブルバキの可換代数は3年の時に。】 なんでブルバキの集合論読む必要があるんだろ。
@kururu_goedel: 全裸中年男性ネタをツイートしかけたが、長すぎて140字にどうやっても入りきらなかったので人生を踏み外さずにすみました。