保罗·科恩 · 世界数学发展史

获奖原因

保罗·科恩（Paul Cohen，1934–2007）获 1966 年菲尔兹奖，表彰他发明的力迫法（forcing），并以此证明连续统假设（CH）相对于策梅洛–弗兰克尔集合论（ZFC）的独立性——即 CH 既不能被 ZFC 证明，也不能被其否定。他还用同样的方法证明**选择公理（AC）**相对于 ZF 的独立性。

这是集合论与数学基础的一场地震。1938 年哥德尔（K. Gödel）已证明：在 ZFC 内可以构造”可构造宇宙” $L$ ，其中 CH 成立，故 CH 与 ZFC 相容。但”¬CH 是否与 ZFC 相容”悬而未决近三十年。科恩 1963 年用力迫向一个模型”添入”一个generic 的子集 $G\subset\omega$ ，使新模型中实数比 $\aleph_1$ 更多，从而 CH 失效。独立性结果意味着：关于”无穷的不同大小之间还有什么”这一最基础的集合论问题，标准形式公理无法回答，必须引入新公理。

问题来龙去脉

一、问题来源

康托尔（G. Cantor）在 1870–80 年代证明实数集 $\mathbb{R}$ 不可数，并问：在可数无穷 $\aleph_0=|\mathbb{N}|$ 与连续统 $\mathfrak{c}=|\mathbb{R}|$ 之间，是否还存在其他基数？ 他猜测不存在，即 $\mathfrak{c} = \aleph_1 \quad (\text{连续统假设 CH}).$ 广义连续统假设（GCH）进一步断言对每个无穷基数 $\kappa$ 有 $2^\kappa = \kappa^+$ 。

希尔伯特把 CH 列为 1900 年 23 个问题之首。但一个公理系统内的”命题”只有三种命运：可证、可否、或独立（系统既不能证也不能否）。人们不知道 CH 属于哪一种。

二、哥德尔的相容性

1938 年，哥德尔构造了可构造宇宙 $L$ ：从空集出发，只收集”可用一阶公式从已有集合定义”的集合。他证明：若 ZF 相容，则 $L$ 是 ZF 的模型，且在 $L$ 中选择公理与 CH 都成立。因此 CH 与 ZFC 相容（不会因 ZFC 而矛盾）。

于是剩下的半边问题：能否证明 ¬CH 与 ZFC 相容？ 这需要构造一个 ZFC 的模型，其中 CH 不成立。直接的”内模型”构造（如 $L$ ）总是让 CH 成立，走不通。

三、科恩的力迫法

科恩的创见是外扩张（forcing）：从一个可数传递的 ZFC 模型 $M$ 出发，主动向它”塞进”一个新集合——典型地，一个 $M$ 中没法定义的”泛型子集” $G\subseteq \omega$ （或 $\omega_1^M$ ），使得扩张后的模型 $M[G]$ 仍是 ZFC 模型，但 $G$ 的加入改变了基数结构。

技术要点：

偏序集（poset） $\mathbb{P}\in M$ ：其元素叫”条件”，表示”部分信息”。例如用 $\mathbb{P}=\mathrm{Fn}(\omega_1^M\times\omega,2)$ （从 $\omega_1^M\times\omega$ 到 $\{0,1\}$ 的有限片段函数）来”逐段决定”一个实数。
泛型滤子 $G$ ：在 $M$ 外取一个与 $M$ 中所有稠密子集相交的滤子 $G\subseteq\mathbb{P}$ （“泛型”=避开 $M$ 中所有可定义的稠密集）。 $G$ 的并是 $M$ 中不存在的函数/集合。
力迫关系 $\Vdash$ ：定义”条件 $p$ 力迫语句 $\varphi$ ”（ $p\Vdash\varphi$ ），使得 $M[G]\models\varphi$ iff 某 $p\in G$ 力迫 $\varphi$ 。这把”在扩张模型中什么为真”转化为 $M$ 内关于偏序的组合命题，从而可在 $M$ 中论证。
保持 ZFC：科恩证明 $M[G]$ 满足 ZFC 的所有公理（关键是最少化公理与替代公理在泛型扩张下仍成立）。

选对 $\mathbb{P}$ 后，加入的 $G$ 被视为 $\aleph_1^M$ 个”新实数”，使得在 $M[G]$ 中 $2^{\aleph_0} \ge \aleph_2 > \aleph_1,$ 即 CH 失效。因此 ¬CH 与 ZFC 相容。结合哥德尔， $\boxed{\text{CH 在 ZFC 中独立}}$ 。

同理，科恩用另一套泛型构造证明 AC 在 ZF 中独立（可构造出无选择函数的模型）。

四、意义与后续

数学基础的限度：CH 的独立性说明，标准集合论公理不足以决定”无穷的层级的样子”。这促使集合论界研究大基数公理、马丁公理、内模型计划等，以在大基数下”解决”CH（如 Woodin 的 $\Omega$ -逻辑纲领）。
力迫成为核心技术：力迫法此后成为集合论的主引擎，用于证明大量独立性结果（基数不变性、鲍法特问题、覆盖引理等）。
哲学冲击：科恩的结果让”CH 是真还是假”脱离了纯形式证明，转向”应采纳哪些附加公理”的数学实践讨论，深刻影响了数学哲学。

科恩以一项技术同时攻克两个世纪级问题，是 20 世纪逻辑学最耀眼的突破之一；他因此成为史上极少数以”逻辑/基础”工作获菲尔兹奖的数学家。