热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
保罗·寇恩
2023-07-23 22:56
近期热点

资料介绍


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

标签: 数学家

相关热点

扫码添加好友