2011年07月14日のツイート
@kururu_goedel: 私が見たとこまでだとInfinite Stratusに男キャラが一人しか出てきてないので、腐女子の皆さんは困ってるかなぁと思ったけど、どうせ奴らはたくましいから想像もつかない方法で掛け算しているに違いないと思い直した。
@kururu_goedel: というわけで、数学ガール乱択アルゴリズムにエィエィが出てこなかった悲しみをぶつけたエィエィオンリー同人誌誰か作ってクレクレ #エィエィ
@kururu_goedel: わかっていることを人に理解してもらえるのは普通なんだよ。怖いのは、自分でもわかっていないことに対して適切なアドバイスができる人で、すなわちエルデシュは凄かったと思う。それとエィエィ。 #エィエィ
@kururu_goedel: @tooro1988 あれは、一般(連続体仮説)なので。タモリ仮説が「全ての九州人はタモリである」としたときに、一般タモリ仮説を「全ての一般人はタモリである」と定義するみたいなものです。ってこの例全然わかんないよ!!
2011-07-14 14:47:38 via TweetDeck to @tooro1988
@kururu_goedel: 例えば、実数が可算集合の可算和になるモデルだと、非可算な実数集合は全て可算集合の可算和なんだけど、それらの間に一対一対応つくかがわからない。モデルの構成も思い出せないし。うぐぅ。
@kururu_goedel: 確か選択公理を仮定しない場合には、CHと2^{?_0}=?_1は同値にならないんだよね。ちがったっけ。
@kururu_goedel: なんだってーー!RT @tenapi @kururu_goedel @hyuki そういえば4冊めにはエィエィが出てこなかった。きっとリサの正体はエィエィなんだ(謎)
@kururu_goedel: @koudaiin もちろんです。極端な話、公理がなければ無矛盾ですから。
2011-07-14 01:30:38 via TweetDeck to @koudaiin
@kururu_goedel: @tenapi @hyuki いや、最強はエィエィです。間違いなく。
2011-07-14 01:29:06 via TweetDeck to @tenapi