-
保罗·寇恩 编辑
保罗·寇恩(Paul Joseph Cohen,1934年4月2日---2007年3月23日) 美国数学家,他证明策梅洛-弗兰克尔公理系统加上选择公理 (ZFC) 不能反驳连续统假设 (CH) 的否命题,而 ZF 不能反驳选择公理 (AC) 的否命题。这一划时代的工作与哥德尔在1930年代的工作一起,证明了 CH 和 AC 分别独立于 ZFC 和 ZF。寇恩在证明中创造了力迫法,如今力迫法已经成为公理集合论的一项基本技术。寇恩凭借连续统假设的独立性证明于1966年获得菲尔兹奖章。
中文名:保罗·寇恩
外文名:Paul Cohen
出生日期:1934年4月2日
去世日期:2007年3月23日
职业:数学家
籍贯:美国
毕业院校:芝加哥大学
1957-1959年,在获得博士学位之前曾先后执教于罗彻斯特大学和麻省理工大学。
1959-1961年,普林斯顿高等研究院博士后研究员。
1961年,获聘为斯坦福大学数学系助理教授。
1962年,升任斯坦福大学数学系副教授,同年获得 Sloan 基金奖励。
1963年,凭借连续统假设的独立性证明获得 Research Corp. 奖。
1964年,升任斯坦福大学数学系教授。
1966年,获得菲尔兹奖章。
1967年,获得美国国家科学奖章。
2004年,从斯坦福大学退休,但任教直至2007年春季。
2007年3月23日因病在斯坦福医院去世,享年72岁。
Paul Cohen 年轻时照片
生前是美国国家科学院和美国艺术科学院(American Academy of Arts and Sciences)的院士。寇恩的博士论文和早期的研究内容是调和分析。1964年寇恩凭借分析学论文《关于李特尔伍德猜想和幂等测度》(On a conjecture of Littlewood and idempotent measures)获得美国数学学会颁发的博修奖(Bôcher Memorial Prize)。1960年代初,寇恩开始对连续统假设感兴趣。最终他发明了力迫法。在 ZF 协调的假设下,他运用力迫法构造了一个 ZFC 的模型 M,M 不满足 CH,因此 ZFC 不能证明 CH。另外,同样在 ZF 协调的假设下,寇恩运用力迫法扩张一个给定的 ZFC 模型 M 得到 M,然后取 M 的一个子模型 N,N 满足 ZF、然而不满足 AC。寇恩的这两项工作和哥德尔在1930年代的工作一起,证明了 CH 独立于 ZFC 而 AC 独立于 ZF,因此 CH 是 ZFC 上的一个不可判定问题。凭借 CH 的独立性证明,寇恩于1966年获得菲尔兹奖章,并于1967年获得美国国家科学奖章。直至今天,寇恩的菲尔兹奖章依然是数理逻辑界获得的唯一一枚菲尔兹奖章。 寇恩生前是斯坦福大学的教授,也是一位出色的教师,他指导的博士生彼得·萨纳克(Peter Sarnak)是一位杰出的数学家、美国科学院院士和英国皇家学会会士。1、本站所有文本、信息、视频文件等,仅代表本站观点或作者本人观点,请网友谨慎参考使用。
2、本站信息均为作者提供和网友推荐收集整理而来,仅供学习和研究使用。
3、对任何由于使用本站内容而引起的诉讼、纠纷,本站不承担任何责任。
4、如有侵犯你版权的,请来信(邮箱:baike52199@gmail.com)指出,核实后,本站将立即删除。