保罗·科恩（Paul Joseph Cohen）

发明"力迫法"的数学家，以此证明连续统假设与选择公理在标准集合论公理中不可判定，从根本上改变了 20 世纪后半叶的数理逻辑；是迄今唯一因逻辑学研究获得菲尔兹奖的人。

一、生平与时代背景

保罗·约瑟夫·科恩（Paul Joseph Cohen）1934 年 4 月 2 日生于美国新泽西州长布兰奇（Long Branch），在纽约布鲁克林长大。父母亚伯拉罕（Abraham）与明妮（Minnie）都是来自波兰的犹太移民，父亲做各种零工，母亲靠做女装贴补家用。保罗是四个孩子中最小的，9 岁时父母分居，此后由母亲抚养长大。

他自幼痴迷数学。9 岁时，姐姐西尔维娅（Sylvia）从纽约图书馆为他借出一本微积分书——图书管理员最初不肯，说"连一些大学教授都搞不懂微积分"。整个少年时代他都被视为数学神童，在数学竞赛中屡创佳绩。1950 年，16 岁的他从以数学和科学闻名、需经入学考试选拔的史蒂文森高中（Stuyvesant High School）毕业。

1950–53 年就读布鲁克林学院（Brooklyn College），但未取得学位即因获芝加哥大学研究生院录取而提前离校。在芝加哥，他起初想做数论（师从安德烈·韦伊），1954 年获硕士学位；但他对"数论中某些结果不可判定"这一事实本身比对数论更感兴趣。博士阶段他的正式导师是安东尼·齐格蒙德（Antoni Zygmund），1958 年以论文《三角级数唯一性理论中的若干课题》（Topics in the Theory of Uniqueness of Trigonometric Series）获博士学位。值得注意的是，芝加哥数学系当时没有逻辑学课程，科恩的逻辑学完全是"自学成才"——他与一批后来成为逻辑学家的同学（Morley、Nerode、Bill Howard、Raymond Smullyan、Stanley Tennenbaum）为友，一度住在 Tennenbaum 家，在交流中"渗透"地学到了逻辑。

1957 年（博士毕业前）任罗切斯特大学讲师一年；1958–59 年在 MIT；1959–61 年在普林斯顿高等研究院任研究员。这几年他在调和分析领域连续取得突破：1959 年解决了 Walter Rudin 提出的群代数因子分解问题；1960 年在 Littlewood 猜想上取得重大进展。1961 年任斯坦福大学助理教授，1962 年升副教授并获 Sloan 研究基金。1962 年 8 月在斯德哥尔摩国际数学家大会上作邀请报告，会后在斯德哥尔摩至列宁格勒的游轮上结识了来自瑞典 Malung 的 Christina Karls，两人于 1963 年 10 月 10 日结婚，育有三子（双胞胎 Eric 与 Steven，以及 Charles）。

1964 年晋升斯坦福正教授，此时他已解决了数学中最著名的开放问题之一——连续统假设的独立性。此后他一直在斯坦福，1972 年成为首任 Marjorie Mhoon Fair 定量科学讲座教授，2004 年正式退休但仍坚持授课直至去世前不久。2007 年 3 月 23 日，他因一种罕见肺病在斯坦福医院去世，享年 72 岁。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 力迫法（Forcing）与连续统假设的独立性

问题背景：康托尔证明实数集（连续统）的基数 $2^{\aleph_0}$ 严格大于自然数集的基数 $\aleph_0$，并猜想连续统假设（CH）：$2^{\aleph_0}=\aleph_1$，即不存在基数介于 $\aleph_0$ 与 $2^{\aleph_0}$ 之间的无穷集合。CH 是希尔伯特 1900 年 23 个问题中的第一问题。1938 年，哥德尔证明：若 ZF 公理一致，则 ZF+CH+AC 也一致（通过构造可构成全集 $L$），即从 ZFC 无法否证 CH。但 CH 能否被 ZFC 证明，仍是未解之谜。

关键思想：科恩发明了力迫法——一种从给定的集合论模型 $M$（"基模型"）出发，通过添加一个"脱殊（generic）"集合 $G$ 构造扩张模型 $M[G]$ 的方法。$G$ 由一个偏序集（力迫偏序）的条件逐步逼近而来，脱殊性保证 $M[G]$ 仍满足 ZFC 公理，同时 $G$ 能"强制"某些命题为真或为假。

精确结果（1963–64）： - 存在 ZFC 的模型满足 $2^{\aleph_0}=\aleph_2$（或更大），从而 CH 在 ZFC 中不可证（ZFC ⊬ CH）。 - 结合哥德尔的相对一致性结果（ZFC ⊬ ¬CH），得到 CH 独立于 ZFC——既不能被证明，也不能被否证。 - 类似地，用对称模型（symmetric model）构造，证明选择公理（AC）独立于 ZF（ZF ⊬ AC；哥德尔已证 ZF ⊬ ¬AC）。

力迫的典型构造：为使 $2^{\aleph_0}=\aleph_2$，取力迫偏序为从 $\aleph_2\times\omega$ 到 ${0,1}$ 的有限函数（"添加 $\aleph_2$ 个科恩实数"），该偏序满足可数链条件（ccc），因此保持所有基数。在扩张 $M[G]$ 中，实数的个数至少为 $\aleph_2$，故 CH 失败。

与前人的关系：哥德尔的 $L$ 给出"CH 成立"的模型，科恩的力迫给出"CH 不成立"的模型，二者合起来完全解决了 CH 的可判定性问题。

意义：力迫法被誉为 20 世纪数理逻辑最强大的技术，此后几乎所有集合论的独立性结果都得力迫所赐，催生了集合论的一场革命。

2. Littlewood 猜想的突破与幂等测度

1960 年论文《On a conjecture of Littlewood and idempotent measures》（《美国数学杂志》82 卷）在调和分析领域取得重大进展。Littlewood 猜想断言：对任意 $N$ 个不同整数 $n_1,\dots,n_N$，有

$$\int_0^{2\pi}\left|\sum_{k=1}^N e^{i n_k x}\right|dx \ge c\log N$$

（存在绝对常数 $c>0$）。科恩用组合方法大幅推进了这一猜想（最终完整猜想于 1981 年由 McGehee–Pigno–Smith 解决）。达文波特（Harold Davenport）写信称赞：若证明成立，他将超越一代努力攻关的英国分析学家——证明确实成立，且达文波特是第一个改进科恩结果的人。为此科恩获 1964 年 AMS 博歇纪念奖。

3. 群代数的因子分解

1959 年论文《Factorization in group algebras》解决了 Walter Rudin 提出的问题：局部紧群上的任意可积函数都可表示为两个可积函数的卷积。这是调和分析的基本结果，证明了群代数的"丰富结构"。

4. p-进数胞腔分解

1969 年，科恩发表了一篇关于 p-进数胞腔分解（p-adic cell decomposition）的高度原创论文，给出了 Ax–Kochen–Eršov 著名结果的构造性版本。这一工作后来成为动机积分（motivic integration）逻辑分析的基础。MacIntyre 评价：他在 p-进域上的工作"风格极具特征，组合化且几乎不依赖一般理论"。

5. 后期对大问题的攻坚

1969 年以后，科恩把精力投向数学中最艰深、最顽固的问题，尤其是黎曼猜想。虽然他未能证明黎曼猜想，但他始终充满激情地钻研大问题，激励了几代数学家。他的学生 Peter Sarnak（后成为普林斯顿教授，1980 年博士论文《Prime Geodesic Theorems》）后来成为数论与谱几何的领军人物。

四、代表著作与文献

• The independence of the continuum hypothesis（I, 1963；II, 1964，Proceedings of the National Academy of Sciences 50, 51）：力迫法与 CH 独立性的原始论文。
• Set Theory and the Continuum Hypothesis（W.A. Benjamin, 1966；Dover 重印）：基于 1965 年哈佛课程的专著，系统阐述力迫法；Lévy 评价其"呈现了新鲜而直观的方法，并让人瞥见导致发现的心路历程"。
• On a conjecture of Littlewood and idempotent measures（American Journal of Mathematics 82, 1960）：Littlewood 猜想的突破，获博歇奖。
• Factorization in group algebras（Duke Mathematical Journal 26, 1959）：群代数因子分解定理。
• 哥德尔的《The Consistency of the Continuum Hypothesis》（1940）：科恩思想的直接出发点，与科恩的工作合起来完整解决了希尔伯特第一问题。

五、师承、学派与同时代交往

• 导师：博士导师安东尼·齐格蒙德（Antoni Zygmund，芝加哥），硕士阶段受安德烈·韦伊（André Weil）影响；逻辑学则主要通过与 Tennenbaum、Smullyan、Morley、Nerode、Howard 等同学的交往自学成才——他是一个典型的"逻辑学界外人"。
• 关键人物：哥德尔是其最重要的对话者。1963 年 5 月科恩把证明寄给哥德尔，哥德尔回信称赞"读你的证明如同看一出好戏"，并热情帮他审阅推荐发表。
• 学生：最著名的是 Peter Sarnak（数论与谱几何）。
• 学派归属：科恩横跨分析（调和分析）与逻辑（集合论）两大领域，风格独特——"用最少的一般理论直击问题核心"。他的力迫法被 Solovay、Easton、Silver、Shelah 等人迅速发展，形成现代集合论的主流技术。

六、争议、公案与历史评价

• "外人"闯入逻辑：科恩是训练有素的分析学家，并非逻辑学家出身；他凭借强大的组合能力与直觉得出了力迫法。MacIntyre 写道："连续统假设工作的一个戏剧性侧面是，科恩是逻辑学界自学成才的外人。" 这在数学史上是罕见的：一个领域的最伟大工具由领域外的人发明。
• 对希尔伯特第一问题的"解决"：科恩并非证明或推翻了 CH，而是证明了它在标准公理中不可判定。学界普遍视此为对希尔伯特第一问题的解决，但它也引出了深刻的哲学争论：集合论是否需要更强的新公理来判定 CH？（此即"集合论的多宇宙 vs 单宇宙"之争，Woodin 等人的工作延续至今）。
• 菲尔兹奖的唯一性：1966 年莫斯科 ICM 授予科恩菲尔兹奖，由苏联科学院院长克尔德什（Keldysh）颁发，Alonzo Church 作介绍演讲。他是迄今唯一因逻辑学获菲尔兹奖的数学家，也是史上最年轻获奖者之一（仅 Ahlfors 获奖时更年轻）。
• 个性：科恩被同事描述为急躁、好竞争、善辩、才华横溢，常在咖啡时间与师生激烈辩论；他对"绝对音高"抱有奇特兴趣，会带音叉测试每个人。

七、身后影响与学术谱系

• 力迫法的统治地位：力迫法已成为现代集合论的核心技术，几乎所有独立性结果都依赖它。Solovay、Easton、Jensen、Silver、Shelah、Woodin 等人在此基础上建立了庞大的理论体系。
• 集合论的多宇宙观：力迫揭示了集合论模型的极端多样性，催生了"多宇宙"哲学立场与"内在模型计划"等深刻研究纲领。
• 对其他领域的辐射：CH 的独立性影响了分析（如巴拿赫代数中的 Kaplansky 问题）、拓扑、测度论等众多领域，许多经典问题被证明在 ZFC 中不可判定。
• 逻辑与分析的桥梁：科恩横跨分析与逻辑的职业生涯，以及他的 p-进数胞腔分解工作，预示了后来模型论在数论与几何中的爆发性应用（如 Hrushovski、Scanlon 的工作）。
• 教育遗产：他在斯坦福培养了 Peter Sarnak 等杰出学生，其"直击核心、少用一般理论"的风格影响深远。

八、延伸阅读与权威来源

• Paul Cohen (1934–2007) – MacTutor History of Mathematics：权威传记，含完整生平、著作、荣誉与参考文献。
• Paul Joseph Cohen papers – Stanford Archives：斯坦福档案馆收藏的科恩手稿与生平资料。
• Fields Medal 1966 – Paul J. Cohen, International Mathematical Union：菲尔兹奖官方页面。
• Paul Cohen: The man who proved the unprovable – Stanford News：斯坦福校方纪念文章（可通过 MacTutor 交叉链接访问）。
• Angus MacIntyre, Review of Cohen's work（见 MacTutor 参考文献 [13]）：对科恩数学风格的专业评价。
• Kurt Gödel, The Consistency of the Continuum Hypothesis (1940)：科恩工作的出发点，与科恩 1966 年专著合读。
• Mathematical Genealogy Project – Paul Cohen：学术谱系查询，含其导师与学生（如 Peter Sarnak）列表。