保罗·寇恩
保羅・約瑟夫・寇恩（英語：Paul Joseph Cohen，1934 年 4 月 2 日 —2007 年 3 月 23 日) ，美國數學家，他證明策梅洛 - 弗蘭克爾公理系統加上選擇公理 (ZFC) 不能反駁連續統假設 (CH) 的否命題，而 ZF 不能反駁選擇公理 (AC) 的否命題。這一划時代的工作與哥德爾在 1930 年代的工作一起，證明了 CH 和 AC 分別獨立於 ZFC 和 ZF。寇恩在證明中創造了力迫法，如今力迫法已經成為公理集合論的一項基本技術。寇恩憑藉連續統假設的獨立性證明於 1966 年獲得菲爾茲獎章。