红灯

作者:ChillyZ2 更新时间:2025/11/10 15:23:59 字数:2067

地下7000米,叙述学部和形而上学部,负120层。而与它相对的是漂浮在基地上方数万米高空的公理机关、逻辑部和证明部。

外城的青年,内心有憧憬的都期望有一天能入职∀机构,参与新乌托邦的建设。在他们这片小小的理想界外,还有无尽的观域在空想与幻想中沉沦。

傅涟室是其中一员,只不过他不是土生土长的本地人,∀总部基地搬迁之前驻扎在他小时候生活的节点,待到24年后他又随着它搬到了外城。∀机构对于希望加入它们的人向来宽容,但名额是有限的,而选拔的标准又是保密的。入职的条件第一是机构本身有需求,其次是足够幸运,比如今年只招收了两人,傅是其中之一。

面试通过后,人力部门来信,告诉他从上述五个部门选择一个。他暂时没有回复,在当周的休息日,跑到∀驻外城的办事处,提出想先参观一下工作岗位。接待员看了他一眼,把他打发走了。傅在回家的路上完全是一头雾水,因为接待员说他被录用的岗位根本不存在。

他去算力中心租了一台AGI,自己写了一个问询程序,一运行就导致一整排的计算机停机,见势不妙,他赶紧关掉了程序。

最后他没有办法,只能发邮件表明自己的意愿。不到半秒钟,同意的邮件就发回来了,附加要求是一年内不能离职。

本月末,他根据邮件指示来到指定地点,是市区里的一个公交站台,等这里特定的一班车。车到站时,从后门进去,转瞬就踏进了∀基地的大厅。参观顺序是:电梯向下,叙述学部和形而上学部,电梯向上,公理机关,逻辑部和证明部。最后结果令人遗憾,他突然觉得自己不再那么幸运,一个人站在穿梭的人流中,像一条从水缸中被捞出来的金鱼。

一年后他就引咎辞职了,上面的文字正是他在叙述学部的第二仿述仪上所见。这不是什么幽默的事情,第二仿述仪是人工自我指述的造物,叙述学部称其为奥秘宫分部的基石。这就是为什么∀机构的选拔标准是“保密”的,因为这个标准不存在,一个新职员入职的过程只是在仿述仪上随手添加的一条叙述,他投递的简历可以直接扔进垃圾桶,除了为机构服务的部分,其它隐藏起来的后设毫无价值。主要工作内容也是极其无聊,无非把其它部门的成果形式化表达出来,偶尔会有意识地使用一些复杂的叙述,测试主仪是否正常运行。傅询问负责人自己和仪器叙述指令的优先顺位,得到的答复是本部门不负责编辑指令,根据不同情况由其它部门编辑。

形而上学部,研究对象为上构层,平时测试新概念这个部门虽然在地下,实际上是传链的最上层。在这里他没有找到问题的答案,除了叙述学部,其它四个部门的人完全不使用自然语言。形而上学部的正式名称是上形态部,研究的东西和外城形而上学的不是同一个,前者在事实上是真实影响观域叙述进程的隐形因子。

公理机关的职能是维持分部整体系统的一致性兼新系统研究,通常需要与证明部合作。节点是从数学宇宙中拆分的有限箱庭,其余作为子集的集合论宇宙不是消失,而是通过仿述仪的叙述隐去,单纯作为屏障或者武器。公理机关选取的框架是ZF+存在伯克利基数,一个基数 δ 被称为 伯克利基数,当且仅当对于每一个包含 δ 作为元素的传递集 M(其大小小于 δ),都存在一个从 M 到 M 的非平凡初等嵌入。通常情况下,选择公理AC会失效,但鉴于在叙述学部见到的情景,傅猜测叙述允许它以一种超越逻辑的形式存在。(某种意义上他是对的,不过这依旧涉及到奥秘宫分部的终极目标)在某些节点公理机关选取了更为苛刻的路线,将隐藏的集合论宇宙V全部替换为计算宇宙,这大大增加了证明部的压力。这就是为什么它被称作机关,因为与分部权力的政治指向高度相关,其诉求满足的优先级也最大。

逻辑部的仓库里有大量基于跳跃算子的超图灵机,傅看到这些淘汰设备很自然地理解了算力中心的计算机为什么会报错。现有的设备至少拥有超跃迁算子,它是跳跃算子的一种拓展。逻辑部的0级博弈机器就已经不能使用图灵跳跃的次数衡量,管理员向他展示过一台无限时间图灵机,放在办公室的一个角落,是某个员工的手工作品。之前,傅仅在白光城节点的算力中心见过一台超图灵机,可计算自然数子集可达超算术集的范畴。可以验证,逻辑部具备判定可构造宇宙L中所有一阶语句的能力,即以0∧#非可构造集合为神谕的机器。叙述学部在其支持下,能够输出任意复杂的一阶逻辑公式,如此看来他使用自然语言跟仿述仪对话既低效又可笑。

证明部跟证明没有关系,倘若傅没有来过这里,就永远不会知道节点外对分部的高频攻击。几乎每隔5个时间单位就要遭受一轮恶意叙述请求,携带巨型命题、大序数等,以类似DDOS分布式拒绝服务的形式试图压垮奥秘宫的一致性。(不是每个节点都具备总部这样强大的防御)关于“此面向敌”的议论,部门内向来不置可否,恶意叙述请求在攻击中占主流,此外也有正确性角度的漏洞利用,其它云云…

在13000米的高空上,渲染云依然可见,甚至更为清晰,从逻辑部的环形走廊可以看到大片金灿灿的阳光闪耀在绵软的云层之上,再往上15000米,依然是一样的景象。跟叙述结果一致,傅最后入职叙述学部——他还是倾向于讲人话。那条高空长廊里,他见过那些穿着统一制服,面无表情,用手势和符号传输交流的人,他可以允许自己留在那片绚烂的天空,那么一年的合约到期后,走廊上就多了一个戴鸭舌帽、来去匆匆的职员。选择终生不可逆。

奥秘宫18年秋,9月。

设置
阅读主题:
字体大小:
字体格式:
简体 繁体
页面宽度:
手机阅读
菠萝包轻小说

iOS版APP
安卓版APP

扫一扫下载