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