2011年04月09日のツイート
@kururu_goedel: 足立先生がtwitterにいらっしゃるとは
@kururu_goedel: 友達だと思ってた異性が突然「今夜泊めて」とやってきた。あなたはどうする? エルデシュは、「それではnを自然数とする。このとき……」と一晩中数学をやった
@kururu_goedel: @Mutsuki_Kojima 出来ます。直接証明するなら、背理法バージョンの方から考えてみてください
@kururu_goedel: ここで背理法バージョンだときれいに解ける問題を紹介して華麗にフィニッシュするはずが、背理法なしですんなり行くことに気がついて激しく着地に失敗した
@kururu_goedel: @Mutsuki_Kojima すると、m({x})>0となるようなxは、n_xの値によって可算個に分割されています。非可算のものを可算個に分割したので、ひとつは非可算個。nを{x : n_x=n}が非可算になるような正整数とすると、あとは同様に矛盾を導けます。
@kururu_goedel: @Mutsuki_Kojima 背理法を使うなら、m({x})>0が成り立つようなxが非可算な存在するとして、そういうxに対してm({x})>1/n_xとなるような正整数n_xをとってきます。
@kururu_goedel: @Mutsuki_Kojima 私なら、任意の正整数nに対してm({x})>1/nとなるようなxは有限個で、m({x})>0となるようなそれらの和集合なので可算、といきます。本質的には変わりませんが。
@kururu_goedel: @Mutsuki_Kojima 正しいと思います。ただちょっと不要な部分がありますね。
@kururu_goedel: 米政府の閉鎖は免れたのか。何度も言うけど、オバマは本当にタフな交渉人にして、タフな政治家だと思うよ。無論、全部の決断に賛成しているわけではないけど、まとまりようがないと思っていた交渉を幾度も切り抜けていてすごい。
@kururu_goedel: @Mutsuki_Kojima どういう話ですか?
@kururu_goedel: @ke_ta Jechは初学者にとってはKunenより読みづらいと思いますよ。より現代的だし、扱っている話題も多いですが
2011-04-09 08:16:41 via TweetDeck to @ke_ta
@kururu_goedel: よく考えたら、師匠が表現論の教科書いつも抱えて歩いていたときの年齢は、今の私よりも上じゃないか。まだまだ勉強、まだまだこれから。
@kururu_goedel: あ、私の知人で、50歳を過ぎてからアメリカに来て博士号をとってついこの間まで大学で日本語教えていた人がいます。
@kururu_goedel: @powdergreen_tea 「高校生とかどれだけ可能性に満ち溢れているんだよ」→「B1とか…」→「B3とか…」→「学部生とか…」→「院生とか…」→「20代とか…」→「結婚前とか…」→「40代とか…」→「還暦前とか…」
@kururu_goedel: 「集合論くらいは理解して」とかいう言葉を見るたびに毎回固まる。俺、集合論理解してないよ、まだまだ。全然。もちろん意図していることはわかるけど。