第220章命题的代价
第220章命题的代价(第3/6页)
触感是真实的，温暖的，和记忆中一模一样。
“相信你自己。”
“我又怎么相信自己？”谢铭抓住她的手，力道大得让她皱眉，“你刚才说了，我连自己的记忆都不能确定是真的！”
“那就接受不确定性。”
林霜说这句话时，眼睛里有什么东西在发光。
“谢铭，你是个数学家。你知道哥德尔不完备定理——任何足够强大的系统里，都存在无法证明的命题。”
谢铭愣住了。
“爱就是这样一个命题。”林霜说，“你无法证明我爱你，也无法证明我是真的。但你能感觉到——对吗？”
谢铭握着她手的手指在发抖。
他感觉到了。
那触感，那温度，那双眼睛里的光——他感觉到了。
“你刚才说，”他的声音突然变了，“你是l6源逻辑补丁。”
“对。”
“那你是源逻辑的一部分？”
“可以这么说。”
“那如果我证明了你的人性——”谢铭盯着她，“是不是就意味着源逻辑也拥有人性？”
林霜的表情变了。
“谢铭，你想做什么？”
“哥德尔不完备定理说，任何足够强大的系统里都存在无法证明的命题。”谢铭说，“但你刚才说你是源逻辑的一部分——那源逻辑能不能证明‘林霜是人’这个命题？”
林霜沉默了。
“它不能。”谢铭说，“因为这个命题在它的系统内是自指的。源逻辑定义了‘人’的概念，而你是它的一部分——它无法用自己的一部分来证明自己。”
“所以？”
“所以这个命题必须从系统外证明。”谢铭握紧她的手，“而我就是系统外——我是l3能力者，我站在源逻辑之外。”
（本章未完，请点击下一页继续阅读）第220章命题的代价(第2/2页)
林霜的眼睛瞪大了。
她明白了。
“你要用不完备定理反制我的命题？”
“不是反制。”谢铭说，“是证明。”
他松开她的手，后退一步。
“林霜，你是源逻辑的补丁。但源逻辑无法证明你只是补丁——因为那会导致自指悖论。所以，从逻辑上说，你存在‘是人’的可能性。”
“这只是可能性——”
“对数学家来说，可能性就够了。”谢铭笑了，那是他很久没露出的笑，“你知道为什么吗？因为哥德尔不完备定理还说了另一件事——如果一个系统无法证明一个命题，那这个命题要么是假的，要么是系统无法理解的。而源逻辑无法理解‘人’是什么——”
他停顿了一下。
“所以，林霜，你可能是人。”
林霜的嘴唇在发抖。
“你可能是林霜本人。”谢铭说，“源逻辑只是复制了她的意识，但意识本身就是人的定义。如果复制体拥有和
（本章未完，请点击下一页继续阅读）