2010年06月27日のツイート
@kururu_goedel: @minami106 これは十分明らかだと思いますが。u<p<q<vとなるような有理数の組p,qに対する開区間(p, q)をすべて集めて和集合を取れば(u, v)になる、というのはQの稠密性から簡単に示せます。
2010-06-27 13:57:51 via web to @minami106
@kururu_goedel: 弱い定理の方の証明もなんかギャップが多いような気がする。ふぅ。
@kururu_goedel: あ、でも一つは私の間違いの指摘が本質的で修復不能だとして弱い定理に書き換えられている。不十分な証明が出版されるのを防げたんなら、この長いやりとりも無駄にはならなかったんだなと思える。
@kururu_goedel: ああ、これで4回目の査読報告になるのに、最初から問題視していた証明の穴がまだ直ってない。何とかしてください。