2011年09月02日のツイート
@kururu_goedel: @CharStream ありがとうございます。ちょっと見てみます。
2011-09-02 22:07:35 via Seesmic to @CharStream
@kururu_goedel: この前、ラジオでモーツァルトのピアノ協奏曲第26番が流れていた。あんまりよいイメージが無かったのだけれども、こう聴いてみると割と面白い。メインの部分は単純なんだけど、妙なところで対位法的に動いているのが。曲を聴きながら、妻との会話が破綻しない程度に話も聞くのが大変だった。
@kururu_goedel: フランスにいたとき、クロワッサンが全然現地の人に通じなくて、完全に開きなって「くわそん」って言ったらそっちの方がはるかに通じたという思い出が。
@kururu_goedel: 実験数学やproof checker,proof assistantなど数学研究へのコンピュータ応用についてなにか思うことがあれば、コメントをお願いします。- kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: 好きなアニメについて語ってください! - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: @zhanpon ありがとうございます。直しました。
2011-09-02 12:44:19 via TweetDeck to @zhanpon
@kururu_goedel: ご専門以外で好きな数学の分野について教えてください。 - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: @kagami_hr 言いたいことはまさにそういうことなのですが、実例なしでは説得力がないのではないかと。例えば強制関係を定義するには∈と=を考えればよいけど、他の関係はそれらでコードされるから強制法で扱えちゃうよ、とかみたいな。
2011-09-02 12:13:58 via TweetDeck to @kagami_hr
@kururu_goedel: 数学者を志したのは何歳ぐらいの頃からで、公理的集合論を専門にするようになったキッカケは何だったのでしょうか? - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: 所謂classical mathematicsこそが数学であるとお考えでしょうか? 可能な限りその理由もお聞かせ下さい。 - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: 米国に来てもっとも良かった事、残念だった事をひとつづつあげて下さい。 - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: もし家庭でなにかペットを飼ってられるのでしたら、そのペットについてお話しを聞かせてください。 - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: 数学者で最も注目する人物3人と最も尊敬する人物3人をあげてみてください。 - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: クラシック音楽とアニメがお好きなようですが、あえて言うとどちらの方をより愛していますか? 出来るだけ正直にお応え下さい。 - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: URLのZFωというset theoryをどう思われますか? - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: 大学で数学を教えていて、生徒がした質問のなかで最も面白かったものについて教えて下さい。 - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: 論文を書くときにもっとも注意していることは何ですか。 - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: 将来、集合論研究者を目指す学生にむけてなにか一言。 - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: ザ・インタビューズの回答、けっこう真面目に書いているけど読んでもらっているか不安なので連続ツイートで流します。興味のない人はスルーすべし。
@kururu_goedel: 困るのは、そのメリットを宣伝しているような、非専門家向けの文章が多分全くないことで。
@kururu_goedel: 第一が、ZFCの最大の利点は全てを「ある性質をみたす集合です」で済ませて、そして「性質は∈関係で記述されています」で済ませてしまう簡潔さにあるのに、そこになにかを付け加えるメリットはいまいちわからないのだけど。
@kururu_goedel: なにか新しいことが証明できるとか、証明や記述が劇的に簡単になるとか、そういう利点がないと、私は興味がわかない。
@kururu_goedel: 集合論の新しい体系について聞かれた場合の私の反応はほぼ常に「それでなにができるの?」でして。なんかちょっときれいに書けることがあるよ、とかくらいだと、ZFCのなかでその理論をしゃべれば良いだけじゃない?っておもってしまう。
@kururu_goedel: @yasuto0627 お久しぶりです。昔のメールを探しだして思い出しました。いかがお過ごしですか?
2011-09-02 10:59:49 via TweetDeck to @yasuto0627
@kururu_goedel: ふぅ。
2011-09-02 10:43:56 via web