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