手机浏览器扫描二维码访问
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黑魔王 他把星星摘给我 你好,我的上官先生 魔武机神 龙珠开局:拐走传超布罗利 灵物进化商 兵王之极品老板娘 斗罗之真君显圣 人在盗笔,我妹妹惹不起 宙灵世界 五域九天 最牛玉帝系统 鸿蒙教皇 尸唐:开局救了长乐公主 都市超级闲汉 诸天之从吊打五绝开始
第五组本书签约绝不太监400年后的炼金术士穿越到1890年,且看他如何利用自己未卜先知的历史知识和神奇的炼金术,扭转中华民族近代屈辱的历史!起家北冰洋,覆灭大清朝,轰炸小日本,游走于英法之间,分割沙俄,包养德意志,裂土美利坚,用强大的军队把中国打造成世界上最强盛的国度!龙灏说,我泱泱中华要让万国来朝,成就一个大中华盛世,让世界以学汉语为荣!...
作者火狐狸的经典小说墨先生,不爱请早说最新章节全文阅读服务本站更新及时无弹窗广告小说墨先生,不爱请早说阮默对墨湛十年的爱,却抵不过他前女友的一滴泪,她选择放手成全。可是离婚了的他,却对她黏腻不行她说墨先生你够了,我绝会不吃回头草。他答墨太太,你等着给我吃就好。...
撞破未婚夫和妹妹背叛,她直接把渣男暴打了一顿,继而转身便抱上了金贵的大腿。本想用完就扔,却没想到从此被缠上了。某女喂喂喂,这位大佬,说好的只是用一下的,怎么还沾上我了。某大佬你只说用一下,也没说用多久呀!某女你你还要脸吗?某总裁不要了!...
站在云中郡的城楼之上,看着远处辽阔的草原,时铮顿时豪情万丈我时铮这辈子,疆场驰骋戎马一生,走过长安城未央宫的大染缸,漫步张掖酒泉敦煌的屠戮场,经历过朝代更迭的风云诡谲,并亲手将皇帝送上帝座,我时铮的一生,最是波澜壮阔,最是程袁悠悠飘过大哥,你说够了没有,大嫂让你回家带孩子。时铮...
崔朕穿越平行世界,在足球超神系统的帮助以及自身卓绝努力下,带领华夏的梦之队成为世界冠军的传奇故事。德尼尔森的神级踩单车,贝克汉姆的贝式弧线,卡努的蝴蝶步,小儒尼尼奥的完美任意球,齐达内的马塞轮转,巴蒂GOAL,梅西的千里走单骑。凌空抽射倒挂金钩远距离吊射鱼跃冲顶脚后跟射门众多技能加持于身,崔朕用自己的双脚谱写了一幕幕的传奇神话。...
...