第417部分

請關閉瀏覽器的閱讀/暢讀/小說模式並且關閉廣告遮蔽過濾功能，避免出現內容無法顯示或者段落錯亂。

他這一生，並非沒有敗過、沒有怕過。因此，他也不羞於談論這些。

自然而然，想到什麼就說什麼。

“老師，您或許可以嚮往常那樣休息休息，散散心，完備律這一關，其實並非非得攻克不可。您看，三五年前我們已經證出了算學不少分支系統的完備性……”

“何科。”希柏澈一口叫出這個學生的名字：“你最近是不是聽到了什麼訊息？”

這位半步逍遙的修士，乃是他早年的幾位弟子之一，感情與算主後來的弟子自是不一樣。他有些不敢去看自己老師的背影，低頭道：“最近……我和何師弟接觸過了……”

何外爾是算主就有成就的弟子。算主的不少弟子都尊稱他為師兄。但是何科這種更加年長的，則稱之為師弟。

希柏澈露出了頭疼的表情：“外爾啊……那傢伙信了連宗之後，就變了。他說什麼了？”

“我探過他的口風，事情似乎真的很不妙……”

“看起來算君還是有些本事的。”算主點點頭，不以為意：“我理論的漏洞很多，他若是能夠幫我找出一兩樣，我倒是感激不盡。只不過，他應該不屑於思考這個領域吧？哼。”

何科咬咬牙：“還有，馮先生……馮先生也知道。只是，他們都擔心您挺不過去……”

“我說我這老朋友最近怎麼鬼鬼祟祟的，原來這這樣吧？”希柏澈表情有些凝重了：“看起來，真的是大問題啊。能有多基礎呢？我到底是哪裡……”

何科心中一片冰涼：到現在，老師的思路都沒有往“完備性”上靠……他根本不懷疑算學的完備性……

“老師，我們還有退路的。我們還是能夠透過超窮歸納法，從系統外證明系統的完備性……”

何科沒有說太久。算主的眼睛盯著他。那黑色的眸子似乎有無邊的魄力。很快，他就說不下去了。過了好一會，算主才將目光拉回到那個自己已經停滯了許久的證明。他彷彿想要沿著這個證明，“看到”算學的彼岸。

“我們必須知道，我們必將知道……”

他輕聲呢喃。

“總而言之，我最近的思路了。”王崎一臉平淡的對著馮落衣彙報了自己的思路。

所謂的“思路”，有些時候是需要藏著掖著，但是有些時候說出來也無妨。

王崎的這個思路對於馮落衣來說，就是這樣。

馮落衣已經是巔頂的修士了。無論命還是利，他都沒有更高的要求了。這位大算家心中所想的，無非就是求得大道，另外還有擺脫那個所謂的“終極圖景”。除此之外，再也沒有什麼利益能夠打動他了。

倒不如說，為了實現他的理想，王崎這種有天分的後輩越多越好。從這個層面來講，馮落衣對王崎的支援當真可以說是不遺餘力。

這也是那些已經“登頂”的傢伙不吝嗇於提攜後輩的原因。

馮落衣則在腦海當中思考王崎的思路。他想到：“看你這態勢，竟好似要殺穿這個二十三問啊。”

“不敢，不敢。”王崎要要有。二十三問何其可怕？就算在地球，這二十三個問題當中依舊有數問是懸而未決的。他就算有信心獨立解決其中的一兩問，也不敢說能夠解決所有。

馮落衣搖搖頭：“以後的事情，誰知道呢？五六年前吧，我就沒看出來，你居然能夠循著那個完備性，一舉擊穿第二問、第十問——唔，說不定還要再添上第一問。”

“不過……”馮落衣的眼神突然銳利起來：“你好像總是很喜歡走彎路。”

“彎路？”

王崎錯愕。力迫法才是完美解決連續統假設問題的不二之選啊？為什麼是彎路？

“我最近看到了一個思路，很奇特，很有趣。”馮落衣盯著王崎的眼睛，道：“將所有可建立集合同和成一個系統，在無限中比較無限的大小……”

王崎錯愕：“有人想出來了？”

這就是當初哥德爾證明連續統假設的思路！

在ZF公理允許的範圍之內作推到，證明，若是ZF公理系統具備一致性，則連續統假設為真。在ZF公理體系之內，連續統假設無法被證偽。

對於二十三問來說，這應該已經算是一個完美的答案了。

但是，“不能證偽”並不代表“證實”。

沿著這個思路，人們同樣可以證出，在ZF公理系統之內，連續統假設不能證實。

換句話說，連續統問題在集合論的範疇之內，是一個具備了不可判定性的