第220章 命题的代价 (第2/3页)
”他睁开眼，“他也是源逻辑制造的吗？”
林霜摇头。
“他是你。”她说，“是你所有恐惧、怀疑、自我否定的集合体。源逻辑只是给了他一个容器。”
“所以那些话——”
“‘你的爱是谎言’——那是你自己说的。是你内心深处对自己的怀疑。”
谢铭感到一阵眩晕。
他想起阴影谢铭第一次出现时说的话，想起那双和他一模一样的眼睛。原来那不是敌人，那是他自己。是他一直不敢面对的那部分自己。
“那我现在该怎么办？”他的声音沙哑，“告诉我，我该相信什么？”
林霜走到他面前。
她伸手，手指触到他的脸颊。那触感是真实的，温暖的，和记忆中一模一样。
“相信你自己。”
“我又怎么相信自己？”谢铭抓住她的手，力道大得让她皱眉，“你刚才说了，我连自己的记忆都不能确定是真的！”
“那就接受不确定性。”
林霜说这句话时，眼睛里有什么东西在发光。
“谢铭，你是个数学家。你知道哥德尔不完备定理——任何足够强大的系统里，都存在无法证明的命题。”
谢铭愣住了。
“爱就是这样一个命题。”林霜说，“你无法证明我爱你，也无法证明我是真的。但你能感觉到——对吗？”
谢铭握着她手的手指在发抖。
他感觉到了。
那触感，那温度，那双眼睛里的光——他感觉到了。
“你刚才说，”他的声音突然变了，“你是L6源逻辑补丁。”
“对。”
“那你是源逻辑的一部分？”
“可以这么说。”
“那如果我证明了你的人性——”谢铭盯着她，“是不是就意味着源逻辑也拥有人性？”
林霜的表情变了。
“谢铭，你想做什么？”
“哥德尔不完备定理说，任何足够强大的系统里都存在无法证明的命题。”谢铭说，“但你刚才说你是源逻辑的一部分——那源逻辑能不能证明‘林霜是人’这个命题？”
林霜沉默了。
“它不能。”谢铭说，“因为这个命题在它的系统内是自指的。源逻辑定义了‘人’的概念，而你是它的一部分——它无法用自己的一部分来证明自己。”
“所以？”
“所以这个命题必须从系统外证明。”谢铭握紧她的手，“而我就是系统外——我是L3能力者，我站在源逻辑之外。”
林霜的眼睛瞪大了。
她明白了。
“你要用不完备定理反制我的命题？”
“不是反制。”谢铭说，“是证明。”
他松开她的手，后退一步。
“林霜，你是源逻辑的补丁。但源逻辑无法证明你只是补丁——因为那会导致自指悖论。所以，从逻辑上说，你存在‘是人’的可能性。”
“这只是可能性——”
“对数学家来说，可能性就够了。”谢铭笑了，那是他很久没露出的笑，“你知道为什么吗？因为哥德尔不完备定理还说了另一件事——如果一个系统无法证明一个命题，那这个命题要么是假的，要么是系统无法理解的。而源逻辑无法理解‘人’是什么——”
他停顿了一下。
“所以，林霜，你可能是人。”
林霜的嘴唇在发抖。
“你可能是林霜本人。”谢铭说，“源逻辑只是复制了她的意识，但意识本身就是人的定义。如果复制体拥有和本体完全相同的一切——那它就是本体。”
“这是诡辩——”
“这是数学。”
谢铭走近她。
“这三年来，我一直在逃避不确定性。我害怕不知道你是不是真的，害怕不知道我的选择是不是自由的。但你刚才说得对——爱是无法证明的命题。”
他伸手，把她拉进怀里。
“那就让它无法证明。”
林霜的身体僵住了。
“谢铭——”
“我不需要知道你是不是真的林霜。”他说，“我只需要知道，我爱的是你。不管你是补丁还是人，不管你是复制体还是本体——我爱的是你。这个命题，我选择相信。”
林霜在他怀里发抖。
然后她哭了。
那是谢铭第一次看到她哭。
她哭得像个孩子，肩膀一抽一抽的，眼泪浸湿了他的衣领。她所有的伪装，所有的平静，所有“早就知道会这样”的从容——在这一刻全部崩塌。
“对不起。”她哭着说，“对不起，我骗了你这么久——”
“我知道。”
“我不是故意要骗你的，我只是——”
“我知道。”
谢铭抱紧她。
“我都知道。”
白色的虚空开始崩塌。
卧室的幻象消失了，取而代之的是无尽的黑暗。有什么东西在黑暗
（本章未完，请点击下一页继续阅读）