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

数学

1.康托定理‬

对任意集合X 都会存在一个基数比 X 更大的集合。

在X 是无穷集的情况,这揭露了超越无穷的世界。

2.Löwenheim–Skolem 定理

对任意一阶理论,如果其存在无穷模型,则存在任意基数的无穷模型,比如可数模型。

这揭露了那个超越无穷的世界只是一个海市蜃楼——在认知论上,在本体论上,则揭露了超穷世界是多么的超越认知,无法用语言指向,确定真实的不可数集。

3.Henkin 定理

对任意一阶理论,它是一致的当且仅当它存在模型。

Löwenheim–Skolem 定理是在一个超穷理论中,发现了一个一阶理论或许是不可数的自然模型,然后根据这个不可数的模型发现了该理论的可数模型。在这里先有不可数模型,再有可数模型,所以前者仍被认为是自然的,而后者属于生造的或限制的。

但 Henkin 定理并不需要额外假设模型存在,而是仅凭理论本身来构造一个完全切合理论的模型,这都不需要在一个超穷理论中证明,这样的模型甚至都可以在某种理想的计算机中被模拟出来(如利用理想的闭合时曲线作计算的理想计算机),可数模型就此夺回了它的自然感。

换言之,在本体论上超穷世界很可能并不存在,我们认知的超穷集合仅仅只是概念上的存在,在一个可数结构中形成的概念,而非真实的存在。亦或者反向思考,说明超穷世界在本体论上的超验深度越发深邃。

1.一阶理论:像 ZFC 这样的集合论都是一阶理论。

2.无穷模型:通俗的说,就像物理宇宙是物理理论的模型,集合论模型也被称作集宇宙。这个宇宙如果至少含有无穷个对象,则称其为无穷模型。

3.可数模型:仅含有可数个对象的宇宙,可数个是指≤ℵ₀个。

2.超穷理论:可以证明存在不可数集的足够使用的理论,下限如 KP+∃ℵ₁

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

永远停驻于那个夏天吧 连载中
永远停驻于那个夏天吧
4000時
请关注四千时谢谢喵【自留oc向】第一次在话本写东西!这是纯oc向的小说てす!一起去鬼屋探险吧!杂乱剧情注意‼️多结局注意❗️男频剧情️,女频......
0.7万字5个月前
元良续章 连载中
元良续章
南缘十四
一次意外,让两个世界相撞,我们成了彼此不可或缺的拼图。我们的相遇,点亮了彼此的夜空。
2.1万字5个月前
残梦遗记 连载中
残梦遗记
时间独角兽的小号吖
原创作品,禁止抄袭,违反必究!!!作者原名:时间独角兽(墨怨)简介正文:——哥哥,我做了一场梦……像碎片一样的记忆涌入我的脑海,——是谁在呼......
2.1万字4个月前
宠,唯爱一生 连载中
宠,唯爱一生
爱吃香草大富婆
人的一生有很多选择,如果让你有机遇你愿意踏入吗?一个规则的制定者,一个规则下的遵守人,如何擦出火花。请问瓦洛克先生愿意娶文文女士,执子之手与......
6.2万字3个月前
死亡谷世界 连载中
死亡谷世界
Coo𬇙头
双男主谢清俞×时云安死亡后还有另一个世界?如果想要获得新生那得付出代价——本故事纯属虚构
0.3万字2个月前
快穿之小魅魔的幸福之旅 连载中
快穿之小魅魔的幸福之旅
星星爱太阳114
避雷:女主不洁、多cp、快节奏、纯纯爽文!!不虐女主!作为魅魔的卿妤,以爱欲为食,可因为意外招惹上神殿的人,被单独囚禁起来……她发誓早晚有一......
13.4万字1个月前