保罗·寇恩

✍ dations ◷ 2025-06-07 10:46:59 #保罗·寇恩
保罗·约瑟夫·寇恩(英语:Paul Joseph Cohen,1934年4月2日-2007年3月23日) ,美国数学家,他证明策梅洛-弗兰克尔公理系统加上选择公理 (ZFC) 不能反驳连续统假设 (CH) 的否命题,而ZF不能反驳选择公理 (AC) 的否命题。这一划时代的工作与哥德尔在1930年代的工作一起,证明了CH和AC分别独立于ZFC和ZF。寇恩在证明中创造了力迫法,如今力迫法已经成为公理集合论的一项基本技术。寇恩凭借连续统假设的独立性证明于1966年获得菲尔兹奖章。保罗·寇恩生于美国新泽西州长滩(Long Branch)的一个犹太家庭,1950年毕业于纽约市的Stuyvesant高中。1950年寇恩入读纽约市立大学布鲁克林学院。不过他了解到申请芝加哥大学的研究生院只需两年大学经历,因此于1953年从布鲁克林学院肄业。1954年寇恩在芝加哥大学取得硕士学位,1958年他在 Antoni Zygmund的指导下获得博士学位。寇恩的博士论文题为《三角级数唯一性理论的一些问题》(Topics in the Theory of Uniqueness of Trigonometric Series)。寇恩的博士论文和早期的研究内容是调和分析。1964年寇恩凭借分析学论文《关于李特尔伍德猜想和幂等测度》(On a conjecture of Littlewood and idempotent measures)获得美国数学学会颁发的博谢纪念奖。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)是一位杰出的数学家、美国科学院院士和英国皇家学会会士。据说在研究连续统假设的过程中,寇恩曾经感到其他数学家认为没有希望解决这个问题,因为当时没有构造集合论模型的新方法。1985年寇恩接受采访时提到,人们甚至认为考虑这个问题的人多少有点疯狂。寇恩的独立性证明引入了力迫法,如今力迫法成为一项强有力的技术,不计其数的数学家们运用这一方法构造模型,检验给定的假设可否与不同的公理系统协调。

相关

  • 快利佳洛匹那韦/利托那韦(Lopinavir/ritonavir (LPV/r);商品名:克力芝、快利佳,英语:Kaletra(在高收入国家)、英语:Aluvia(在低收入国家))是常用的抗艾滋病用药,由两种蛋白酶抑制剂洛匹那韦(复
  • 维生素E维生素E(英语:Vitamin E)是一种脂溶性维生素,是最主要的抗氧化剂之一。溶于脂肪和乙醇等有机溶剂中,不溶于水,对热、酸稳定,对碱不稳定,对氧敏感,对热不敏感,但油炸时维生素E活性明显
  • dsDNA脱氧核糖核酸病毒(英语:DNA virus),又称DNA病毒,其遗传物质为DNA。一般为正链DNA病毒。医学导航: 病毒病病毒(蛋白质)/分类cutn/syst (hppv/艾滋病, 流感/疱疹/人畜共患)/人名体
  • 盎格鲁美洲/英语美洲盎格鲁美洲(英语:Anglo-America),又称英语美洲,用作描述以英语为主要语言,或者与英格兰或英伦三岛在历史、语言或文化上有密切关系的美洲地区,也可以指英语世界的美洲部分,与操罗曼
  • 生态系统理论生态系统理论(Ecological Systems Theory),有时也被称作背景发展理论或者人际生态理论,将人际关系分成了四套依次层叠的环境系统。这些系统彼此之间又相互影响。该理论由尤里·
  • 附器附器是指从躯体突出的部分,或任何生物的身体部分的自然伸延部分,如脊椎动物的四肢。无脊椎动物生物学的范畴中,附器是一个一般词汇,意指从任何体节伸延出来的同源身体部分。这些
  • 形式科学形式科学是指主要研究对象为抽象形态的科学,如逻辑、数学、计算理论、信息论、统计学等。
  • 三读五对三读五对是台湾药师及护理师在发放药物给病患,或是为住院病人给药时,为避免给药错误,因此建议执行的程序,属于一种减少人为错误的人工作业方式,可以避免因发放药物错误而造成的医
  • 冰醋酸乙酸,也叫醋酸,化学式CH3COOH,是一种有机一元酸和短链饱和脂肪酸,为食醋内酸味及刺激性气味的来源。纯正且近乎无水的乙酸(含水量1%以下)称为“冰醋酸”,为无色的吸湿性固体,凝固
  • 石炭纪雨林崩溃事件石炭纪雨林崩溃事件(Carboniferous rainforest collapse)是一个小型灭绝事件,发生在大约3.05亿年前的石炭纪末期。它改变了覆盖欧洲和美洲赤道地区的广阔煤炭森林。 这一事件可