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

数学

1.康托定理‬

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

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

2.Löwenheim–Skolem 定理

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

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

3.Henkin 定理

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

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

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

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

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

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

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

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

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

相关小说

鬼神回忆录 连载中
鬼神回忆录
暮色之中
雾散,梦醒,我终于看见真实,那是千帆过尽的沉寂
0.3万字6个月前
无限:古堡之诗 连载中
无限:古堡之诗
槐x2
这是一个古怪的世界,所有人都被【系统】分配进各个无限流游戏关卡副本中【古堡之诗】通关率5%,危险率???但仍有倒霉蛋被分配在一起,6人一组作......
8.1万字5个月前
慕容归零 连载中
慕容归零
丽夏
慕容前世嫁给了蔡飞,蔡飞家暴直到而死都不明白是,原来蔡飞和慕楠早就勾搭在一起了。原来墨卿才是真正的爱我的,把她抱在怀里哭。蔡飞和慕楠你把墨卿......
13.5万字4个月前
万人嫌获得满级金手指后 连载中
万人嫌获得满级金手指后
很讨厌上学
许念珠苦了半辈子才得知是因为被人夺走气运,且看她获得金手指后爽翻天的日常。
2.1万字3个月前
江山弈 连载中
江山弈
流年付笑谈
女主心智成熟不作妖,腹黑且毒舌,有仇必报,完全不圣母,各方面都不会吃一点亏,武力值极高,背景强大。绝对大女主,爽就完了。本文不止一个穿越者。
0.7万字3个月前
我可是女士 连载中
我可是女士
酸奶不加屎
世界线是架空的,不剧透,自己看。
1.6万字1个月前