@ROUNIN__MAIDEN
小耳に挟んだ話だと、Mr.counterexampleな方々は、あるか分からない反例を絶対に存在するという信念の下構成を試みるらしい。 僕にはできないと思った。
2013-01-03 04:56:57
負けたら垢消し
@crobert_z
いやだってあれじゃん~~~~??実数をさ~~~~整列するとさ~~~~~initial segmentが可算になるとかさ~~~~あれじゃん~~~~??
2013-01-03 04:59:11
@ROUNIN__MAIDEN
連続体仮説を「アレフ1=連続体濃度」のことだとするのであれば、多くのロジシャンは違うと思ってるらしいです。アレフ2=連続体濃度説が濃厚だとか。 ちなみにエルデシュは連続体仮説が好きみたいで、これを仮定して色々証明していたそうです。
2013-01-03 05:02:10