不像很多意義重大的數學證明——比如孿生素數猜想的證明,不完備和不可判定的證明其實相當簡單。
參加這次集訓的諸多萬法門弟子,三觀已經經過了多次洗禮,心中早就對算學的完備性、一致性和可判定性生出了一絲懷疑。
現在,阻礙他們繼續深入下去的,除了長期以來的主觀經驗之外,還有來自經典的解讀。
那些“經典”,多半多是算主書寫的。
與算主同為歌庭派當世之代表人物的馮落衣給了“完備性”最後一擊,眾人觀念之中的知見障便開始破碎。
而不可判定性的證明,也一併教給了他們
馮落衣最後對所有人說道:“現在,我們也只公開了第一階段的論文,《試論卷一算術篇中形式上不可判定之陳述及相關係統》。眾人只知完備性的喪失。有些修士,甚至還對此一無所知。
而很快,我們還要公佈第二階段的論文《論可計算數及其在判定定理上的應用》。那將會引發更加巨大的衝擊。
現在,你們就要發揮出你們這幾個月集訓的成果,用盡一些辦法,溫和的告訴你們認識的萬法門弟子,完備性和可判定性都已經成為了歷史。這就是你們現在的任務。”
“去吧!”
短短片刻之內,整個集訓地中的諸多修士就如星流雲散。只有陳由嘉等極少數幾個人不徐不疾的在往外走。
陳由嘉還在踟躕,心中反覆:“要不要給那個傢伙發個訊息問一下呢……這一次對離宗衝擊最大。他是數論領域的大宗師,偏向離宗……可是,他是萬法門現任的門主啊?他肯定已經知道了吧……他也不需要我關心吧……”
“喲!”突然,她的肩膀被人拍了一下……唔,按靈識的感覺,是一個靈體。
陳由嘉轉身,就看到王崎那一張笑臉。
“果然,是你。”陳由嘉深吸一口氣:“這一次的事情,都是你惹的禍,對吧?雖然馮先生沒有直接說那個論文的作者,但我知道,就是你……”
王崎拉著陳由嘉往僻靜處走。,一邊笑道:“那當然,除了我這個天才,誰能夠做出如此巨大的突破?”
陳由嘉很想向以前一樣譏諷幾句。但是不知為何,她沒有說出口。
王崎一個人的一篇論文,就需要仙盟花費半年來準備,來接受。
他不是天才,誰敢稱天才?
陳由嘉嘟起嘴:“怎麼想到來看我了?”
“我那破論文殺傷力太強啊!”王崎肆無忌憚搓揉陳由嘉的臉:“看看你有沒有受傷。”
“別鬧。”陳由嘉揮開了王崎的手:“你知道,我是偏向應用的算家,除去賭氣的成分,對離宗連宗的爭端其實看得沒有那麼重,更不在意那個‘基礎’。再說啦……那個《銀翼刺客》的故事,也是你做出來的吧?”
王崎立刻做出一副感動的樣子:“想不到我們已經心有靈犀到這個地步了!來!抱一個!”
陳由嘉被他抱住,卻嗤道:“少來,我這是記性好——話說回來,你很久以前就給我講了個故事,為什麼還擔心我接受不了?”
“我對你有信心,但是來看看嘛!”王崎後退兩步:“哦,我在‘那邊’還有點事情,得先走了!”
看著消失的王崎,陳由嘉眨眨眼睛,然後給自己的父親傳送了一條靈訊:“你怎麼樣?”
只有硬邦邦的四個字。
陳由嘉原本沒有指望可以得到回應。可不曾想,她的算器立刻就給出提示:“平安。”
…………………………………………………………………………………………………………………………………………………………………………
王崎的嘴角勾出一絲笑意。他是分神一道去見陳由嘉的。那一個“王崎”的投影既是他的分神,又透過萬仙幻境與他時時同步。
“道友又有想法了?”坐在王崎對面的圖靈真人發問道。
王崎搖搖頭:“不不,想起一些其他事情。我還在這個‘變天式化’這個思路上……”
“變天式的極限啊……“圖靈真人也感覺有一絲沉重:“向日,我們所說‘式中含天之變者’為變天式,覺得變天式可以算盡一切啊……我那個真的可以算盡一切的演算法,在自相矛盾之餘還能夠提供變天之極的思路?真是想不到。”
自昨日起,他們二人時時在一處討論。王崎前世並沒有背下太多的論文,所有證明的過程都是他獨立推匯出來。與這位天才交流,同樣也讓他受益匪淺。
而王崎也發現,圖靈真人雖然說話直了一些,也呆板了一些,但本質上還是非常好說話的。偶爾有休憩時,他還會向圖靈真人討教一些修法上的問題。
機老乃是算器之祖,對於王崎的資料化修法,也是頗為欣賞。而這位算器始祖,也讓王崎對修法有了新的理解。
二人也是越聊越投機。
就在這時,他們接到了馮落衣的傳訊。然後,眼前景象一變,二人已經來到了馮落衣的面前。
馮落衣黯然,道:“王崎,七日之後,我會安排你做一個公開的講道,透過萬仙幻境,為整個萬法門講一講這不全之道。全神州,任何一人,都可以自由的選擇聽或者不聽。你好好準備。”
說完這句話後,他神色黯淡:“終究是得與老朋友分道揚鑣了。”