聽說王崎又有新論文,場中逍遙修士的神色各有不同。
一部分逍遙修士的神情頗不以為然。希門二十三問,乃是算學領域的一道標杆或者說二十三道標杆。解決其中之一,就表示有資格成道逍遙。
而二十三問當中的第二問、第十問又最為特殊。因為這兩問,關係到了算學的根基。
哥德爾不完備性定理,就是對二十三問當中第二問的證明。
這種問題,一般的修士,做出一問也是僥倖。不完備這種級別的發現,一個修士一輩子又能遇到幾次?
而另外一些修士比如馮落衣,表情就相當驚恐了。
「四面」馬德恩在歌庭派諸人當中,算是態度最平和的。他成道便是因為解決了二十三問當中的第三問。就是由於這個緣故,他對解決了第二問的王崎頗有些好感。馬德恩見氣氛有些緊張,便想緩和一二,出聲詢問王崎:「你的論文,是關於什麼的?」
「希門二十三問,第十問。」
馬德恩一下子沒有反應過來:「什麼?」
「希門二十三問,第十問。」王崎複述了一遍:「我解決了第十問。關於判定性問題的。」
「什麼……第十問,也解出來了?」馬德恩一時之間有些失神。
理論水平遠超法力境界的,他見得也不少了。可是能夠到這個地步的,他還真是第一次見。
他只不過是在二十三問提出之後,花了一兩年的時間解出了第三問。就算是這樣,他也足以被稱為一代天驕。
王崎在數年之前就用取巧的辦法,取得了第二問的答案,不完備定理則徹底否定了傳統方法這相當於王崎已經徹底解決了第二問。光憑這個。王崎現在開始不再研究算學,若干年後都有資格用算學問鼎逍遙遊的境界。
二十三問,每一問都是一條逍遙之路。
而王崎。接連解出了第二問,第十問。他又是什麼水平?
希門二十三問當中,最重要的,也就是這個第二問和第十問。在離宗修士眼中,這兩問涉及算學的根基,是諸般算學之根基!
誰能夠解決了這兩問,誰就有資格稱為諸般算道之宗!
諸多逍遙之中,十個倒是有九個的第一反應是不信。可是,馮落衣卻是信了。
王崎唯獨沒有在這方面輕慢過。
而在經歷了最初的震驚之後。那些歌庭派的算家,卻又有些迷惘了。
難道,這個少年,又要否定什麼重要的東西嗎?
為什麼,老師二十三問之中最重要的兩問,會由這樣一個破壞了老師畢生所求的少年完成證明?
算君龐家萊的眼神當中,不以為然的神色淡了許多。他對算主頗為不屑,但是二十三當中的某幾問,倒是很符合他的心意的。
當然,第二問和第十問都不屬於合他心意的。但是。他至少知道這兩問的難度。
短暫的失神之後,馮落衣看了王崎一眼,面無表情的問道:「顛覆性強嗎?」
王崎表示無奈:「我想的話。能夠接受不完備定理,再接受一個相似的,應該也不難吧?」
這下子,就連本來只是旁觀的圖靈真人,臉上的表情也有些僵硬了。
相似……他上一篇論文否定了完備性,這一次就要否定判定性?
一個命題,或許被辦法知曉它「能不能被判定」?
那麼我們這些算家存在的價值何在?
一瞬間,有幾位歌庭派的逍遙修士甚至生出了退意。
光是想一想「不可判定」的意義,就心神搖曳。幾乎走火入魔。若是聽完王崎的論文,那豈不是要身死道消?
馮落衣輕咳了兩聲:「王崎。你先用一個儘量……儘量平和的方式敘述一下。最好是用借喻的方式,讓大家有個心理準備諸位。也請你們注意了。如果判斷自己一時之間不能接受,那就立即脫出環境,然後去陽神閣。」
馮落衣說完之後,幾位逍遙修士低頭思量片刻,最後咬咬牙,決定還是留下來聽完至少也得聽完王崎的介紹。
若是連介紹都沒有勇氣聽完,那麼他們也沒必要繼續研究算學了。