第四百二十三章 我們（八）（2/2）

「早上吃什麼？」

「去中京吃吧，我知道一家很好的早茶店，就在一番街……」

錫森博士張了張嘴巴，看向李涼。

「嗯……我會把您的發現轉告李爽，」李涼抿了抿嘴唇，「有東西要收拾嗎？」

「呃…沒有。」

「那走吧，我們去中京吃早飯。」

錫森博士站在原地沒動，納悶道：「我沒說清楚？」

李涼笑了笑：「說清楚了，就是下次……最好先說結論。」

————————

特勤艦離開新澳城，穿越黎明前的黑暗，飛向中京。

指揮艙中央，李涼靜靜站在駕駛飛船的仿生人身後，似乎在觀察仿生人的操作。

角落裡，K攬著錫森博士，低聲問道：「那個什麼哥特爾定理是什麼意思？」

附近的該隱和水野同時看了過來。

錫森博士這會兒有點心虛，乾笑了兩聲說道：「一個包含皮亞諾算術的形式系統如果是一致的那麼是不完備的，而且該系統的一致性不能在系統內部證明。」

K「溫柔」道：「說人話。」

「簡單說就是一個沒有矛盾的公理體系，總會有一些命題是搞不清楚對還是錯的，如果你發現一個命題通過現有的方法、公理和定理一直得不到證明，應該嘗試擴展現有的方法和公理體系來進一步研究。」

K納悶道：「意思是一種方法解決不了問題就換一種方法，這也算定理？」

「聽起來很簡單，但是，科學有時候比較宗教更容易讓人陷入誤區，尤其當一個人深入研究一項理論，就會對它深信不疑……」錫森博士搖了搖頭，瞥了一眼李涼的背影，心不在焉道，「哥德爾不完備定理對科學發展的影響很深刻，一兩句話說不清楚。」

這時，李涼的聲音傳來：「K。」

K起身走過去：「老大。」

「有煙嗎？」

K微不可察地皺了下眉頭，從口袋裡摸出煙盒遞了過去。

李涼抽出一支煙點著，輕聲問道：「有機會的話，你願意永生麼？」

「可以不願意嗎？」

李涼目視前方：「不可以。」

K一臉無奈地轉過頭去，緩緩抬起手，比了個大拇指。