并不诡异可怕的形象,但却有着凌驾于他此前所见过的所有世界所有事物之上的沉重与强大。
一杆喷吐着白色雾气的大烟枪飞射而出,落入那汪淡蓝色的海水中,紧接着便入落入大海中的水珠一样消失不见。
没有丝毫反应,这杆代表着摆烂社人事经理的强大力量的大烟枪没能对这海藻头雕塑造成任何影响。
一杆大烟枪还不算完,一大堆乱七八糟的茶壶、吹风机、锅锅碗瓢盆等杂七杂澳东西从白床单的黑洞口中飞出,向着这座海藻头雕塑飞射而去。
如同被吸入过程的逆转,这些从摆烂社员工手里拿来的东西随着掉出黑洞而无限膨胀,化作庞大无边的可怕存在,肆意地释放着恐怖的信息辐射。
但,还是没有用。
就像是面对李恒时一样,这些强大的超图灵机的力量在这里通通失效了。
它们好似最平凡最无用的生活垃圾一样落入了海藻头雕塑的那一汪蓝色海水中,没有激起半点水波。
“到站了。”
这海藻头雕塑是个活着的信息生命体。
但它却不会对外界有丝毫反应,不会从外界获取任何新信息,彻底维持在了永恒的静止状态。
不是纸片人,却胜似纸片人。
无数白色的触手从白被单表面延伸,缠绕住这长着海藻头的雕塑,将那只毛茸茸的生物紧紧地捆缚了起来。
白色的触手如同被拉扯到极限的橡皮筋一样紧紧绷住,将那棕黄色的家伙缓缓地拖入床单上的黑色空洞之郑
这毛茸茸的家伙是一只海狸,确切的,是忙碌的海狸。
忙碌的海狸,其实指的是一类问题,即给定一定数量的规则,在图灵机停止运行前,它能执行的最大步骤是多少。
这东西是一个相当有名的工具,它能通过编程进行解决哥德巴赫猜想与黎曼猜想等等问题。
这台机器停机前所能执行的最大步数就是“busy beaver函数”,简称为bb(n),n是这台机器的状态数。
举例来,哥德巴赫猜想可以编写为一个27状态的海狸图灵机,如果猜想为假,就会在bb(27)内停下。
如果跑了bb(27)步后还未停机,海狸图灵机就会永远运行下去,哥德巴赫猜想就证明为真。
黎曼猜想则可以编写为一台744规则的海狸图灵机,只要能运行bb(744)且未停机,就能确定黎曼猜想为真。
这些规则数并不一定是能解决问题的最数值,但从规则的数量也能看出这些问题之间的难度差距。
不过,地球人没法用这种方法来解决那些未证明的猜想。
bb(n)函数的数值太大了,它是一个快速增长序列,而且是不可计算数。
bb(16)就已经超越了葛立恒数,比整个可观测宇宙的粒子总数都多了不知多少。
常规的大数在它面前微如尘埃,它的增长率凌驾于一切可计算函数之上。
忙碌的海狸是一种暴力证明方法,是解决问题最困难、最遥远的方法。
它纯粹用强大的算力去暴力破解各种难题,地球人想要用这东西去做证明简直是搞笑。
但是,在这个超脱静止宇宙的广阔世界里,就不那么搞笑了。
这海藻人脑袋上顶着的就是一只忙碌的海狸。
不是具体的某一台,而是容纳了bb(n)函数的终极忙碌海狸。
哥德巴赫猜想,黎曼猜想,ZF集合论公理、添加了选择公理的ZFc公理的一致性,通通都是这只毛茸茸的家伙可以解决的问题。
这东西是位于另一个层次的东西,李恒此前见过的一切世界、一切生灵都在它的掌控之下。
它是摆烂社本部的守门员,位于它之下的一切存在都不可能抵达这个地方。
不过,虽然这只毛茸茸的海狸力量很强,但终究没有他这具身体强。
随着那毛茸茸的生物被白色的触手越拉越近,它的体型也像是之前被吞噬的其他人与物一样开始无尽收缩变。
与此同时发生的则是李恒展现出的力量变得越来越强,完全凌驾于此前的庞大力量从他的体表释放而出。
恐怖的信息辐射化作一只无尽膨胀的白色怪物,海藻头雕塑在这股力量中湮灭消失,露出了被它挡着的灰色道路。
淡淡的灰色雾气从那条道路中涌出,与那无尽膨胀的白色怪物碰撞在一起,湮灭的信息在一瞬间便创造出无穷世界无穷宇宙。
拨开那灰色的雾气,披着白色被单的身影踏上了那条灰色的道路。
踩踏在像是水泥材质制成的粗糙道路上有着淡淡的摩擦感,灰色的破旧洞壁看起来像是一个废弃已久的下水道。
隧道无限向前延伸,在灰色雾气的遮掩之下,难以看到前方到底有些什么