阅文小说网 > 其他类型 > 自噬之域Ⅰ > 第414章 空的证明(1/5)
灰白空间里的符号风暴没有停。

谢铭站在风暴中心,看着那些数学符号像活物一样从他身边掠过——康托尔的对角线论证、哥德尔的自指公式、图灵的停机问题判定。每一道公式都在他眼前展开又崩塌,像海浪打在沙滩上,留下一片虚无。

他伸出手,想抓住一条公式。

手指穿过符号,什么都没碰到。

“你抓不住的。”阴影谢铭的声音从背后传来,“因为它们都是‘空’的证明——你正在试图证明的东西。”

谢铭转身。

阴影谢铭站在三步之外,左手依然插在口袋里。他的表情带着一种让谢铭烦躁的平静——那种看透了一切、等着你撞南墙的表情。

“我没在抓。”谢铭说,“我在找规律。”

“规律?”阴影谢铭笑了一声,“你连空集都证不出来,还找规律?”

谢铭没回答。他闭上眼睛,在脑海里构建L5逻辑递归。

第一层递归:空集是没有任何元素的集合。

第二层递归:但“没有任何元素”本身是一个命题,而命题需要被定义。

第三层递归:如果空集能被定义,那它就不是空的——因为定义本身就是一个元素。

递归到第五层时,谢铭的太阳穴开始刺痛。

他睁开眼,看到阴影谢铭正看着他,嘴角带着嘲讽的弧度。

“卡住了?”阴影谢铭问。

“递归自指了。”谢铭说,“每一次定义都指向自身。”

“对啊。”阴影谢铭走近一步,“空集是存在的,但你不能证明它存在。因为一旦你开始证明,你就已经把它变成了非空。”

谢铭盯着他:“那你怎么知道它是存在的?”

阴影谢铭沉默了三秒。

“我不知道。”他说,声音突然低了下去,“所以我才会在这里。”

谢铭注意到,他说这句话时,左手在口袋里动了一下。

***

符号风暴突然加剧了。

不是数学符号在飞舞——是记忆。谢铭脚下的灰白空间开始龟裂,裂缝中涌出无数碎片:婴儿的啼哭声、医院走廊的消毒水味、母亲手背上青色的血管。那些碎片撞在他身上,带着真实的触感——冰冷的、潮湿的,像冬天早晨的玻璃窗。

他低头,看到裂缝深处有光。

不是白色的光。是暖黄色的,像老式台灯的光——他童年卧室里那盏台灯的光。

“你小时候不是做过一道题吗?”阴影谢铭的声音从裂缝中传来,“关于空集的那个。”

谢铭的呼吸一滞。

“你当年