關燈 巨大 直達底部
親,雙擊螢幕即可自動滾動
第427章 我們(八)

站在原地沒動,納悶道:“我沒說清楚?”

李涼笑了笑:“說清楚了,就是下次……最好先說結論。”

————————

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

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

角落裡,k攬著錫森博士,低聲問道:“那個什麼哥特爾定理是什麼意思?”

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

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

k“溫柔”道:“說人話。”

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

k納悶道:“意思是一種方法解決不了問題就換一種方法,這也算定理?”

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

這時,李涼的聲音傳來:“k。”

k起身走過去:“老大。”

“有煙嗎?”

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

李涼抽出一支菸點著,輕聲問道:“有機會的話,你願意永生麼?”

“可以不願意嗎?”

李涼目視前方:“不可以。”

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

:()賽博飛昇

為您推薦