阅文小说网 > 其他类型 > 自噬之域Ⅰ > 第220章 命题的代价(3/6)
是给了他一个容器。”

“所以那些话——”

“‘你的爱是谎言’——那是你自己说的。是你内心深处对自己的怀疑。”

谢铭感到一阵眩晕。

他想起阴影谢铭第一次出现时说的话,想起那双和他一模一样的眼睛。原来那不是敌人,那是他自己。是他一直不敢面对的那部分自己。

“那我现在该怎么办?”他的声音沙哑,“告诉我,我该相信什么?”

林霜走到他面前。

她伸手,手指触到他的脸颊。那触感是真实的,温暖的,和记忆中一模一样。

“相信你自己。”

“我又怎么相信自己?”谢铭抓住她的手,力道大得让她皱眉,“你刚才说了,我连自己的记忆都不能确定是真的!”

“那就接受不确定性。”

林霜说这句话时,眼睛里有什么东西在发光。

“谢铭,你是个数学家。你知道哥德尔不完备定理——任何足够强大的系统里,都存在无法证明的命题。”

谢铭愣住了。

“爱就是这样一个命题。”林霜说,“你无法证明我爱你,也无法证明我是真的。但你能感觉到——对吗?”

谢铭握着她手的手指在发抖。

他感觉到了。

那触感,那温度,那双眼睛里的光——他感觉到了。

“你刚才说,”他的声音突然变了,“你是L6源逻辑补丁。”

“对。”

“那你是源逻辑的一部分?”

“可以这么说。”

“那如果我证明了你的人性——”谢铭盯着她,“是不是就意味着源逻辑也拥有人性?”

林霜的表情变了。

“谢铭,你想做什么?”

“哥德尔不完备定理说,任何足够强大的系统里都存在无法证明的命题。”谢铭说,“但你刚才说你是源逻辑的一部分——那源逻辑能不能证明‘林霜是人’这个命题?”

林霜沉默了。

“它不能。”谢铭说,“因为这个命题在它的系统内是自指的。源逻辑定义了‘人’的概念,而你是它的一部分——它无法用自己的一部分来证明自己。”

“所以?”

“所以这个命题必须从系统外证明。”谢铭握紧她的手,“而我就是系统外——我是L3能力者,我站在源逻辑之外。”

林霜的眼睛瞪大了。

她明白了。

“你要用不完备定理反制我的命题?”

“不是反制。”谢铭说,“是证明。”

他松开她的手,后退一步。

“林霜,你是源逻辑的补丁。但源逻辑无法证明你只是