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

形式主义与多宇宙观(二) (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),接着再看更方便。

相关小说

幻想:乐园 连载中
幻想:乐园
A酱咩咩咩
(奇幻/幻想+双女主(第1卷)+微日常……)不知道怎么描述主要剧情,大家还是自己看吧₍˄·͈༝·͈˄₎◞(文笔很人机,已经不知道重开这本多少......
3.0万字8个月前
战陀甜甜的恋爱 连载中
战陀甜甜的恋爱
深渊梦
内容主打一个嗑cp和吃狗粮。主CP四位战陀王和他们豹cp
0.4万字8个月前
青姊梦录 连载中
青姊梦录
蓝月晗
 梦里有梦梦追梦,梦醒梦逝空思梦。    自在飞花缘似梦,最易醒来终归梦。    晓梦蝴蝶在梦途,梦里梦外皆为幻。    假使如今不是梦,能......
5.6万字8个月前
小说的台词剧情歌词歌名 连载中
小说的台词剧情歌词歌名
梦中的故人
0.1万字8个月前
all安:坠落 连载中
all安:坠落
水落泥污
神,为什么我感受不到悲伤,似乎我本就没有心.....明明自己都保护不了,却还傻傻的去保护他人,但他们又是怎么对你的,你对他们付出真心,而他们......
0.4万字8个月前
陈情令——魏无羡重生之守护 连载中
陈情令——魏无羡重生之守护
魏无靖
这一辈子一定要保护好师姐,虞夫人,江叔叔,温情,温宁
0.3万字8个月前