2013年01月02日深夜の数学クラスタ

負けたら垢消し @crobert_z

コーエン大先生が作ったモデルだと2^aleph_0 = aleph_2だっけ

@ROUNIN__MAIDEN

測度論で奇妙な反例構成できんよ～

@ROUNIN__MAIDEN

成り立たない方だからそうかもしれない。

負けたら垢消し @crobert_z

ハメル基底の存在だけじゃ足りないって誰か言ってた気がしなくもない

負けたら垢消し @crobert_z

大事なのは一次独立集合を基底に出来るツォルン的なアレって言ってた

@ROUNIN__MAIDEN

歴史的にはゲーデルの構成的宇宙Ｌで連続体仮説が成り立って、その後コーエンが成り立たない例を強制法で示したんだよなぁ。

@ROUNIN__MAIDEN

可能性高い

@ROUNIN__MAIDEN

まぁ天才がやる領域に違いはないでしょう。

@ROUNIN__MAIDEN

paradoxical decomposition…？

@ROUNIN__MAIDEN

選択公理否定すると全ての部分集合が可測になるようなモデルが構成できるんだっけ？

@ROUNIN__MAIDEN

専門外のことを話しすぎたので自粛

負けたら垢消し @crobert_z

選択公理否定ってかAD突っ込むと出来るらしい

V-alg-d（ZZ） @alg_d

すごいいいTL

負けたら垢消し @crobert_z

ACとADは互いに矛盾する

負けたら垢消し @crobert_z

やり方は知らん

V-alg-d（ZZ） @alg_d

基礎徳論太郎

計 @kei_p1

学問広しと言えど、いわゆる「病的な例」をマトモに考えるのは数学とか哲学とかごく一部だけだよね。そういう意味で数学とか哲学って、他の畑の人達が馴染みにくい面があると思う。

@ROUNIN__MAIDEN

そいやAD使ってやってたわ。 AC使うとADの反例が出来て闇だった気がする。一回読んだ気がするが覚えてない…

@ROUNIN__MAIDEN

病的な例は、自分で新しい命題を考える時には役に立つと思うから、そんなに無駄なことだとは思わない。

青江 憂 @がんばらねば @aoeui666

ADって何だろう？

負けたら垢消し @crobert_z

DC＋全部可測は矛盾しないらしいっすね

V-alg-d（ZZ） @alg_d

determinancy

V-alg-d（ZZ） @alg_d

従属選択公理から非可測集合が作れないのは有名

梵 @bonnou_bonjin

しばらくTL見てなかったらなんでこの時間にこんなTLに

@ROUNIN__MAIDEN

矛盾しないって言い方のがイイネ。