您的位置 首页 百科问答

保罗·寇恩

保罗·寇恩

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

想要了解更多“保罗·寇恩”的信息,请点击:保罗·寇恩百科

上一篇 以津真天(手游《决战!平安京》忍类式神角色)
下一篇 四川巴盟国际贸易有限公司
扫一扫,手机访问

扫一扫,手机浏览