”
“還記得老夫極盛之時,是如何被人描述的嗎?”
——自下而上地構築了完美的算學天地,其中任何想當然的、未經證明的東西沒有立足之地。
“隱約感覺到了嗎?這一篇論文,這一篇《試論卷一算術篇中形式上不可判定之陳述及相關係統》並不是全部,它肯定還有後續。”
“而那個後續,或許就是我理念破碎的時候。”
——“不可判定”與“不完備”當中,“真”和“可證明”不是一個概念。
——有些真理,無法證明。
女子咬牙,以她逍遙境界都差點沒抑制住眼淚:“該死的……該死的王崎……還有馮落衣……”
“他們對了,我錯了,這難道還要怪他們嗎?以前被我扇過耳光的,又該上哪兒說理?”
無機質一般的聲音當中,透著一絲坦然。
……
集訓之地裡,所有修士都被集中了起來。他們被隔絕內外訊息已久,尚不知道將要發生什麼。
直到神色悲慼的馮落衣站到了他們跟前。
蒼生國手開口道:“諸位,我這次找你們來,便是要結束這一場集訓。
“你們當中,或許有些人已經自證了‘那個理論’,可能有些人還在懷疑。現在我便來給你們皆曉最終的答案。”
“接下來,我先給諸位講一個故事。這個故事,曾經以蜃戲的形式播放給你們所有人看過。但現在,我要從一個算家的視角,來給你們講一講這個故事。”
馮落衣對著眾人說了一個故事。
一個傀儡審官的故事。
一個有窮壁壘的故事。
第二百三十四章 英才遲暮
不像很多意義重大的數學證明——比如孿生素數猜想的證明,不完備和不可判定的證明其實相當簡單。
參加這次集訓的諸多萬法門弟子,三觀已經經過了多次洗禮,心中早就對算學的完備性、一致性和可判定性生出了一絲懷疑。
現在,阻礙他們繼續深入下去的,除了長期以來的主觀經驗之外,還有來自經典的解讀。
那些“經典”,多半多是算主書寫的。
與算主同為歌庭派當世之代表人物的馮落衣給了“完備性”最後一擊,眾人觀念之中的知見障便開始破碎。
而不可判定性的證明,也一併教給了他們。
馮落衣最後對所有人說道:“現在,我們也只公開了第一階段的論文,《試論卷一算術篇中形式上不可判定之陳述及相關係統》。眾人只知完備性的喪失。有些修士,甚至還對此一無所知。
而很快,我們還要公佈第二階段的論文《論可計算數及其在判定定理上的應用》。那將會引發更加巨大的衝擊。
現在,你們就要發揮出你們這幾個月集訓的成果,用盡一些辦法,溫和的告訴你們認識的萬法門弟子,完備性和可判定性都已經成為了歷史。這就是你們現在的任務。”
“去吧!”
短短片刻之內,整個集訓地中的諸多修士就如星流雲散。只有陳由嘉等極少數幾個人不徐不疾的在往外走。
陳由嘉還在踟躕,心中反覆:“要不要給那個傢伙發個訊息問一下呢……這一次對離宗衝擊最大。他是數論領域的大宗師,偏向離宗……可是,他是萬法門現任的門主啊?他肯定已經知道了吧……他也不需要我關心吧……”
“喲!”突然,她的肩膀被人拍了一下……唔,按靈識的感覺,是一個靈體。
陳由嘉轉身,就看到王崎那一張笑臉。
“果然,是你。”陳由嘉深吸一口氣:“這一次的事情,都是你惹的禍,對吧?雖然馮先生沒有直接說那個論文的作者,但我知