数学基礎論・数理論理学 その15 [転載禁止]©2ch.net at MATH
数学基礎論・数理論理学 その15 [転載禁止]©2ch.net - 暇つぶし2ch18:132人目の素数さん
14/11/14 08:36:51.96
スレリンク(math板)

1 :132人目の素数さん:2014/10/29(水) 20:50:46.27
1963年,Paul Joseph Cohen により
ZFCと連続体仮説は独立であることが証明された.
然し現代数学に於いては選択公理の真理値を真とすることが自然であるように
数学的プラトニズムの立場から連続体仮説の真理値を決定することは重要である.
Kurt Gödel,William Hugh Woodin の様に真理値を偽と信じる専門家もいる.
そんな連続体仮説について議論するスレ.

4 :132人目の素数さん:2014/11/01(土) 10:46:46.53
くるるさんの記事を読む限りでは偽とするのが自然のようだが。

8 :132人目の素数さん:2014/11/05(水) 08:12:54.48
>>4
偽とするのを自然と思っているのは集合論者だけで
モデル論者は連続体仮説は真だと思っているらしい。
基礎論外でも真と思ってる方が多数派じゃないかな。

9 :132人目の素数さん:2014/11/07(金) 21:27:49.45
証明論者や再帰論者はどう考えているの?

11 :132人目の素数さん:2014/11/12(水) 09:14:12.00
>>4, >>8
Woodinは宗旨替えしていまは連続体仮説は真だと言っているらしいぞ

12 :132人目の素数さん:2014/11/12(水) 21:23:10.33
>>11
ウッデンは「究極のL予想」というのを出しているらしい。
究極のLというからには、連続体仮説は真になるのだろう。


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch