2011年09月05日のツイート - kururu

@kururu_goedel: @kagami_hr 集合論者は祈りのない相当な心理的持病の持ち主なので、5まで数えるとωに飛んでしまうのでしょう（参考 : URL）

@kururu_goedel: kururu_goedelさんが集合論でこれは美しいと思う定理をいくつか挙げてもらえないでしょうか？ - kururu_goedel [ザ・インタビューズ] #theinterviews URL

@kururu_goedel: @ytb_at_twt 「数学のガイドライン」適切だと思いますが、名言かどうかに疑問が…… #theinterviews URL

@kururu_goedel: (前略)論理学とは何かを表す名言としてふさわしいのはどういう言葉だと思いますか？ - ytb [ザ・インタビューズ] #theinterviews URL

@kururu_goedel: @kinaba さんのアイコンはDQのモンスターという認識だったので、数日間@kinaba さんを認識できていなかった件について。

@kururu_goedel: @masahiro_sakai きっちりと普通の集合論を頭からやるか、一つ題材（強制法とか）を絞ってそれに到達するのに必要なところのみやるか、厳密さにこだわらず重要な結果を味わえるようにするか、みたいな。

@kururu_goedel: @masahiro_sakai やるとしたら、どんなレベルと題材でやってほしいですか？いや、私に企画することは不可能ですが、酒井さんクラスの人が何に興味を持つのかは知りたいです。

@kururu_goedel: @mazamachi なりません……。

@kururu_goedel: せいぜい出来るのはネタ提供ですが、題材選択のセンスも抜群なので、正直私の出る幕ないです。URL

@kururu_goedel: ザ・インタビューズにあった@hyuki さんとの共著ってやつですが、私には絶対に@hyuki さんの執筆過程にはついていけません。会心の出来の部分を全体に合わないからバッサリ、とかをやり続ける精神力はないです。URL

@kururu_goedel: URL【というか高階述語論理読めるなら何の問題も無い】あのー、ZFCは一階述語論理で記述されているのですが。まあ、高階が読めた方が読みやすいのかな。わからないけど。

@kururu_goedel: @yasuto0627 あー、えーと、あんまり年齢がばれそうな話は避けたいのですが。