2012年04月12日のツイート
@kururu_goedel: あ、巨大基数のエントリを書いてくださった方には感謝しています。こういうのは最初に書くのがエネルギーがいるので。あと、「何か言うなら自分で直せ。せめてwikipedia上でコメントしろ」というのは全くの正論なのですが、正直それだけの時間と馬力がないのでご勘弁を。
@kururu_goedel: 巨大基数とは何かに関して合意がないのは確かだけど、少なくとも順序数としての大きさだけをみて巨大であるとはしないということには合意があるとおもいます。
@kururu_goedel: 「 この性質を持つ基数は、その名の通り、一般に大変「大きい」(例えば アレフ・ゼロ( )よ りも大きい、連続体濃度よりも大きい、など) 」 ちょっとこれは巨大基数の大きさを語るには方向性がおかしいような。
@kururu_goedel: Wikipedia(ja)に「巨大基数」のエントリが出来たけど、少し違和感が。URL
@kururu_goedel: 日本の母校の後輩からメールが来て恐縮。というか、向こうがこれでもかというくらい丁寧に書こうとしていて申し訳ないくらいで。むしろ、こちらの不義理を詫びるべきところなのに。
@kururu_goedel: @ken_m123 コースがないほうが普通で、うちは集合論者や集合論的位相幾何学の人がたくさんいるから開講できているというところだと思います。
2012-04-12 04:21:22 via TweetDeck to @ken_m123
@kururu_goedel: @ken_m123 学部と修士に同時にリストされている授業なんですが、今回は最初の一ヶ月くらいで学部生がいなくなったので気楽にバリバリ進んでいます。
2012-04-12 04:20:16 via TweetDeck to @ken_m123
@kururu_goedel: おおう、それ以前に前回はdense linear ordering without endpointsが$\aleph_0$-categoricalだってのも証明しなかったのか。にゃー。
@kururu_goedel: 今回、数理論理学の授業、ハイスピードでやった上に試験を一回減らしたので、Presburger算術の完全性を証明できそうっすよ。やった。
@kururu_goedel: [数学] 逆数学! / “作家インタビュー第27回 にゃんこばずうかさん [URL]” URL