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

集合论国际【力迫法】

论文短,影响深远,得国际大奖,这三点同时满足的很多人估计只能想到纳什的博弈论论文,但实际上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),接着再看更方便。

相关小说

我靠养鱼,日常变美 连载中
我靠养鱼,日常变美
寒时温
快穿流,不喜勿入(日更2000~4000)一句话简介:我靠养鱼,日常变美!颜末小姐的鱼塘壮大史。第一处鱼塘:网恋选我,我超甜第二处鱼塘:恋综......
57.9万字5个月前
快穿之芙蓉帐暖 连载中
快穿之芙蓉帐暖
玉樱樱
(快穿+系统+虐渣+爽文+演戏+大美人+渣女+男主碎片)渣女梨依儿快穿到各个小世界围绕在各个大佬周围。完成任务后就不甩他们了,主搞自己的事业......
3.2万字5个月前
午夜图书馆探索异世界 连载中
午夜图书馆探索异世界
逆卷灵
艾米丽站在画面的前景,她手持一把古铜色的钥匙,钥匙上刻有复杂的符号,散发着微弱的光芒。她的表情既紧张又坚定,目光直视前方。
4.1万字5个月前
缥缈之梦 连载中
缥缈之梦
一只小猹w
虽说神界很美,可惜再漫长的路总有尽头,海市蜃楼再美也不过是假象,而这些梦里梦外缠烂辉煌的世界,却来自于无数个悲惨的回忆和童年。(书籍原名:缘......
2.5万字2个月前
王威:唯一 连载中
王威:唯一
裴瑾妤
高甜无虐,这里是王威×阮礼(原创女主)
2.7万字2个月前
请指认我的心脏 连载中
请指认我的心脏
郇遂
简介正在更新
0.5万字1个月前