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

形式主义与多宇宙观(二) (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万字6个月前
女学渣逆袭之职校 连载中
女学渣逆袭之职校
栋笠
【弃坑】予成,予中,二中,三中,一中,乇坊厂,渝水中学,这七所学校,在M省,囗脾不一。首先,予中,与二中,毛坊厂,渝北中学,后一中,与三中,......
0.4万字6个月前
特种兵:小哥模板,全能指导员 连载中
特种兵:小哥模板,全能指导员
晚枫LS琪
卿言(男)穿越到特种兵世界,绑定全能系统,抽到小哥模板,斗过毒贩、刷过红海、去过长津h、八百、抗日......后来呀....后来.....无......
4.9万字6个月前
凤铃 连载中
凤铃
莫珣兮
她本是街头乞讨的小孤儿,每天除了要饭最喜欢的事就是听包子铺里的小姐姐手机里放的小说故事了。意外穿越成“千万宠爱”的小公主,本以为可以开启悠闲......
14.9万字6个月前
哈利波特之来自中国的巫师 连载中
哈利波特之来自中国的巫师
顾晓榕涵
(希望大家可以看看我的新书)哈利.波特是一个巫师,基本上所有巫师都知道他的名字肖若涵一个强大且神秘的人,没有人知道她的身份,即使她年龄很小一......
1.1万字6个月前
霸道神明的小逃妻和凌乱的我 连载中
霸道神明的小逃妻和凌乱的我
已经糊了的怪炸鱼
[苗疆美人巫蛊师x清冷民俗学家]"文明与野蛮在争斗,但陋俗从未停止过杀人。任何相悖于伦理道德的信仰都应该被拉到公理之下粉碎。我会是民俗的记录......
9.1万字6个月前