。”林霜打断他，“你选择相信命题，就必须接受命题带来的不确定性。谢铭会记得我——这个命题在你心里是真的。但你能证明它是真的吗？”
白色的虚空开始波动。
谢铭感到脚下的地面在变软，像陷入了沼泽。他低头，看到脚下不再是虚空，而是——童年的卧室。
地毯。书桌。墙上贴满的数学公式。
他七岁那年，坐在这张书桌前，用铅笔在纸上算出了母亲的死亡日期。
“你一直在逃避这个。”林霜的声音从身后传来。
谢铭转身，看到她站在卧室门口，穿着那件他记忆中她最常穿的白衬衫。
“你害怕确定性，因为你童年用数学预测了死亡。从那以后，你害怕任何确定的东西——因为确定意味着无法改变。”
“够了。”
“但你又在追求确定性。你想知道林霜是不是真的爱你，想知道你的选择是不是自由的，想知道这个宇宙有没有规则——”林霜走近他，“你活在一个悖论里，谢铭。你害怕确定性，又渴望确定性。”
谢铭闭上眼。
他感到自己的逻辑在崩塌。
如果林霜是补丁，那他这三年的痛苦算什么？他为了找到真相所做的一切算什么？他爱上的到底是一个真实的人，还是一段被植入的数据？
“那阴影谢铭呢？”他睁开眼，“他也是源逻辑制造的吗？”
林霜摇头。
“他是你。”她说，“是你所有恐惧、怀疑、自我否定的集合体。源逻辑只是给了他一个容器。”
“所以那些话——”
“‘你的爱是谎言’——那是你自己说的。是你内心深处对自己的怀疑。”
谢铭感到一阵眩晕。
他想起阴影谢铭第一次出现时说的话，想起那双和他一模一样的眼睛。原来那不是敌人，那是他自己。是他一直不敢面对的那部分自己。
“那我现在该怎么办？”他的声音沙哑，“告诉我，我该相信什么？”
林霜走到他面前。
她伸手，手指触到他的脸颊。那触感是真实的，温暖的，和记忆中一模一样。
“相信你自己。”
“我又怎么相信自己？”谢铭抓住她的手，力道大得让她皱眉，“你刚才说了，我连自己的记忆都不能确定是真的！”
“那就接受不确定性。”
林霜说这句话时，眼睛里有什么东西在发光。
“谢铭，你是个数学家。你知道哥德尔不完备定理——任何足够强大的系统里，都存在无法证明的命题。”
谢铭愣住了。
“爱就是这样一个命题。”林霜说，“你无法证明我爱你，也无法证明我是真的。但你能感觉到——对吗？”
谢铭握着她手的手指在发抖。
他感觉到了。
那触感，那温度，那双眼睛里的光——他感觉到了。
“你刚才说，”他的声音突然变了，“你是L6源逻辑补丁。”
“对。”
“那你是源逻辑的一部分？”
“可以这么说。”
“那如果我证明了你的人性——”谢铭盯着她，“是不是就意味着源逻辑也拥有人性？”
林霜的表情变了。
“谢铭，你想做什么？”
“哥德尔不完备定理说，任何足够强大的系统里都存在无法证明的命题。”谢铭说，“但你刚才说你是源逻辑的一部分——那源逻辑能不能证明‘林霜是人’这个命题？”
林霜沉默了。
“它不能。”谢铭说，“因为这个命题在它的系统内是自指的。源逻辑定义了‘人
-->>(第2/5页)（本章未完，请点击下一页继续阅读）