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

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

二、形式主义对数学实践的影响

笔者在《结构主义是一种有效的数学哲学吗?》中质疑结构主义是有效的数学哲学[12]。

在同样的意义上,形式主义无疑是有效的数学哲学。

希尔伯特的形式主义纲领直面数学工作者的困惑。

无论是希尔伯特本人关于几何的公理化工作,还是一阶谓词逻辑和集合论的公理化,抑或前文提到的根岑和哥德尔关于皮亚诺算术的一致性和相对一致性证明,都是在希尔伯特形式主义纲领启发下的数学工作。

在这个意义上,形式主义的确对数学实践有着积极的影响。

裘江杰在《集合论多宇宙观与形式主义》中认为,元数学“作为对数学的反思性研究”是“形式主义的重要组成部分”,并且形式主义,尤其是被纳入形式主义框架的集合论多宇宙观有助于为集合论搜寻新公理。

本节中,笔者则试图说明:形式主义者尤其关注的元数学研究恰恰非常依赖超出形式主义的思想和直观;而形式主义对探究集合论新公理的作用是有限的。

的确,当代集合论研究中大量使用力迫法得到的结果都可以写成 Con(T)→Con(T+φ)这样的形式。

这种相对一致性结果可以被看作是典型的元数学命题,并且本质上可以在弱如PRA这样的算术公理系统中得到证明。

但实际上,几乎没有集合论工作者是在算术公理系统中工作来发现这些证明的。

一般关于力迫法的直观是构造一个已有集合论宇宙中不存在的泛型(泛型,generic)对象,例如ℵ2个实数,来得到满足某个命题的“更大的”集合论宇宙,并称之为力迫扩张(forcing extension)。

按照朴素的单一宇宙观,把集合论宇宙理解成所有集合组成的宇宙,就无法解释何以能够再造出一个在集合论宇宙中不存在的泛型对象。

对此,一般可以借助可数传递模型或力迫语言来解释。

用可数传递模型来解释Con(T)→Con(T+φ)的力迫法证明,首先假设存在T的可数传递的玩具模型M,由于可数模型上的泛型对象总存在,我们可以证明存在M的力迫扩张M[G]满足T+φ。

在这个解释下,我们处理的只是玩具模型,无论玩具模型M、泛型对象G还是M的力迫扩张M[G]都真实地存在于我们的宇宙中。关于这个解释需要注意的是,满足T的可数传递模型M的存在往往严格强于Con(T)这个假设。

实际上,我们取的是集合论公理集T的任意一个有穷部分T0(ZF可以证明任何ZF有穷子集都有可数传递模型)。

由此,上述解释本质上提供了一个证明转换的能行方法:如果T+φ不一致,即存在一个有穷的T0+φ可以证明荒谬,那么我们就可以从Con(T0)这个假设出发证明出存在T0+φ的模型这个荒谬,因而T也是不一致的。

通过力迫语言的解释一定程度上可以避免这种曲折的处理方式。

我们先定义力迫语言的“语义”——力迫关系:PⅡ-a

(ˉτ)

,其中

ˉτ

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

相关小说

幸运值爆表的我在恐游专心搞事业 连载中
幸运值爆表的我在恐游专心搞事业
爱我一周可以吗
幸运值爆表指的是在这样的恐怖游戏还能结识很多生死之交啦当然在游戏中会有一点啦但不会给女儿太多的女主光环!每个人都会闪闪发光!
0.5万字6个月前
轮回者的叙事录 连载中
轮回者的叙事录
是隔壁秋枫呀
女主不小心进入一个奇怪的世界,费尽心思逃出之后,却发现自己在现实世界昏迷了一百多年。醒来后遇见一个神秘调查组,经过协商之后,绾慕几人一同去调......
10.5万字5个月前
all懒聊天室 连载中
all懒聊天室
131***911_6784891044
3.4万字5个月前
盛世邪妃 连载中
盛世邪妃
红豆忆念
一扇石门将她吸入,竟意外来到下界,不但不能修炼,还被陷害破了相,废材?看清楚站在你面前的,可是上界神域的人上人,既然你受了这么多的年的委屈,......
0.7万字5个月前
神医狂妃:魔神大人轻点宠 连载中
神医狂妃:魔神大人轻点宠
洛阳凝梦
现代唯一的修真者,穿越到了一个叫作东段大陆的地方。清白被夺,灵根被废,沦为废人。后来受到帝墨九的帮助,灵根修复。获得异火。来道塔娜斯学院,认......
9.5万字5个月前
熠是…… 连载中
熠是……
梦零莹
这人很懒,啥都没写。
0.3万字5个月前