ヒルベルトの23の問題の第一の問題と知られる連続体仮説はクルト・ゲーデルによって無矛盾性がすでに証明されていたが、コーエンは強制法を導入しさらに強力な結果であるZFCと連続体仮説の独立性を証明した。この業績が評価されコーエンは1966年にフィールズ賞、1967年アメリカ国家科学賞を受賞した。 セルバーグ予想の解決や数論的量子カオスで知られるピーター・サルナックはコーエンの弟子である。
ヒルベルトの23の問題の第一の問題と知られる連続体仮説はクルト・ゲーデルによって無矛盾性がすでに証明されていたが、コーエンは強制法を導入しさらに強力な結果であるZFCと連続体仮説の独立性を証明した。この業績が評価されコーエンは1966年にフィールズ賞、1967年アメリカ国家科学賞を受賞した。 セルバーグ予想の解決や数論的量子カオスで知られるピーター・サルナックはコーエンの弟子である。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
