第四百二十三章 我們（八）(第2/2頁)
章節報錯
“去中京吃吧，我知道一家很好的早茶店，就在一番街……”
錫森博士張了張嘴巴，看向李涼。
“嗯……我會把您的發現轉告李爽，”李涼抿了抿嘴唇，“有東西要收拾嗎？”
“呃…沒有。”
“那走吧，我們去中京吃早飯。”
錫森博士站在原地沒動，納悶道：“我沒說清楚？”
李涼笑了笑：“說清楚了，就是下次……最好先說結論。”
————————
特勤艦離開新澳城，穿越黎明前的黑暗，飛向中京。
指揮艙中央，李涼靜靜站在駕駛飛船的仿生人身後，似乎在觀察仿生人的操作。
角落裡，K攬著錫森博士，低聲問道：“那個什麼哥特爾定理是什麼意思？”
附近的該隱和水野同時看了過來。
錫森博士這會兒有點心虛，乾笑了兩聲說道：“一個包含皮亞諾算術的形式系統如果是一致的那麼是不完備的，而且該系統的一致性不能在系統內部證明。”
K“溫柔”道：“說人話。”
“簡單說就是一個沒有矛盾的公理體系，總會有一些命題是搞不清楚對還是錯的，如果你發現一個命題透過現有的方法、公理和定理一直得不到證明，應該嘗試擴充套件現有的方法和公理體系來進一步研究。”
K納悶道：“意思是一種方法解決不了問題就換一種方法，這也算定理？”
“聽起來很簡單，但是，科學有時候比較宗教更容易讓人陷入誤區，尤其當一個人深入研究一項理論，就會對它深信不疑……”錫森博士搖了搖頭，瞥了一眼李涼的背影，心不在焉道，“哥德爾不完備定理對科學發展的影響很深刻，一兩句話說不清楚。”
這時，李涼的聲音傳來：“K。”
K起身走過去：“老大。”
“有煙嗎？”
K微不可察地皺了下眉頭，從口袋裡摸出煙盒遞了過去。
李涼抽出一支菸點著，輕聲問道：“有機會的話，你願意永生麼？”
“可以不願意嗎？”
李涼目視前方：“不可以。”
K一臉無奈地轉過頭去，緩緩抬起手，比了個大拇指。