数学联邦政治世界观
超小超大

集合论国际【力迫法】

论文短,影响深远,得国际大奖,这三点同时满足的很多人估计只能想到纳什的博弈论论文,但实际上1963年Paul Cohen发明力迫法获得菲尔兹奖的工作只有6页,登在PNAS上面,应该是菲尔兹奖级别的最短的论文。

THE INDEPENDENCEOF THE CONTINUUM HYPOTHESIS

BY PAUL J.COHEN*

DEPARTMENT OF MATHEMATICS, STANFORD UNIVERSITY

Communicαled by Kurl Gōdel, September 30, 1968

This is the first of two notes in which we outline a proof of the fact that the Con-tinuum Hypothesis cannot be derived from the other axioms of set theory, including the Axiom of Choice. Since Gödel³ has shown that the Continuum Hypothesis is consistent with these axioms,the independence of the hypothesis is thus estab-lished. We shall work with the usual axioms for Zermelo-Fraenkel set theory,² and by Z-F we shall denote these axioms without the Axiom of Choice,(but with the Axiom of Regularity). By a model for Z-F we shall always mean a collection of actual sets with the usual ∊relation satisfying Z-F. We use the standard defini-tions' for the set of integers ω, ordinal, and cardinal numbers.

THEOREM 1. There αre models for Z-F in ωhich the folloωing occur:

(1) There is α set α, α ⊆ ω such thαt α is not constructible in the sense of reference S,yet the A xiom of Choice αnd the Generαlized Conlinum Hypothesis both hold.

(2) The continuum (i.e.,℘(ω) ωhere ℘ meαns poωer set) hαs no ωell-ordering.

(3) The Axiom of Choice holds,bul ℵ ≠ 2ℵ⁰.

(4) The Axiom of Choice for countαble pαirs of elemenls in ℘(℘(ω))fαils.

就这样一篇论文,构造了一个满足ZFC但是其中连续统假设为假的模型(6页的这篇给出了力迫模型的构造,下一篇也是6页,证明力迫模型的确满足我们想要的的条件),和哥德尔差不多三十年前的结果共同解决了希尔伯特第一问题,直接让Cohen获得了菲尔兹奖

注意到,这篇文章的推荐人是哥德尔,其中一个主要原因(据Cohen自述)是Cohen本身不是数理逻辑出身,他博士期间的方向是分析学,是芝加哥分析学派创始人Antoni Zygmund的直系弟子。由于芝加哥当时数理逻辑氛围也很浓厚,所以Cohen很多同事朋友都是做逻辑的,他也耳濡目染了不少,解决连续统假设和选择公理的独立性问题的兴趣也是在博士期间就有了萌芽,但是一直没有正式地跟别人沟通,所以在做出来力迫法之后才觉得只有哥德尔的背书才能让这份工作被逻辑学圈子认可。

至于哥德尔,读了初稿后,给Cohen的回复是:“Your proof is the very best possible. Reading it is like reading a really good play.(你给出了理论上的最优证明,读起来就跟赏析优秀剧本一样赏心悦目)”

力迫法的发明,直接给当时算得上走投无路死气沉沉的集合论注入了新生命,为接下来好几代的集合论学者创造了饭碗。如今许多数理逻辑的内容,都能看到力迫法的影子。比较直接的比如说公理研究中的力迫公理,比如说去年Schindler和Aspero发在Annals of Mathematics上的Martin's Maximum++ implies Woodin's axiom (∗) 。再来就是力迫偏序为实数集带来的全新认识,特别是测度与纲的创新跨领域视角,例如这方面的开山鼻祖,Solovay 1970年发在Annals of Mathematics上的A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable,从今天的非集合论视角来看相当于为【Borel集 模掉 对称差零测】和【Borel集 模掉 对称差为第一纲集】这两个代数结构提供了一个拓扑的研究视角。更不用说当年随随便便就能发Annals的用力迫法处理各种反选择公理模型的工作了。

间接点来说,今天的布尔值模型,到更抽象点的Topos理论,都能在力迫法的早期形态中找到一些根源。模态逻辑的Kripke语义学在今天用力迫符号来表示满足关系,也相当于是致敬了它跟集合论中力迫关系定义的相似性。

顺道说一句,1966年Cohen那届菲尔兹奖是第一次将获奖人数扩充到四人。看看这获奖名单,个个都是神仙

1966 Moscow,USSR

Michael Atiyah University of Oxford, UK

Paul Cohen Stanford University,US

Alexander Grothendieck

Institut des Hautes Études Scientifiques, France

Stephen Smale

University of California,Berkeley,US

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

喜美:朦胧梦境 连载中
喜美:朦胧梦境
湫日有棂
禁一切作者:湫日有棂【祈念文学社】从学生时期便认识的我们,为什么最后没能走到一起?一场意外把美幻曦带到副本世界,需要前往一个个世界攻略喜易言......
14.7万字6个月前
阿瑞亚大陆 连载中
阿瑞亚大陆
无名柳
(注:主角是短发的女性)人类世界以外的另一个空间,大陆的名字是直接引用了创世神的姓名。这片空间中诸多生灵相处和睦,无比美好。在那个扭曲微妙的......
22.1万字6个月前
神仙爱情手札 连载中
神仙爱情手札
青衣如故QYRG
渣爹再婚后,他被继后的儿子宠哭了。【1v1,双洁,日久生情,远古洪荒,无逻辑,勿考究。】经常修文
3.3万字3个月前
嗜血暗夜 连载中
嗜血暗夜
亦依然
卡米拉一直认为自己是一个没有感情的怪物,可是最后他还是心软了,收养了个半人半吸血鬼的小可怜作为吸血鬼,卡米拉惊奇的发现自己新收养的小可怜竟然......
0.7万字2个月前
Selita国度的英雄们 连载中
Selita国度的英雄们
死蟒食骸
【龙偶】【自设世界观】曾经,存在着一个神奇而古老的国度,名为Selita。在这个国度里,居住着各色各样的龙,它们是这片土地的真正主宰。其中,......
0.6万字2个月前
黑白公子 连载中
黑白公子
大姑姥
黑白公子
0.8万字3周前