2011年02月17日のツイート
@kururu_goedel: Aronszajn Continuum自体には実数直線が埋めこまれちゃうけど、それはもうどうしようもない、と。
@kururu_goedel: Aronszajn continuumとAronszajn lineの関係についての証明がわからなくなって一瞬Todorcevic先生を疑ってしまった。ごめんなさい。Partition Treeから生成すると非可算real typeはできないわけね。
@kururu_goedel: でも、class many Woodin cardinals と聞くと、Woodinが合わせ鏡のようにずーっとならんでいるイメージは浮かびます。そりゃ宇宙に秩序が生まれそうな気がしますね
@kururu_goedel: 擬人化も自然にはなされません。寂しくてつまらない脳ですね
@kururu_goedel: あ、私は数学的概念に色がついて見えません。楽器の音とかもダメなので、色がついて見える能力ないみたいです
@kururu_goedel: 全般的にダメっぽい kururu_goedelの武将能力は 武力55 統率47 内政35 外交64 人徳29 です。 URL