01 · 数学人生
成果背后的人
科恩1934年生于美国新泽西州朗布兰奇，在斯坦福发展了改变集合论的力迫法，并以独立性结果获得1966年菲尔兹奖。结合哥德尔较早的工作，他证明在通常的一致性假设下，ZFC公理不能决定连续统假设。这不是“暂时没有找到证明”，而是借助严格模型构造说明某套公理的能力边界，使公理选择本身成为具体的数学研究。
理解这项贡献
连续统假设询问，是否存在基数严格介于整数集与实数集之间的集合。哥德尔已经证明，连续统假设可以在通常公理的某个模型中成立。科恩引入力迫法，构造出它不成立、相关公理仍成立的扩张模型。两者结合，在ZFC一致的假设下建立了独立性。力迫法精确控制加入哪些集合，以及扩张后哪些命题成立。它揭示的是特定公理系统的边界，而不是宣布问题没有意义。
为什么重要
力迫法成为集合论的核心工具，改变了独立性、不同公理选择及数学宇宙可能结构的研究方式。