更麻烦的是,那些异变星球的危险程度丝毫不亚于高位觉醒者,由类星体等强大天体异化成的怪物甚至能在气息上压现阶段辛狄加一头。
所谓的威压是什么?
当你站在一张纸上一动不动,就算你没有任何攻击或者其他的念头,你的重量也会把这张纸压垮,如果这张纸是一个二维世界,那么就相当于作为三维生物的你原地不动就毁掉了一个世界。那些高维度存在相对于我们的世界也是如此,就算他们没有任何恶意,他们仅仅是存在在那里,那份“重量”就足以压垮我们的世界。而压垮我们的那份“重量”,常被我们称作“威压”、“投影”、“气息”、“图示”或者什么其他东西。
此时此刻,还未等那混沌巨浪的主体逼近,光是威压就使得数位实力不济的高位觉醒者当场暴毙。
辛狄加冷哼一声,无言中叠盒已始。
有另几位最强在场,他可以尽情地大展拳脚,不担心波及友方了。
辛狄加模拟了所有符号数为2(至少有一种是空白符)、初始输入全为空白、结束状态仅有停机状态的图灵机。考虑状态数n,对于所有的2符n状态的图灵机中运行时间最久的被命名为busybeaver。n状态的busybeaver图灵机停机前所能执行的最大步数表示为BB(n),BB(n)是一个“不可计算数”和“快速增长序列”,n表示对象图灵机的状态数。
他觉得增长率太低了,于是又开始模拟神谕机。神谕机能解出自身之外任何图灵机的停机问题,所有n状态的神谕机busybeaver中,能够进行操作的最多步数记作BB?(n),增长率远超BB(n)。
辛狄加还是不够满意,只见他把普通图灵机记作1阶图灵机,神谕机记作2阶图灵机,3阶图灵机可以解出任何1、2阶图灵机的停机问题,模拟所有n状态的3阶busybeaver就能得到增长率远超BB?(n)的BB?(n)。同理,i阶图灵机可解出任何小于i阶图灵机的停机问题,所有n状态的i阶busybeaver停机前能执行的最大步数为BB?(n)。
到这一步,辛狄加总算是稍满意了点,将自身强度提升了BB?(a)(i=辛狄加构造过的最大数)倍。(若哥德巴赫猜想为真a>4888,反之a=488
不过这仅仅是开始。
接着辛狄加又开始借助增长率更高的函数,定义Aarex函数,Aarex(n)指第n个Aarex数。Ξ(n)指从一个含有n个操作符的序列开始,经过操作后能得到的最大的有限的输出。Arx函数的定义是Arx(1,m)=10?;Arx(n,1)=Ξ(Arx(n-1,1));Arx(n,m)=Arx(Arx(n-1,m),m-1);Arx(a,b,c,…,y,1)=Arx(a,b,c,…,y);对于至少3个参数且末位不是1的Arx序列Arx(a,b,c,。。。y,z),把z去掉然后z前面的参数全部变成Ar(x(a,b,c,。。。y,z-1)。
Aarex(1)=Arx(101?^1??,101?^1??);
Aarex(2)=Arx(101?^1??,101?^1??,。。。,101?^1??)(共101?^1??个101?^1??)。
第三个Aarex数用平面型数阵表示,各个行之间用分号分隔,行内参数之间用逗号分隔。当任意一行行末的参数为1时,可将它省去。当第1行只有1个参数n时,把n后面第一个非1的参数m变成m-1,m前面同一行的1全变成n,m前面的行全变成由n个n组成的行,第一行的计算仍按前面的规则进行,Aarex(3)=Arx(101?^1??;1;1;1;…;1;2)(共101?^1??个1)。
第四个Aarex数用多维度数阵表示,各个行之间的分隔符“;“可以写成[1],而[2]则是各个平面的分隔符,[3]是各个3维空间的分隔符,等等。记序列n^(1)-=“n,n,…,n”)(共n个n),序列n^(m+1)=“n^(m)[m]n^(m)…[m]n^(m)[m]n^(m)”(共n个n^(m))。在由[m]分嗝的空间内如果出现了末尾的1,就把它省去。当第1行只有1个参数n时,把n后面第一个非1的参数m变成m-1,m前面的任何由[k]分隔的部分全变成n^(k)。Aarex(4)=Arx(101?^1??[101?^1??]1[101?^1??]1…1[101?^1??]2)(共101?^1??个1),如此类推…
Aarex函数的增长率高达φ(1,0)^CK+ψ(Ω_ω)×ω!
还差的远,继续增强!
定义Rayo函数,Rayo(n)为大于在一阶逻辑中用不超过n个符号能表示的任何数的最小正整数,增长率为σ,拉约数是Rayo(101??)。
提升拉约数倍!
在Rayo原微语言中添加一个oracle公式使Rado的∑函数更大,将函数f映射到函数RR(f)的函数RR定义如下: