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

形式主义与多宇宙观(二) (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.1万字9个月前
炮灰女配不按剧本走 连载中
炮灰女配不按剧本走
我爱吃肉777
顾小唯穿进了一本书里,成为了一个缠人又卑微的女配为了成功完成戏份,回到原世界,她兢兢业业地扮演着原身的角色顾小唯微微仰着头,声音暗哑,浑身颤......
22.1万字8个月前
怀澄-d387 连载中
怀澄-d387
行走江湖的煎饼哥
一只all澄
2.4万字8个月前
整个世界只有我最正常 连载中
整个世界只有我最正常
与琳
“已弃坑”早起玛丽苏作品,慎入!“看似最正常的一个,实则是最不正常的一个”月影使者莫久被迫撕毁《妖怪集》创世神派她和她的守护灵去找回散落人间......
8.5万字8个月前
山海吃货联萌 连载中
山海吃货联萌
映双双
【皮卡丘文社】新书《岌岌扶唧唧》求眼熟~吃了吗?吃饱了吗?下顿想吃什么?想美容养颜还是延年益寿?或者,过目不忘?来吃饭吧!山河海私房菜欢迎您......
18.9万字8个月前
TNT:迷幻星使 连载中
TNT:迷幻星使
清风fang
数万年前,第一位也是唯一一位的全系精灵出现。后来,因为某些原因,她陷入了沉睡。7千年后,她如约醒来,四处流浪,撞见了战神联盟。“布莱克,是你......
6.7万字8个月前