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というからには、連続体仮説は真になるのだろう。