ポール・コーエン (数学者)

From Wikipedia, the free encyclopedia

ヒルベルトの23の問題の第一の問題と知られる連続体仮説クルト・ゲーデルによって無矛盾性がすでに証明されていたが、コーエンは強制法を導入しさらに強力な結果であるZFCと連続体仮説の独立性を証明した。この業績が評価されコーエンは1966年にフィールズ賞、1967年アメリカ国家科学賞を受賞した。

セルバーグ予想の解決や数論的量子カオスで知られるピーター・サルナックはコーエンの弟子である。

略歴

代表的な著書

脚注

関連項目

外部リンク

Related Articles

Wikiwand AI