保罗·寇恩

美国科学院院士
保罗·寇恩(Paul Joseph Cohen,1934年4月2日---2007年3月23日) 美国数学家,他证明策梅洛-弗兰克尔公理系统加上选择公理 (ZFC) 不能反驳连续统假设 (CH) 的否命题,而 ZF 不能反驳选择公理 (AC) 的否命题。这一划时代的工作与哥德尔在1930年代的工作一起,证明了 CH 和 AC 分别独立于 ZFC 和 ZF。寇恩在证明中创造了力迫法,如今力迫法已经成为公理集合论的一项基本技术。寇恩凭借连续统假设的独立性证明于1966年获得菲尔兹奖章。

人物经历

保罗·寇恩生于美国新泽西州长滩(Long Branch)的一个犹太家庭,并在纽约市的布鲁克林长大。1950年毕业于纽约市的 Stuyvesant 高中。 1950年寇恩入读纽约市立大学布鲁克林学院。不过他了解到申请芝加哥大学的研究生院只需两年大学经历,因此于1953年从布鲁克林学院肄业。1954年寇恩在芝加哥大学取得硕士学位,1958年他在 Antoni Zygmund 的指导下获得博士学位。寇恩的博士论文题为《三角级数唯一性理论的一些问题》(Topics in the Theory of Uniqueness of Trigonometric Series)。
1957-1959年,在获得博士学位之前曾先后执教于罗彻斯特大学和麻省理工大学
1959-1961年,普林斯顿高等研究院博士后研究员。