2011年10月07日のツイート
@kururu_goedel: なんかこれで本気で心配してくださっている人がいるみたいなんですが、半分冗談ですし、あまり気にしてもないので。#theinterviews URL
@kururu_goedel: つーかあの本、誰にもきちんと読んでもらってない証明あるだろ絶対。
@kururu_goedel: もしProper and improper forcing(略してPIF)の内容が全て、普通の集合論者でもわかるところまで解読されてまとめられたら、ずいぶん集合論は進歩するだろうなぁ。解読自体は進歩でないけど、どれだけ勉強になるか。
@kururu_goedel: @patho_logic それだ!!
2011-10-07 14:14:04 via TweetDeck to @patho_logic
@kururu_goedel: 公理的集合論で生み出されてきた数学的手法の他分野への応用で大きな成果のあったものとしてはどんなものがあるのでしょうか? - kururu_goedel [ザ・インタビューズ] #theinterviews URL
@kururu_goedel: このタイミングですら「人間性はともかく」と付け加えられる米長棋聖はすごいな。 URL
@kururu_goedel: @qlibian 絶対勝てない……
2011-10-07 11:07:56 via TweetDeck to @qlibian
@kururu_goedel: @38valleys 言いたいことはすごくよくわかるんですが、自分で書くときは面倒くさいですよね……。
2011-10-07 10:47:53 via TweetDeck to @38valleys