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

集合论国际【力迫法】

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

相关小说

三世奇缘——第一世:人间传奇 连载中
三世奇缘——第一世:人间传奇
Aot
她,第一世21世纪杀手NO.1;第二世人见人怕的女魔头;第三世的她又是什么?又会创造什么奇迹?他,神界十重天的太子,当他下凡历劫遇见她时会擦......
0.4万字6个月前
他说北方有神鹿 连载中
他说北方有神鹿
厌色鹿鸣
【群像】谁苍白了我的等待,讽刺了我的执着。世人皆知四大雅:颜君抱花,公子斩妖,女帝弃剑,云鹤降世。却不知的是:颜君抱花,太子心动,却终是一出......
24.4万字4个月前
际缘 连载中
际缘
钰柳州
【双男主】+【回忆杀】+【小甜饼】+【幻想】霁清轩和顾闫旭认识,相识许多年,却在结婚几年后出轨。顾闫旭在医院好似出现了幻觉,看到了18岁的霁......
2.0万字3个月前
末世之人类命运共同体 连载中
末世之人类命运共同体
诺尔塔斯
主角在末世重新成长建立三观结交朋友共同创建人类命运共同体的过程。——————背景介绍:一个贪玩的高维生物不小心将一个使宇宙的再生平行世界的能......
1.5万字2个月前
救命!这个外星人统治的世界! 连载中
救命!这个外星人统治的世界!
_白控
我,幸星海,需要拯救即将被外星人统治的水域。在白的帮助下,我来到了外星人统治的世界。将人类看做宠物?我不敢想下去了……
7.6万字2个月前
快穿之我在游戏里当大佬 连载中
快穿之我在游戏里当大佬
子非珏
南宫陌离和君沐泽从小是青梅竹马,全球有些人手腕上有倒计时而消失,他们到家KW游戏世界里,一路上一起和伙伴们通关副本,最终得到了真相……(南宫......
0.6万字3周前