数学基礎論・数理論理学 その19at MATH数学基礎論・数理論理学 その19 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト500:１３２人目の素数さん 24/11/19 18:44:41.28 bnTqtMrC.net 連続体仮説って、わからん、が結論でOK？ 501:１３２人目の素数さん 24/11/19 19:19:18.25 zTVLxRHY.net 最近は巨大基数公理を仮定して、(G)CHは成立しないとする立場が優勢みたい わからんじゃなくて成立しないことに 502:１３２人目の素数さん 24/11/19 19:19:35.46 5unNS5bc.net >>500 ZFCからは肯定も否定も証明できない命題。 つまり、ZFC|-CHを仮定すると矛盾するし、ZFC|-￢CHを仮定すると矛盾する。 (CH=Continuous Hypothesis=連続体仮説) この証明は大変 でもACの独立性証明は更にもっと大変 503:１３２人目の素数さん 24/11/19 19:21:44.29 5unNS5bc.net まだ巨大基数公理を勉強するレベルまで知識ついてないんだが、カナモリの巨大基数の集合論は死ぬまでには読めるようになりたい。 504:１３２人目の素数さん 24/11/29 17:13:40.01 HF2gskp4.net 型って数学的思考の対象の全体ってことで a,bが型ならaの対象からbの対象への対応を対象とする全体a→bも型ってこと（だけ）でいいの？ このときa∪bにあたるものを型にしないのはなぜ？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch