2011年08月04日のツイート - kururu

@kururu_goedel: プロジェクトA子 #アニオタになったきっかけのアニメ（引退済みだが）

@kururu_goedel: @ta_shim_at_nhn 数値計算はそういうのが結構ありそうですね(あの記事の中でも触れられていますが)。

@kururu_goedel: 疲れた。限界。

@kururu_goedel: TodorcevicやJustin Mooreの基底問題への貢献とかは紹介している文章を知らないので誰か教えて。というか、誰か書いて。

@kururu_goedel: Cummings先生の Notes on singular cardinal combinatorics は違った方向への研究のことをたくさん書いてあるサーベイです。（PDF注意 URL

@kururu_goedel: なんかいくらなんでも手前味噌がすぎるので、自分のサーベイの宣伝はやめる

@kururu_goedel: Shelahの連続体問題への見方は彼自身による"You Can Enter Cantor's Paradise"を読むのが一番かと。URL

@kururu_goedel: 以上。でも、全般的にはよく書けているという印象は変わりませんよ。ただ、「究極のL」そのものについては何も知らないのでチェックできません。

@kururu_goedel: つーか、うちの師匠にもインタビューしてさ、「だから連続体仮説は真だって前々から俺言ってたじゃんwww」とか言わせてあげてくださいよ。いや、根拠は全然違うのだけど。

@kururu_goedel: HamkinsがWoodinの弟子であることは書いて、CaicedoがWoodinのいるBerkeleyで学位取ったことには触れないのはmisleadingじゃない？

@kururu_goedel: 連続体問題が解けないのは、それが間違った問題だからだっていうShelahさんの意見も書いておいてください。

@kururu_goedel: Martin-Steelの定理は、Woodin無限個要るよねえ。違ったっけ。

@kururu_goedel: ハムちゃーん

@kururu_goedel: 「高い無限」というのは微妙な言葉で、大きな巨大基数もLの中では大して大きく見えないわけで、まあ間違いとか使うなとかは言わないけど、微妙だなと思う。

@kururu_goedel: バナッハタルスキパラドックスにちゃんとした文章で触れるときには、ハウスドルフの功績も書くべきといちいち主張するクラスタ。

@kururu_goedel: 選択公理はZermeloが最初に発表した公理系に含まれていたはず。というより、彼自身による実数の整列可能性の証明を擁護するのが主な目的とさえ思えるのである意味集合論の公理系の方がおまけ。

@kururu_goedel: "ultimately paradoxical conception of what sets are"はしばらく前に書いた通り間違いだと思う。線引きはともかく、やってはいけない構成があることはカントールも認識していたと思う。

@kururu_goedel: これに関するツッコミなど（@patho_logic経由） Ultimate logic: To infinity and beyond URL

@kururu_goedel: 素晴らしい記事。誰か@kinaba さんをたらしこんでこれまでの面白いエントリをまとめた本を出させるべき。URL

@kururu_goedel: ただ、こういう感じで集合論の最先端が取り上げられるときはWoodinの連続体仮説のことばかりな気がします。five-element basisとかPCF theoryとか、違う角度から革命的な仕事をしている人たちも紹介してほしい。

@kururu_goedel: 例の「究極のL」ネタのやつ読んだ。全般的によく書けていると思う。数点ツッコミがあるので時間があるときに。

@kururu_goedel: @patho_logic スパコンのある内部モデルが作りづらいってことは師匠が何回も説明しているのですが、理解していないダメ弟子です。

@kururu_goedel: @patho_logic スーパーコンパクトがあるような内部モデルを作るというのは、内部モデルの人たちの長年の夢なんですが、ここ１０年くらいはどちらかというと「class-many Woodinでたいてい十分じゃね」って流れかなと思っていました。