书看迷

第474章 24 神的语言（第1页）

1关于绝对无限的一些事实。

先不说别的什么终极l，那对普通人来说根本没意义，先搞明白阿列夫1多大。

图灵和哥德尔都证明过人能实际操作的最大序数极限也就递归不可达序数，这是一个可数序数。

到后面什么证明长度，序数高度，这些复杂概念看着恐怕都跟克苏鲁邪神一样。

就比如三卷71~73章那部分，各种大基数满天飞，结果都在阿列夫1之前。

只有康拓那个年代曾经有过最接近名词流的理解，无限越来越大，有一个绝对无限最大，这是他们理解的最接近版本了，但后来我们发现阿列夫0以上的概念都没有真值确定的内涵，也就是阿列夫1多大完全看我们能从阿列夫0开始叠能多大它才多大，在阿列夫零里叠一个v、终极v、l、终极l、……啥的完全可行。

比如过去康托的时代他认为第一个不可达序数就是阿列夫1，但现在我们把这个概念归到可数序数，假如你这“叠盒子”不高，那你这个模型里的绝对无限不可达基数都小的可怜，跟其他人对比，绝对无限可以是阿列夫一，真类可以是阿列夫0就这原因，你要不会集合论那种真正的“叠盒子”，只认名词，那你在“大”上就完蛋了。

贴吧他们理解的绝对无限都是康托版本的（虽然这个康托儿版绝对无限仅仅只约等于“不可达基数”），但现在我们都发现，你不承认无穷公里，那第一个可数无限就是绝对无限，你不承认幂集公里，那第一个不可数就是绝对无限，而第一个不可数，又是看你模型里元素多少，如果不够高只会变成康拓那种递归不可达=不可数的问题。

（因此，诸如阿列夫数、大基数、数学宇宙、终极数学宇宙、柏拉图宇宙、冯诺依曼宇宙、……………等等等等玩意儿，在妄想序列（包括各种盒子、盒术、吹逼、……啥啥啥的，以及妄想序列本身）里都可以分为“不承认无穷公理版”、“不承认幂集公理版”、“……”等等等等的各种版本（万物皆可“各种版本”！）。

不承认无穷公理，可数无穷就是、就等价于理想状态下的绝对无限，那么可数无穷之后呢？虽然不承认无穷公理，人类数学无法推论出无穷之后，也就是理想状态下的绝对无限之后还有什么，但这是妄想序列，自然可以推论出理想状态下的绝对无限之后是什么。

（理想状态下的绝对无限就是，一个被假设出来的“最大”，不存在更大、更更大、……之类的。不过在妄想序列里存在，不要问为什么，问就妄想序列nb。）

不承认幂集公理，可数无穷之后的每一个阿列夫数都相当于一个大基数（更不要说阿列夫数之后了，那简直无可想象），因为大基数需要公理去断言其存在，而没有幂集公理的阿列夫数也是如此！每一个阿列夫数都需要一条、数条、无数条、无限条，甚至是无止境无休止条公理去断言其存在！人类至今为止也不过断言了二十多个大基数的存在，就已经快到极限了，而阿列夫数又有多少？后面的大基数呢？大基数的后面呢？再后面呢？再再后面呢？…………。

（没错，所谓的大基数构造、公理、定义啥的，包括各种贴吧、百度、逼乎、百科啥的上面对于大基数的构造、公理、定义啥的，都只是断言大基数的存在，而非去构造大基数！

说好听点是构造，实际上以人类的能力仅仅只能断言其存在，“构造”一说不过是学术界为了好听，伪装的很好的……超高级名词流。）

我们可以定义计算器或计数器：

φ（0）＝不承认无穷公理版，φ（1）＝不承认幂集公理版，……

φ（0）＝不承认幂集公理版，φ（1）＝不承认无穷公理版，……

φ（0）＝无穷公理，φ（1）＝幂集公理，……

φ（0）＝幂集公理，φ（1）＝无穷公理，……

φ（0）＝阿列夫数，φ（1）＝大基数，……）

最早一波名词流（其实就是康托理解的），被暴击就是遭遇到了悖论，不可数竟然可以是可数。

我在向大佬偷学、魔改数理逻辑前因为常年看贴吧各种吹逼我有一个观念就是，有一个真正的绝对无限，然后我们构造是往这个绝对无限发展，

也就是比较强的那种柏拉图主义，等我实际接触后我就再也没这个念头过，会颠覆你的三观。

数学推理的过程是微妙的，是神的语言。

2教会统治域里普通人的其他能力。