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

形式主义与多宇宙观(二) (4-3)

这里我们援引递归论中的术语,用 We表示编码为 e的图灵机的定义域,或“第 e个递归可枚举集”。

我们说,ZFC 是一个递归可枚举的(实际上是递归的)公理集,也即存在一个自然数 d 使得 ZFC={σi: i∈ Wd}。

所以事实陈述中的{σi: i∈We}=ZFC实际上是 We=Wd这样一则一阶算术命题。

此外,Wd又可以被表示为一个递归函数δ的值域:Wd={δ(i): i∈N}。

事实的证明

假设ZFC={δ(i): i∈N}。

我们可以构造一个部分递归函数Φe:

δ(n),如果∀x<nφ(x),

Φₑ(n)={

δ(n)∧0=1,否则。

我们先验证(1):如果∀xφ(x)成立,那么We=ranΦe=ZFC。

此时,Con(We)等价于Con(ZFC)。

验证(2):我们在ZFC中工作,如果¬∀xφ(x),那么We中就包含0=1。

因而,¬Con(We)。

证毕。

因此,对任何真的∏º₁语句(例如,“ZFC+存在任意大的武丁基数是一致的”),我们都可以找到 ZFC的某个编码,使得Con(ZFC)蕴含这则语句。

在弗雷格这样的实在论者看来,这并没有什么吊诡的地方,因为它们都是真的。

科里认为,当我们证明一个数学命题的时候,重要的是我们证明了这个命题在某个公理系统中可证这一元数学事实。

一度作为ZFC形式主义②者的谢赫拉(Saharon Shelah)在已知ZFC关于正则基数为指数的幂所知甚少的情况下,提议尽可能在ZFC中证明关于奇异基数为指数的幂的取值上限,并证明了著名的不等式:

2ℵω<ℵω₄

。

证明使用了谢赫拉发明的相比基数幂运算更精细的共尾可能性理论(pcf theory),涉及在各种超积模型中可能的共尾数。

这依赖于相当深刻的集合直观。

尽管所有在ZFC公理系统中的证明自然都会有相应的元定理作为副产品,但即使在ZFC形式主义者看来,他所证明的是一则关于集合的事实,而不是一则有穷的算术“元数学”命题。

事实上,没有人真正给出过见证

ZFC⊢2ℵω<ℵω₄

的形式化证明的编码。

裘江杰在《集合论多宇宙观与形式主义》中认为形式主义能够帮助探究集合论新公理。

后者是哥德尔纲领的核心议题,也被认为是柏拉图主义面对不完全性现象的标准回应。裘江杰写道:“为获得具有某种独立性的常规数学结果所必须的命题可能可以作为新公理的候选。这一进路是形式主义的。”[3]对这句话可以有两种解读。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

神的守护者 连载中
神的守护者
贺如愿
雅是北山山神之女,转世到山谷地带一个设有结界的空间“千树族”,从小受万人敬仰,与发小宁相爱。雅、宁和葡迪三人三小无猜,长大后先后结识结界旁石......
2.8万字8个月前
大雄的江湖救急 连载中
大雄的江湖救急
腊梅树
叶英:为了救江湖,总有受伤的!cv吴磊叶凡:婉妹你可知,我寻你,已是寻遍了大半个江湖!cv沈磊叶琦菲:我不识什么九天神算变天君,我只知道你是......
6.2万字8个月前
九重诀 连载中
九重诀
付玖柒
【原创小说,已签约,一旦发现抄袭必定举报。本小说分为三部曲写作,第一世人间篇,可攻略男主:沐风,无夜,扶苏,隐藏可攻略男主莫惜。第二世九重篇......
18.0万字8个月前
时之痕 连载中
时之痕
无嵇
一切都是虚幻么?为何悲伤如此刻骨铭心?都是真的么?为何一切变得遥不可及?“你是谁?”“你还存在么?”“我是谁?你们又是谁?”这到底是结束还是......
9.0万字8个月前
真理之殿 连载中
真理之殿
纸片要摆烂
我们只追求真理,事实和真相。
13.9万字8个月前
灭门后,作为游隼开始变强 连载中
灭门后,作为游隼开始变强
枫雪霁
尹家一夜遭灭门,遗孤尹唳觉醒游隼血脉,被带入异能者组织“奇珍阁”,携手队友开启复仇之路。可他真的只是偶然觉醒吗……“若是黑暗敢阻挡,便做撕破......
7.0万字8个月前