2011年04月20日のツイート
@kururu_goedel: . @kagami_hr @evinlatie はた迷惑なことに、Woodinは宗旨変えして、今は連続体仮説が成り立つことを示そうとしているらしいです。同僚のWoodinの弟子の話なので多分確かです。
@kururu_goedel: 例えば、アロンシャイン直線使ってホモトピー定義したらどうなるかなとか、緩く妄想中。群構造は入らないので[0,1]の場合みたいな議論は全然できない。かなりの確率で不自由過ぎて何もできない、で終わりそうだけど。
@kururu_goedel: アロンシャイン直線上だと、実数上で当たり前に使っている概念が笑ってしまうほど使えないので厄介。それが面白いといえばそうだけど。
@kururu_goedel: さて、ほとんどの部分はすごくラフにだけどスケッチができたのだけど、最後の補題の証明をどう表現するか。
@kururu_goedel: @patho_logic 私がもらったことのあるのは、フェルマーの最終定理の簡単な証明っていうのくらいですか?
2011-04-20 16:25:22 via TweetDeck to @patho_logic
@kururu_goedel: @patho_logic いや、これは「信じていただけないかもしれませんが…係」宛なので。
2011-04-20 16:23:51 via TweetDeck to @patho_logic
@kururu_goedel: だからなんでsqrt(n+1)/(n^4+1)<1/n^{7/2}なんだよ。計算してみたらほぼ全てのnに対して逆だぞ