ポール・コーエン (数学者)
ヒルベルトの23の問題の第一の問題と知られる連続体仮説はクルト・ゲーデルによって無矛盾性がすでに証明されていたが、コーエンは強制法を導入しさらに強力な結果であるZFCと連続体仮説の独立性を証明した。この業績が評価されコーエンは1966年にフィールズ賞、1967年アメリカ国家科学賞を受賞した。
セルバーグ予想の解決や数論的量子カオスで知られるピーター・サルナックはコーエンの弟子である。