保罗·寇恩

生卒

1934 年 4 月 2 日—2007 年 3 月 23 日

出生地

朗布兰奇

去世地

帕洛阿尔托

国籍 / 所属

美国

身份

数学家、大学教师、逻辑学家

代表作

力迫、Cohen–Hewitt factorization theorem、Cohen algebra

受影响于

格奥尔格·康托尔

保罗·约瑟夫·寇恩 不能反驳连续统假设（CH）的否命题，而ZF不能反驳选择公理 （AC）的否命题。这一划时代的工作与库尔特·哥德尔在1930年代的工作一起，证明了CH和AC分别独立于ZFC和ZF。寇恩在证明中创造了力迫法，如今力迫法已经成为公理集合论的一项基本技术。寇恩凭借连续统假设的独立性证明于1966年获得菲尔兹奖章。

摘自中文维基百科「保罗·寇恩」，按 CC BY-SA 4.0 使用