手机浏览器扫描二维码访问
1何为大基数公理。
所谓性质p是一个大基数性质,大概的意思就是说?x,p(x)-x是一个基数,并且zfc+?kp(k)|-n(zfc),因此zfc无法证明p的存在性。而对应的大基数公理就是假定这样的基数存在。
2一些闲话。
从不可达基数起这些基数全是通过对v绝对不可描述的括展得到的,不过数学上的不可描述不是你们说的这些都无法成为x的描述,只有我独家可以。
而是这些描述不仅x有,y也有。比如一个世界中存在漫威公司存在百度贴吧各方面都很像现实世界可以说包含现实,但实际这些特征都不只是现实世界独有,一堆虚构世界都照样有,所以光靠包含这些描述并不能真正占有现实世界,现实世界就是不可描述的。
比如,如果w就是大全,那么“对于一切n,都存在一个使得n﹤”是w中的一个基本事实,但对于任何一个有限的世界,都存在一个极大数u,但对于u是不存在一个大于它的数。
所以“对于一切n,都存在一个使得n﹤”是一个只有w才具有的描述而不被其下的小世界具有的,所以w可以被这句话描述,
反之,“存在一个极大数或最强者”是任何有限世界都具有的,无法特定描述包含某个有限世界。
所以对于那些大基数的大往往都是通过这种方式体现:假设大基数公理,我们推导出一个十分强大的性质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的一个真子集。
穿越到龙族世界的我才不会用言灵 都市之开局就是大反派 诸天之从国漫开始 快穿:黑化男主的套路魔咒 奥特:兑换系统 道破逆乾坤 冰锋[竞技] 我对恶魔果实没有兴趣 精灵之虫王崛起 满级绿茶虐渣攻略 萌学园之魔法新星 娱乐圈都是我妈养的鱼 无限之从明日边缘开始 华娱新世界 论如何通过打倒主角来拯救世界 六贼纨绔 足坛风暴 快穿之宿主又放飞自我 快穿之穿越准则手册 正常人谁玩得过NPC啊[无限]
每天早上六点更新,如有加更一般在下午三点预收死对头是钓系美人,文案在最后本文文案某水产家族首领为了拯救世界而穿越。他肩负着寻找世界本源之力的任务,降临在了日本横滨,并下定决心一定要挽救...
最火爆免费新书仙尊重生回到当年被陷害的床上,前世所有欠我的,我将十倍索取今世,我定要俯瞰万界睥睨天地读者群310343866...
秦湘因为业绩突出,被高价挖到反派组,用爱温暖,感化反派,阻止反派黑化灭世!!ampampbrampampgt 他是天之骄子,被至亲背叛,灵根被废,丹田破裂,濒死之际竟看到从小到大最讨厌的死敌秦湘。ampampbrampampgt 他以为...
穿越到尚未开服的游戏里,林御每天都在为一件事情而苦恼有没有人能告诉我,这一百多个技能,我该怎么记???...
宇智波带土第五次忍界大战,现在开始。旁白为什么是第五次。宇智波带土因为有个狠人一个人就打了第四次忍界大战。我一个人便是战争,穿越在忍者的世界,打科技的战争。拥有各种各样的科技模板,变形金刚,终结者,歼星舰,天基武器,绿魔炸弹,机枪,重炮,核弹,加速粒子炮。红警基地,机器人生产线。...
楚风死后穿越到科技发达的机械文明泰伯星球。没想法想尽办法回到地球却发现自己回到了年轻的时候。既然命运让我回到年轻,断然不会让自己虚度光阴。手里掌握着超级文明的自己,如何在这个世界焕发夺目的光彩,建立一个科技帝国。...