2011年04月11日のツイート
@kururu_goedel: @sasaism それはなにより。よく勉強して先生がやりやすいようにしてあげてくださいね。
2011-04-11 21:15:29 via TweetDeck to @sasaism
@kururu_goedel: 他の数学者と議論しているときに、不審がった警官に呼び止められて事情を聞かれたとき、エルデシュが「問題があって」警官「どんな問題だ」となってそのとき考えていた問題を警官に説明した、という逸話を聞いたことが。
@kururu_goedel: 爆発音がした。エルデシュは振り向くと、「それではnを自然数とする。このとき……」と一晩中数学をやった
@kururu_goedel: これ、エルデシュならどのシチュエーションでも良いような気が。URL
@kururu_goedel: @kagami_hr 確かに、Jechの方が数字全般に慣れている人にはやりやすいかもしれませんね。そこは好みで。
2011-04-11 01:23:51 via TweetDeck to @kagami_hr
@kururu_goedel: そうです。モデル上では全ての文の真偽が定まるので。RT @muratori_d @kururu_goedel Con(ZF)を仮定しないと、もしかしてモデルを作ることはできないということですか?