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

数学

1.康托定理‬

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

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

2.Löwenheim–Skolem 定理

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

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

3.Henkin 定理

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

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

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

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

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

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

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

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

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

相关小说

今天还了债吗? 连载中
今天还了债吗?
元霏
元霏因为太无聊,坑了一堆人(元霏有点恶毒女配的感觉,不喜勿喷)
1.1万字6个月前
回屿悸 连载中
回屿悸
Aa诀祈
【原创作品】(月更)☂避雷:星际,双洁,年上,EO恋,体型差(有私设).♪成年:16岁.-不喜左上角,自行退出,谢谢-——·灵魂一旦被爱,血......
2.5万字5个月前
变成了相方的猫 连载中
变成了相方的猫
高V不会
简介正在更新
29.6万字3个月前
宴行昭 连载中
宴行昭
今熹余朝欢
双强+双暗恋+搞笑+重生+甜宠+互撩【沙雕可爱小师妹×温柔纯爱二师兄】反差:【美强惨疯批美人×心软粘人忧郁美人】前世,君宴岺成神之时遭人暗算......
3.4万字2个月前
盗笔综合 连载中
盗笔综合
别让心爱的玫瑰凋落
小哥吴邪他们从西王母宫回来后的一些事情。
0.1万字4周前
当时间和暗物质交错 连载中
当时间和暗物质交错
QC烔
叶罗丽仙境中,时间和暗物质的关系有微妙的联结。
0.2万字4周前