88读书网

手机浏览器扫描二维码访问

第485章 33 无穷时代(第1页)

1.何为大基数公理。

所谓性质P是一个大基数性质,大概的意思就是说?x,P(x)->x是一个基数,并且ZFC+?κP(κ)|-Con(ZFC),因此ZFC无法证明P的存在性。而对应的大基数公理就是假定这样的基数存在。

2.一些闲话。

从不可达基数起这些基数全是通过对V绝对不可描述的括展得到的,不过数学上的不可描述不是你们说的这些都无法成为X的描述,只有我独家可以。

而是这些描述不仅X有,Y也有。比如一个世界中存在漫威公司存在百度贴吧各方面都很像现实世界可以说包含现实,但实际这些特征都不只是现实世界独有,一堆虚构世界都照样有,所以光靠包含这些描述并不能真正占有现实世界,现实世界就是不可描述的。

比如,如果ω就是大全,那么“对于一切n,都存在一个m使得n﹤m”是ω中的一个基本事实,但对于任何一个有限的世界,都存在一个极大数U,但对于U是不存在一个大于它的数。

所以“对于一切n,都存在一个m使得n﹤m”是一个只有ω才具有的描述而不被其下的小世界具有的,所以ω可以被这句话描述,

反之,“存在一个极大数或最强者”是任何有限世界都具有的,无法特定描述包含某个有限世界。

所以对于那些大基数的大往往都是通过这种方式体现:假设大基数公理,我们推导出一个十分强大的性质p,但由于k的不可描述性,k之下也存在满足这个性质的a,并且往往会有很多,所以这个用来描述k非常大的性质其实还是不足以描述k之大。

同样的道理,如果全知全能不是上帝独有的特征,被上帝欺负过的拉、宙斯之类的都具有,那么全知全能就不足以描述上帝的伟大。

3.所谓不动点。

凡事皆有原因,

对任意x,均有一f(x),

原因亦又其原因,

对f(x)亦存在f(f(x)),

并且,身为原因的一方优先于其结果,比如上帝是世界的原因优先于世界,

记f(x)>x,

而所谓的不动点,f(x)=x,

则表明其是自身的原因。

4.量产大基数的时候到了!

大基数公理是指理论不可证明也不可证伪断言其存在的命题,就这种意义上有一种量产大基数公理的方式,

由完备性定理,理论的一致性与存在实现理论语义的宇宙等价,

由不完备性定理,理论无法证明自身的一致性,

对任意理论T,你只需要加入“存在k使得V_k是实现T的宇宙”就是一则大基数公理,这样在(T+“存在k使得V_k是实现T的宇宙”)看来,T看到的大全V就只是前者看到的大全V的一个前段V_k。

(定义计算器或计数器:

φ(0)=V,φ(1)=大全V,……

大全V简单来说就是“所有V_k”组成的集合或者说V_k的所有可能性组成的集合,一切V_k都只是大全V里的一个元素,终极V也是如此,只要涉及到“V”这个概念,那么就必然属于大全V,是大全V的一个真子集。

哈利波特之Hello黑魔王  大唐西游之最强网吧  都市超级闲汉  尸唐:开局救了长乐公主  快穿之超凶萌宠  最牛玉帝系统  你好,我的上官先生  斗罗之真君显圣  人在盗笔,我妹妹惹不起  兵王之极品老板娘  魔武机神  龙珠开局:拐走传超布罗利  他把星星摘给我  灵物进化商  诸天之从吊打五绝开始  魔王你老婆又重生了  宙灵世界  我觉醒了高达独角兽  五域九天  鸿蒙教皇  

热门小说推荐
步步诱婚:总裁狂宠契约妻夏清

步步诱婚:总裁狂宠契约妻夏清

娶我!她拿了一把刀,抵在他的胸口。男人邪魅一笑,伸手将她拉进自己怀里,拿你的身体来换于是,缠绵悱恻当真相揭开,她才知道,他所做的一切,目的,都是为了得到她步步诱婚!...

霸宠农门小娇妻

霸宠农门小娇妻

爽文儿,一对一,欢迎大家入坑一次重生,秋霜成了农家小女,前有刻薄奶奶,后有狗仗人势小舅妈,她爹还是个入赘的哑巴,日子过得苦哈哈幸好她不再是她了,分家养畜本站为书迷更新霸宠农门小娇妻最新章节,查看无尾鱼的眼泪所撰历史军事霸宠农门小娇妻的最新章节免费在线阅读。...

机破苍穹

机破苍穹

一场人为的意外,一场蓄谋已久的事故,把一个年仅十八周岁的少年推进了深渊。可是算了,我们还是日后见分晓吧。非正常版本简介你这武器好帅,拿来吧你!你这机甲好强,拿来吧你!你这媳妇真...

葫芦农场

葫芦农场

大城市容不下肉身,在魔都刷盘子活不下去了的杨峰无奈回了老家,没想到半路捡来的葫芦竟然能够种出极品农作物。从摆摊卖草莓开始,一步一步地走向了人生巅峰,他种出的水果蔬菜都是顶级食材,是五星级饭店争抢的目标。...

高达之我的星空

高达之我的星空

一个少年穿越到了SEED的世界中,成为了阿斯兰的弟弟,开始他在SEED中YY的生活,美丽的歌姬,成熟的御姐,纯洁的萝莉,他身边围绕着一个个的女性,把动漫的主角踩在脚下,一段香艳的SEED猎艳之旅。—业余时间YY之作,本人另有作品,更新时间不固定...

每日热搜小说推荐