数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト150:132人目の素数さん 11/01/17 00:01:06 渕野昌先生、『ゲーデルと20世紀の論理学』で 御本人が執筆された公理的集合論の解説を丸々upされてるんですね。 太っ腹な御人だ。 151:132人目の素数さん 11/01/17 18:09:18 >>149 ZFC集合論が矛盾していたとしても集合論は崩壊しないよ。 別の定式化をすれば良いだけだ。 152:132人目の素数さん 11/01/17 19:08:31 朝倉数学ハンドブックという本の飯高茂先生の章に 「P(N)の濃度をアレフ1と書く」 「アレフ0とアレフ1の間の濃度はないという主張を連続体仮説という」 (アレフは実際にはヘブライ文字で表記されています) と書いてあります。 連続体仮説が成り立たない場合にはアレフ0の次に アレフ(1/2)とかアレフεみたいな基数があるのだと思うのですが これは実数の集合で言うとどういったものになるんでしょうか? 153:132人目の素数さん 11/01/17 19:16:19 >>152 何世紀も引用されまくるような偉大な論文ができる。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch