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