分からない問題はここに書いてね 472 (978ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
948: １３２人目の素数さん [] 2025/07/23(水) 00:17:30.03 ID:1LZ3Y+hX(1/5) AAS
CHはもう顧みられないのが主流らしいですよ
聞くところによるとゲーデルも
アレフ2が妥当と考えていたらしいです
950: １３２人目の素数さん [] 2025/07/23(水) 09:02:30.03 ID:1LZ3Y+hX(2/5) AAS
>>949
ですのでアレフ2だった場合アレフ1の集合はどういうものかしりたいわけです
CHは捨て去られ巨大基数公理が導入されますが
巨大基数の定義自体はZFCで記述されますよ
その存在が証明できないというか有っても無くても矛盾は無い訳です
実数の中にあるというアレフ1の集合も
存在を証明するには巨大基数公理が必要ですが
その定義自体はZFCで記述できるんじゃないですかね
それがどんなものなのか
951: １３２人目の素数さん [] 2025/07/23(水) 09:05:22.40 ID:1LZ3Y+hX(3/5) AAS
選択公理についても
正しいとか正しくないとかでは無いことが分かってますが
大方の人（数学者）はこの公理は妥当だと考えていて
使わないようにしようとするひとは居ないと思いますね
そのような意味でCHは正しくなく巨大基数公理が正しい
つまりグロタンディーク宇宙の存在を前提とするのが
大方の基礎論者の見解のようです
952: １３２人目の素数さん [] 2025/07/23(水) 09:07:48.87 ID:1LZ3Y+hX(4/5) AAS
もちろんCHが成立するとして集合論を研究することが妨げられるわけではありませんが
そのような立場の人はほとんど居なくなってくるでしょうね
954: １３２人目の素数さん [] 2025/07/23(水) 10:59:25.64 ID:1LZ3Y+hX(5/5) AAS
別に「「CHがただしいからそんな議論はおかしい」っていってる」って言ってませんよ
CHが捨て去られる運命だと書いたまでです
それは否定され巨大基数公理が常識となるでしょう
今後はそれが前提になります
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s