求道九州

永远永远酱w

首页 >> 求道九州 >> 求道九州全文阅读(目录)
大家在看水泥封心,高冷校花悔不当初 在他心头放肆 偷偷吻月亮 腹黑VS呆萌:竹马诱青梅 首席强制爱:独宠迷糊小娇妻 蛇妖夫君硬上弓 他养的小可爱甜炸了 让我给校花当接盘侠?可以 重返2000从文抄开始一夜成名 腹黑竹马欺上身:吃定小青梅 
求道九州 永远永远酱w - 求道九州全文阅读 - 求道九州txt下载 - 求道九州最新章节 - 好看的青春小说

???

上一页书 页下一章阅读记录

最后,文章中的数学定义和定理,从某种意义上,是我们为论证而搜集的证据。借助这些定理,读者可以更好地把握概念间的关系,大致看出当今集合论发展的脉络,从而体会出其中的哲学意蕴。郝兆宽.杨跃柏拉图主义与集合论终极宇宙。

1独立性现象与数学真理

集合论中充满了独立性现象。在这些现象背后的是有关集合论真理的哲学问题,即:

一个集合论语言中的语句σ是真的,这是什么意思?

有一派观点认为σ是真的当且仅当。在ZFC中可证。

我的感觉是,除了那些一致性命题,ZFC穷尽了我们的直观,所以,证明意味着在ZFC内证明。([7],第3页)

而这就意味着那些独立于ZFC的语句没有真假可言。

这是一个有重大影响的选择。其中最重要的影响就是承认CH本身是无意义的,而CH也许是我们对不可数集合所能提出的第一个重要问题。([1],第13页)

这样的立场被称为“形式主义”。与之相对应的立场是“柏拉图主义”,它认为一个集合论语句为真当且仅当它描述了集合宇宙中的一个客观事实。独立性命题产生的原因是我们对客观数学世界的认识不够完备。但这不意味着这些命题本身是没有真假的无意义命题,相反随着对集合宇宙认识的不断深入,我们最终会决定它们的真假。

基于此处采取的立场,从已接受的集合论公理出发,一个有关康托猜想的不可判定性的证明(与一个对的超越性的证明完全不同)决不是问题的解决。.集合论概念和定理描述了一个完全确定的实在,在其中康托猜想一定是或真或假。因此,源于今天已接受公理的对它的不可判定性,只能意味着这些公理没有完备地描述那个实在。这一信念绝非空想,因为有可能指出一些方向,在其中能得到对一些问题的判定,而这些问题对于通常的公理是不可判定的。([4],第260页)

把所有独立于ZFC的命题都看作无意义的,这种观点有一个困难就是这些命题在认识论地位上不是完全等价的。例如,有人认为CH无意义,因为“任意实数的子集”这个概念模糊不清。但是,几乎不会有人认为“所有投影集都是可决定的(PD)”无意义,因为这其中并不涉及“任意实数子集”的概念,而只是谈论了投影集这样的具体可定义的数学对象。但PD与CH一样,是独立于ZFC的。因此,武丁(H.Woodin)向形式主义提出了如下挑战:

……(形式主义)这种立场要站得住脚,那就或者集合论中类似的不可解问题也必须被看作是无意义的,或者必须解释为什么连续统假设的问题是与那些问题不同的。我指的是那些描述集合论的经典问题,它们在连续统假设提出不久也被提了出来。([8],第29页)这要求人们进一步仔细分析PD与CH:

定义1.1 无穷基数δ是武丁基数当且仅当对任意函数f:δ→δ,存在初等嵌入 j:V→M,如果κ=crt(j),则f[κ]?M并且Vj(f)(x)?M。我们用

W={δ|δ是武丁基数}

表示全体武丁基数的类。

1985年武丁证明了以下定理:

定理1.2(武丁,1985)如果M是ZFC的传递模型,并且M“W是真类”,则对任意M脱殊滤G,

VM <VM[G].

ω+1 ω+1

VM <VM[G]蕴涵着VM和VM[G]

ω+1 ω+1ω+1 ω+1

初等等价,因此以上定理就表明,如果存在任意大的武丁基数,则任何形如“Vω+1╞σ”这样的句子都不能用(集合)力迫的方法证明其独立性。此时我们称V11的一阶理论Th(V1)是脱殊绝对的。这一结果的意义在于,大基数公理(存在任意大武丁基数)可以给有关Th(V1)的所有问题以确定的回答。又由于PD,乃至经典描述集合论中所有有关投影集的问题都属于Th(V+1),这也意味着在大基数公理下,它们都有确定的真值,而不再是独立的。特别地,对PD马丁和斯蒂尔(Martin and Steel)证明了:

定理13(马丁、斯蒂尔,1985)如果存在无穷多武丁基数,则PD成立。进而:

推论1.4对任意传递模型M,如果MFC+“W是真类”,则对任意M脱殊滤G,都有M[G]╞PD.

反观CH,列维(Levy)和索洛维(Solovay)1967年证明了:

定理1.5(列维、索洛维,1967)令为任意一条已知的大基数公理,假设M 是ZFC的传递模型并且M╞σL,则存在M脱殊滤G和H,M[G]╞σL+CH而 M[H]╞σL+┐CH。

比较推论1.4和定理15,我们看到:在PD与CH之间确实存在着带有根本意义的差别。与PD不同,大基数公理对CH的独立性无能为力。这种差别是否可以帮助形式主义回应以上挑战呢?

2多宇宙真理观与9猜想

我们首先将形式主义可能的回应严格描述出来,这需要一系列的定义。

定义2.1令M为ZFC的可数传递模型,则由M生成的脱殊多宇宙Vm为满足以下条件的最小模型类:

1. M∈VM;

2.如果N∈VM,而N'=N[G]是N的脱殊扩张,则N'∈VM;

3.如果N∈VM,而N=N'[G]是N'的脱殊扩张,则N'∈Vm。

简单说,Vm是包含M并且对脱殊扩张和脱殊收缩封闭的最小模型类。由V 生成的脱殊多宇宙记作V。

喜欢求道九州请大家收藏:(m.zjsw.org)求道九州爪机书屋更新速度全网最快。

上一页目 录下一章存书签
站内强推疯了吧?抢亲抢到大帝头上了? 假戏真做吃掉你 末世天灾,我带空间囤亿万物资 青云仕途 胎胎多子,我靠生子修炼成神 重生之资源大亨 快穿:钓系美人逆袭上位了 大晋第一铁饭碗 钓系公主不追了,清冷首辅火葬场 师娘,你还说这不是双修法? 双修魔尊,我以阴阳证帝位 苟在将军府 第五人格:民间队爆杀职业队 女友太乖巧,我反手就是一个分手 快穿:炮灰街溜子 天庭快递员 错嫁后,在隐藏大佬的心上撒野 红楼梦明亡史全索隐 十天一天赋,成为吸血鬼的我太BUG了 光绪之路:系统掌权 
经典收藏异兽迷城 炮灰在年代文里搞内卷 穿书成了偏执男主的心尖宠 我有一本诸天大道书 我在三月初春看见你 云誓南风 像骄阳一样 曾是青春年少时 最是少时甜 青梅是颗夹心糖 别人修仙,我养生加点 如若再次遇见你 庶女重生之无情心上人! 我的仙侠被入侵了 重生校园之女王耀世归来 他是我的欢喜冤家 西子浣纱 穿成女配,疯批大叔暗恋我 萤火虫的爱恋 重生商女之阎王是我姐 
最近更新枕边炽吻 不觉玉树映金台 在时光缝隙里遇见爱 重回92,从下岗风波开始 前妻痴情白月光,我找青梅她急了 繁星藏在他眼中 诱她犯规 我死后第七年,替身文男主疯批了 不当舔狗后,校花青梅彻底急了 流年总有春 撩心撩情:冷宫皇后想复仇! 与大乐透女孩同居的那些事 冷宫弃妃的逆袭:心机美人玩转后 完蛋!我养的小奶狗竟是腹黑大佬 表白你拒绝,我反手求婚御姐教授 庶女重生之无情心上人! 槐夏风清 虐恋,校霸的白月光 苏瑶的成长 让你当舔狗,你成了她们的白月光? 
求道九州 永远永远酱w - 求道九州txt下载 - 求道九州最新章节 - 求道九州全文阅读 - 好看的青春小说