第220章命題的代價
第220章命題的代價(第3/6頁)
觸感是真實的，溫暖的，和記憶中一模一樣。
“相信你自己。”
“我又怎麼相信自己？”謝銘抓住她的手，力道大得讓她皺眉，“你剛才說了，我連自己的記憶都不能確定是真的！”
“那就接受不確定性。”
林霜說這句話時，眼睛裡有什麼東西在發光。
“謝銘，你是個數學家。你知道哥德爾不完備定理——任何足夠強大的係統裡，都存在無法證明的命題。”
謝銘愣住了。
“愛就是這樣一個命題。”林霜說，“你無法證明我愛你，也無法證明我是真的。但你能感覺到——對嗎？”
謝銘握著她手的手指在發抖。
他感覺到了。
那觸感，那溫度，那雙眼睛裡的光——他感覺到了。
“你剛才說，”他的聲音突然變了，“你是l6源邏輯補丁。”
“對。”
“那你是源邏輯的一部分？”
“可以這麼說。”
“那如果我證明了你的人性——”謝銘盯著她，“是不是就意味著源邏輯也擁有人性？”
林霜的表情變了。
“謝銘，你想做什麼？”
“哥德爾不完備定理說，任何足夠強大的係統裡都存在無法證明的命題。”謝銘說，“但你剛才說你是源邏輯的一部分——那源邏輯能不能證明‘林霜是人’這個命題？”
林霜沉默了。
“它不能。”謝銘說，“因為這個命題在它的係統內是自指的。源邏輯定義了‘人’的概念，而你是它的一部分——它無法用自己的一部分來證明自己。”
“所以？”
“所以這個命題必須從係統外證明。”謝銘握緊她的手，“而我就是係統外——我是l3能力者，我站在源邏輯之外。”
（本章未完，請點擊下一頁繼續閱讀）第220章命題的代價(第2/2頁)
林霜的眼睛瞪大了。
她明白了。
“你要用不完備定理反製我的命題？”
“不是反製。”謝銘說，“是證明。”
他鬆開她的手，後退一步。
“林霜，你是源邏輯的補丁。但源邏輯無法證明你隻是補丁——因為那會導致自指悖論。所以，從邏輯上說，你存在‘是人’的可能性。”
“這隻是可能性——”
“對數學家來說，可能性就夠了。”謝銘笑了，那是他很久冇露出的笑，“你知道為什麼嗎？因為哥德爾不完備定理還說了另一件事——如果一個係統無法證明一個命題，那這個命題要麼是假的，要麼是係統無法理解的。而源邏輯無法理解‘人’是什麼——”
他停頓了一下。
“所以，林霜，你可能是人。”
林霜的嘴唇在發抖。
“你可能是林霜本人。”謝銘說，“源邏輯隻是複製了她的意識，但意識本身就是人的定義。如果複製體擁有和
（本章未完，請點擊下一頁繼續閱讀）