第四百二十三章 我們(八)
更新時間:2022-01-29 作者:小道太乙
賽博飛升 第四百二十三章 我們(八)
解剖室外的走廊落針可聞。 目光掃過K，該隱和水野，李涼臉上的笑容漸漸消失。 錫森博士絲毫沒有察覺到氣氛異常，語速極快地說道： “基于一階邏輯推理算法的仿生人都有這樣的問題，有時候情感映射會和邏輯運算的優先級沖突，我原本以為出現這種情況本質上是因為運算能力不足，直到我見到你弟弟。 那次聽他說完整件事的來龍去脈，我和他討論了‘模擬世界’可能性，因為他在計算時間悖論時突然停機，這一點非常古怪，假如我們的世界是更高級的智慧體‘模擬’出來的，就像神經漫游中的‘中土’游戲，只是更復雜，那就說得通了，他很可能發現了這個‘模擬’系統的‘不自恰’漏洞。 他說自己確實考慮過這個問題，還進行了很多嘗試，比如計算出了‘葛立恒數’的準確值，他還推算了TREE（3），驗證了克魯斯科爾樹定理，等等。 他是這樣想的，假如我們的世界是個模擬系統，那么，這個系統的運算能力一定有上限，如果能在模擬系統中推算TREE(3)，那么支持整個模擬系統需要的運算能力將不可思議，或者說，已經沒有討論的意義，因為……” “咳，”水野輕輕咳了一聲。 錫森博士撓了撓頭：“不好意思偏題了，我是想說，只要你知道TREE（3）的定義，就會知道你弟弟的運算能力有多夸張，這就說明情感映射問題和運算能力無關，而你弟弟表現出的情感問題和仿生人是一樣的，執行決策時，一階邏輯推理算法很可能優先于情感映射……” 即使聽不懂那些長篇大論，在場的人也明白最后這句話的意思。 李涼目光低垂，沉默不語，該隱始終盯著他的表情，眼神復雜。 K拍了拍錫森博士的肩膀：“這種情況應該很少見吧？” “嗯，”錫森博士點頭，沒等K松口氣，老頭繼續說道，“不過，越是重大的決策，需要滿足的條件越多，越容易出現這種問題……嘶，你捏我干什么？” K干笑了一下，轉頭說道：“老大……” “沒事，”李涼抬起頭，擺了擺手，“博士，我知道您的意思，我不是沒想過這個問題，之前在中京，很多次我以為自己死定了，現在我知道，小爽一直能看到，后來他還派無人機來殺我，但是……這不代表小爽冷酷無情，我們的敵人是時間觀測者，我們面對的是一個很難理解的詭異計劃，想掌握主動就只能做出取舍，可能換一下位置，我不會讓小爽，或者你們身處危險，但如果需要冒險或者做出犧牲的人是我，我沒意見。” “不是，你沒明白我的意思，”錫森博士認真道，“如果情感映射問題和運算能力無關，說明時間觀測者提供的那十個公式代表的公理體系依舊是不完備的，符合‘哥德爾不完備定理’。” 李涼愣了一下：“然后呢？” “還不明顯嗎，”錫森博士一副理所當然的表情，“你弟弟懷疑時間觀測者提供的公式遠遠不足以揭示宇宙的真相，他是對的，這就是證據。” “等等，我捋一下，”K瞪著眼睛，“老頭，你前面說的那一大堆就是為了證明，時間觀測者給的公式不是宇宙真相？” “對啊，李爽自己察覺不到情感映射的問題，只有我們這些與他相處的人類才可以，所以他發現不了這個證據，”錫森博士看了看眾人的表情，“不然呢，你們以為我在說什么？” 所有人都呆呆看著他。 “噢”錫森博士恍然大悟，“你們以為我想說李爽不可靠？” “你們怎么能這么想！”錫森博士嚷嚷道，“李爽當然值得信任，你們這是對仿生人的偏見，推理算法有時候確實看起來冰冷無情，但大多數時候都是最優解，李爽構建的零號系統是人類有史以來最偉大的創造，他對混沌系統的演化機制理解得非常透徹，我們遭遇的那些危險都經過了……” 沒等他說完，該隱扭頭就走。 K拍了拍他的肩膀，和水野一起向電梯走去，兩人的對話傳來： “早上吃什么？” 谷 錫森博士張了張嘴巴，看向李涼。 “嗯……我會把您的發現轉告李爽，”李涼抿了抿嘴唇，“有東西要收拾嗎？” “呃…沒有。” “那走吧，我們去中京吃早飯。” 錫森博士站在原地沒動，納悶道：“我沒說清楚？” 李涼笑了笑：“說清楚了，就是下次……最好先說結論。” 特勤艦離開新澳城，穿越黎明前的黑暗，飛向中京。 指揮艙中央，李涼靜靜站在駕駛飛船的仿生人身后，似乎在觀察仿生人的操作。 角落里，K攬著錫森博士，低聲問道：“那個什么哥特爾定理是什么意思？” 附近的該隱和水野同時看了過來。 錫森博士這會兒有點心虛，干笑了兩聲說道：“一個包含皮亞諾算術的形式系統如果是一致的那么是不完備的，而且該系統的一致性不能在系統內部證明。” K“溫柔”道：“說人話。” “簡單說就是一個沒有矛盾的公理體系，總會有一些命題是搞不清楚對還是錯的，如果你發現一個命題通過現有的方法、公理和定理一直得不到證明，應該嘗試擴展現有的方法和公理體系來進一步研究。” K納悶道：“意思是一種方法解決不了問題就換一種方法，這也算定理？” “聽起來很簡單，但是，科學有時候比較宗教更容易讓人陷入誤區，尤其當一個人深入研究一項理論，就會對它深信不疑……”錫森博士搖了搖頭，瞥了一眼李涼的背影，心不在焉道，“哥德爾不完備定理對科學發展的影響很深刻，一兩句話說不清楚。” 這時，李涼的聲音傳來：“K。” K起身走過去：“老大。” “有煙嗎？” K微不可察地皺了下眉頭，從口袋里摸出煙盒遞了過去。 李涼抽出一支煙點著，輕聲問道：“有機會的話，你愿意永生么？” “可以不愿意嗎？” 李涼目視前方：“不可以。” K一臉無奈地轉過頭去，緩緩抬起手，比了個大拇指。 請：m.touxsw 賽博飛升 第四百二十三章 我們(八)
解剖室外的走廊落針可聞。 目光掃過K，該隱和水野，李涼臉上的笑容漸漸消失。 錫森博士絲毫沒有察覺到氣氛異常，語速極快地說道： “基于一階邏輯推理算法的仿生人都有這樣的問題，有時候情感映射會和邏輯運算的優先級沖突，我原本以為出現這種情況本質上是因為運算能力不足，直到我見到你弟弟。 那次聽他說完整件事的來龍去脈，我和他討論了‘模擬世界’可能性，因為他在計算時間悖論時突然停機，這一點非常古怪，假如我們的世界是更高級的智慧體‘模擬’出來的，就像神經漫游中的‘中土’游戲，只是更復雜，那就說得通了，他很可能發現了這個‘模擬’系統的‘不自恰’漏洞。 他說自己確實考慮過這個問題，還進行了很多嘗試，比如計算出了‘葛立恒數’的準確值，他還推算了TREE（3），驗證了克魯斯科爾樹定理，等等。 他是這樣想的，假如我們的世界是個模擬系統，那么，這個系統的運算能力一定有上限，如果能在模擬系統中推算TREE(3)，那么支持整個模擬系統需要的運算能力將不可思議，或者說，已經沒有討論的意義，因為……” “咳，”水野輕輕咳了一聲。 錫森博士撓了撓頭：“不好意思偏題了，我是想說，只要你知道TREE（3）的定義，就會知道你弟弟的運算能力有多夸張，這就說明情感映射問題和運算能力無關，而你弟弟表現出的情感問題和仿生人是一樣的，執行決策時，一階邏輯推理算法很可能優先于情感映射……” 即使聽不懂那些長篇大論，在場的人也明白最后這句話的意思。 李涼目光低垂，沉默不語，該隱始終盯著他的表情，眼神復雜。 K拍了拍錫森博士的肩膀：“這種情況應該很少見吧？” “嗯，”錫森博士點頭，沒等K松口氣，老頭繼續說道，“不過，越是重大的決策，需要滿足的條件越多，越容易出現這種問題……嘶，你捏我干什么？” K干笑了一下，轉頭說道：“老大……” “沒事，”李涼抬起頭，擺了擺手，“博士，我知道您的意思，我不是沒想過這個問題，之前在中京，很多次我以為自己死定了，現在我知道，小爽一直能看到，后來他還派無人機來殺我，但是……這不代表小爽冷酷無情，我們的敵人是時間觀測者，我們面對的是一個很難理解的詭異計劃，想掌握主動就只能做出取舍，可能換一下位置，我不會讓小爽，或者你們身處危險，但如果需要冒險或者做出犧牲的人是我，我沒意見。” “不是，你沒明白我的意思，”錫森博士認真道，“如果情感映射問題和運算能力無關，說明時間觀測者提供的那十個公式代表的公理體系依舊是不完備的，符合‘哥德爾不完備定理’。” 李涼愣了一下：“然后呢？” “還不明顯嗎，”錫森博士一副理所當然的表情，“你弟弟懷疑時間觀測者提供的公式遠遠不足以揭示宇宙的真相，他是對的，這就是證據。” “等等，我捋一下，”K瞪著眼睛，“老頭，你前面說的那一大堆就是為了證明，時間觀測者給的公式不是宇宙真相？” “對啊，李爽自己察覺不到情感映射的問題，只有我們這些與他相處的人類才可以，所以他發現不了這個證據，”錫森博士看了看眾人的表情，“不然呢，你們以為我在說什么？” 所有人都呆呆看著他。 “噢”錫森博士恍然大悟，“你們以為我想說李爽不可靠？” “你們怎么能這么想！”錫森博士嚷嚷道，“李爽當然值得信任，你們這是對仿生人的偏見，推理算法有時候確實看起來冰冷無情，但大多數時候都是最優解，李爽構建的零號系統是人類有史以來最偉大的創造，他對混沌系統的演化機制理解得非常透徹，我們遭遇的那些危險都經過了……” 沒等他說完，該隱扭頭就走。 K拍了拍他的肩膀，和水野一起向電梯走去，兩人的對話傳來： “早上吃什么？” 谷 錫森博士張了張嘴巴，看向李涼。 “嗯……我會把您的發現轉告李爽，”李涼抿了抿嘴唇，“有東西要收拾嗎？” “呃…沒有。” “那走吧，我們去中京吃早飯。” 錫森博士站在原地沒動，納悶道：“我沒說清楚？” 李涼笑了笑：“說清楚了，就是下次……最好先說結論。” 特勤艦離開新澳城，穿越黎明前的黑暗，飛向中京。 指揮艙中央，李涼靜靜站在駕駛飛船的仿生人身后，似乎在觀察仿生人的操作。 角落里，K攬著錫森博士，低聲問道：“那個什么哥特爾定理是什么意思？” 附近的該隱和水野同時看了過來。 錫森博士這會兒有點心虛，干笑了兩聲說道：“一個包含皮亞諾算術的形式系統如果是一致的那么是不完備的，而且該系統的一致性不能在系統內部證明。” K“溫柔”道：“說人話。” “簡單說就是一個沒有矛盾的公理體系，總會有一些命題是搞不清楚對還是錯的，如果你發現一個命題通過現有的方法、公理和定理一直得不到證明，應該嘗試擴展現有的方法和公理體系來進一步研究。” K納悶道：“意思是一種方法解決不了問題就換一種方法，這也算定理？” “聽起來很簡單，但是，科學有時候比較宗教更容易讓人陷入誤區，尤其當一個人深入研究一項理論，就會對它深信不疑……”錫森博士搖了搖頭，瞥了一眼李涼的背影，心不在焉道，“哥德爾不完備定理對科學發展的影響很深刻，一兩句話說不清楚。” 這時，李涼的聲音傳來：“K。” K起身走過去：“老大。” “有煙嗎？” K微不可察地皺了下眉頭，從口袋里摸出煙盒遞了過去。 李涼抽出一支煙點著，輕聲問道：“有機會的話，你愿意永生么？” “可以不愿意嗎？” 李涼目視前方：“不可以。” K一臉無奈地轉過頭去，緩緩抬起手，比了個大拇指。 請：m.touxsw 賽博飛升 第四百二十三章 我們(八)
休閑文學吧提供免費小說,請讀者支持正版