1.关于绝对无限的一些事实。
先不说别的什么终极L,那对普通人来说根本没意义,先搞明白阿列夫1多大。
图灵和哥德尔都证明过人能实际操作的最大序数极限也就递归不可达序数,这是一个可数序数。
到后面什么证明长度,序数高度,这些复杂概念看着恐怕都跟克苏鲁邪神一样。
就比如三卷71~73章那部分,各种大基数满天飞,结果都在阿列夫1之前。
只有康拓那个年代曾经有过最接近名词流的理解,无限越来越大,有一个绝对无限最大,这是他们理解的最接近版本了,但后来我们发现阿列夫0以上的概念都没有真值确定的内涵,也就是阿列夫1多大完全看我们能从阿列夫0开始叠能多大它才多大,在阿列夫零里叠一个V、终极V、L、终极L、……啥的完全可行。
比如过去康托的时代他认为第一个不可达序数就是阿列夫1,但现在我们把这个概念归到可数序数,假如你这“叠盒子”不高,那你这个模型里的绝对无限不可达基数都小的可怜,跟其他人对比,绝对无限可以是阿列夫一,真类可以是阿列夫0就这原因,你要不会集合论那种真正的“叠盒子”,只认名词,那你在“大”上就完蛋了。
贴吧他们理解的绝对无限都是康托版本的(虽然这个康托儿版绝对无限仅仅只约等于“不可达基数”),但现在我们都发现,你不承认无穷公里,那第一个可数无限就是绝对无限,你不承认幂集公里,那第一个不可数就是绝对无限,而第一个不可数,又是看你模型里元素多少,如果不够高只会变成康拓那种递归不可达=不可数的问题。
(因此,诸如阿列夫数、大基数、数学宇宙、终极数学宇宙、柏拉图宇宙、冯诺依曼宇宙、……………等等等等玩意儿,在妄想序列(包括各种盒子、盒术、吹逼、……啥啥啥的,以及妄想序列本身)里都可以分为“不承认无穷公理版”、“不承认幂集公理版”、“……”等等等等的各种版本(万物皆可“各种版本”!)。
不承认无穷公理,可数无穷就是、就等价于理想状态下的绝对无限,那么可数无穷之后呢?虽然不承认无穷公理,人类数学无法推论出无穷之后,也就是理想状态下的绝对无限之后还有什么,但这是妄想序列,自然可以推论出理想状态下的绝对无限之后是什么。
(理想状态下的绝对无限就是,一个被假设出来的“最大”,不存在更大、更更大、……之类的。不过在妄想序列里存在,不要问为什么,
(本章节未完结,点击下一页翻页继续阅读)