Inter-universal geometry と ABC予想 (応援スレ) 73 (787ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
456(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)09:35 ID:f12p+Q2v(3/12) AAS
つづき
３）連続体仮説
外部ﾘﾝｸ:ja.wikipedia.org
歴史
1940年にクルト・ゲーデルは任意の ZF のモデルにおいて構成可能集合全体のクラス L が連続体仮説をみたすことを証明し、「ZFC からは連続体仮説の否定は証明できない」ことを示した。
さらに1963年、ポール・コーエンは強制法と呼ばれる新しい手法を用いて「ZFC から連続体仮説を証明することは出来ない」ことを示した。
これらの結果から ZFC に連続体仮説を加えても、またはその否定を加えても矛盾は発生しないこと、つまり連続体仮説の ZFC からの独立性が示され、連続体仮説は解決を見た（これらの結果は全て ZF の無矛盾性を仮定している）。
コーエンはこの業績により、1966 年にフィールズ賞を受賞している。
外部ﾘﾝｸ:en.wikipedia.org
Continuum hypothesis
歴史(google訳)
クルト・ゲーデルは1940年に、連続体仮説の否定、すなわち中間的な濃度を持つ集合の存在は、標準的な集合論では証明できないことを証明した。[ 2 ]
連続体仮説の独立性の後半部分、すなわち中間的な大きさの集合が存在しないことが証明できないことは、1963年にポール・コーエンによって証明された。[ 4 ]
(引用終り)
以上
460: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)10:26 ID:f12p+Q2v(6/12) AAS
>>456 タイポ訂正
だから、VのクラスはUの中で Vのクラスより大きいのです
↓
だから、VのクラスはUの中で VのクラスよりUが大きいのです
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.030s