2011年04月29日のツイート
@kururu_goedel: んなことどうでもいいんだよー。今日は死ぬほど忙しいっていうのに。
@kururu_goedel: いや、試合結果すら覚えていないのだけれども、印象だけ異常なほど強い。
@kururu_goedel: あの口を開けば嫌味しか言わないような森(元監督)が、第二試合の時に「昨日はまるで失投がなくて野球みたいに見えなかったけど、今日になってようやく野球らしくなりましたね」とか言っていたのを思い出す。
@kururu_goedel: あれは1995年なのか。第一試合がGreg MadduxとOrel Hershiserとのとんでもない投げ合いで、微笑みを浮かべながら冷静に投げるMadduxと回が終わるたびにキッとした表情で肩を怒らせて下を向いてベンチに戻って行くHershiserの姿が忘れられない。
@kururu_goedel: 昨日オフィスアワーに来た学生がCleveland IndiansのTシャツを着ていたので、「日本にいた頃好きだったよー」とか会話したのだけれども、後になって、私がIndiansを応援していた頃彼はまだ小学生ですらなかったことに気づいて驚愕。
@kururu_goedel: @achamo2187 関数の方が減少関数なら、ですね。f(n)=a_nが満たされていても、(n, n+1)でとんでもなく大きくなってから戻ってくるような関数ならアウト。まあ実際そういう関数を作るほうが大変ですが。
@kururu_goedel: @kawazu1147 使いました。それぞれの元に対して、それが極大でないというwitnessを返す関数が与えられていない限り。
2011-04-29 13:17:37 via TweetDeck to @kawazu1147
@kururu_goedel: @Alumina_T ブルバキは読んだことがありませんし、集合論に関しては現代的な意義があるとも思っていないので枝葉末節ですが、多分重み付けの方は体系外のメタなものなので循環していないということだと思います。
2011-04-29 13:13:42 via TweetDeck to @Alumina_T
@kururu_goedel: 私がちょっと関わった範囲でも、Small Dowker空間とか、「リンデレフならD空間」問題とか、完全正規だけどrealcompactじゃない空間はZFCから作れるかとか、困った問題がいろいろと。
@kururu_goedel: general topologyは、8個くらい性質をつなげた空間がどうのっていう細かい話が続く中で、いくつか絶望的に動きのない未解決問題があるっていう、なかなか辛い分野です。
@kururu_goedel: @tsukaday 私は52%の方です
@kururu_goedel: サーベイの英訳、ようやくひと通り終わった。あとは明日なく気で読みなおして直せるだけ直して提出。
@kururu_goedel: @yu_hashimoto 了解しました。それはなによりです。
@kururu_goedel: @yu_hashimoto 一応集合論を専門としていますが、連続公理ってなんですか?それと、どういう文脈の話でしょう?Zornの補題をZFCから証明するということですか?それともZornの補題を適用する話ですか?
@kururu_goedel: @ukikonno 枝葉末節ですが、集合論の創始者は通常カントールとされていますし、Peanoが数理論理学を創始したという見方も聞いたことがないのですが……。