上位词
别名
等价别名
精选上位词
精选别名
保罗·寇恩(paul joseph cohen,1934年4月2日---2007年3月23日) 美国数学家,他证明策梅洛-弗兰克尔公理系统加上选择公理 (zfc) 不能反驳连续统假设 (ch) 的否命题,而 zf 不能反驳选择公理 (ac) 的否命题。这一划时代的工作与哥德尔在1930年代的工作一起,证明了 ch 和 ac 分别独立于 zfc 和 zf。寇恩在证明中创造了力迫法,如今力迫法已经成为公理集合论的一项基本技术。寇恩凭借连续统假设的独立性证明于1966年获得菲尔兹奖章。
中文名 | 保罗·寇恩 |
---|---|
出生日期 | 1934-04-02 |
原始名称 | 保罗·寇恩 |
外文名 | paul cohen |
年龄 | 72 |
籍贯 | 美国 |
职业 | 数学家 |
英文名 | paul cohen |
逝世日期 | 2007-03-23 |