Notices by ジタさん (selbstdenker@mathtod.online)

@Nyoho macOS版のVivaldiでも直ったかもしれません。少し様子を見ます。

昨日の講義内容に従ってコンピュータに分類問題を解かせているのだが、どこか間違っているようだ。ううむ。

Windows版のVivaldiでも問題なし。

UbuntuのVivaldiでは何の問題もなく数式がレンダリングされますね。

@Nyoho Vivaldi を使っています。これも Chrome系ではあります。

@Nyoho 確かに、数式がちゃんとレンダリングされてないですね。

@Nyoho それ、昔々に大学院生に聞かれたことがあります。どこでAC使うてるねん、って。答えは、最初の設定の段階ですでに使い終わっている、です。\(f_\alpha\) には一般に無数の選択肢があるはずで、ヒントではそれがすでにfixされています。\(X_\alpha\) から \(\kappa\) への単射を、すべての \(\alpha\) についていっせいに選ぶところで選択公理がどうしても必要なので、それ以降の、如法さんが考察している部分は、選択公理を用いないでできます。

来いよ。

明日から、なんだか前途多難な一週間になりそうです。ともあれ、みなさん火曜日には京都北白川でお会いしましょう。

@fujidig 情報ありがとうございます。なんでこんな話をしているかについては京都で時間があればお話しします。

そりゃ \(\mathfrak{r}\) は知ってるけど \(\mathfrak{g}\) ってあるの？

21世紀のCichoń
\(\mathfrak{r}>\mathfrak{g}\)

《命題：無限次元可分ヒルベルト空間は \(2^{\aleph_0}\) 個未満の超平面で覆えない》最初は楽勝でZFCから証明できると思っていたが、自信がなくなってきた。CHやMAを仮定すれば一発なのだが、CPAあたりから否定命題が証明できたりするんだろうか。

@Nyoho 全統マーク統計（謎）

@Nyoho
連休と電球は似ている #似ていない

@Nyoho
赤レンキュー！
青レンキュー！
黄レンキュー！
桃レンキュー！
緑レンキュー！
5人揃って、

大学院の講義だん。どうにかゲーデルの不完全性定理まで到達。授業の残り回数あと1回。