第一百二十三章 三篇……這什么玩意?(1 / 2)

走進修仙 吾道長不孤 1109 字 2020-09-04

AK小說 www.06ak .com,最快更新走進修仙最新章節!

當王崎拿起筆的時候,整個世界都安靜了下來。

剛開始的時候,他感到了些微的暢快。在他學習數學的年代里,地球的數學,尤其是運算這一塊已經開始深度使用符號邏輯語言了——這正是算君所厭惡的部分。這也是他對算主這一邊更有好感的原因。

希爾伯特死後,數學已經發生了翻天覆地的變化,稱得上「革命」的變革都不止一次。

一加一等於二沒有改變,但是詮釋這個「最初等式」的基礎卻幾度變更。或許對於普通人來說,這沒有任何意義。他們一輩子需要用到的數學也就是三位數的加減法、二位數的乘除法,以及不超過三維的歐式幾何。

但是在更基礎的以及更高深的領域里,這決定著很多東西。

王崎在一步步將神州的算學引導到自己更熟悉的領域里。

只是,這般暢快卻很快就被越來越明顯的艱深感淹沒了。

體驗過10m寬帶的人肯定不會喜歡2m的小水管。二十一世紀的數學和二十世紀初的數學相比多少有這樣的味道。王崎在神州學習了許多年,差不多也該習慣2小水管了。但是,當他下載大文件的時候,他還是會忍不住懷念10m的網速。

算術系統的相容性,就是這么個「大文件」。站在哥德爾等諸多巨人的肩膀上,王崎可以很快的理解這個問題,但要他自己不用那些大能開發的數學工具,自己一步一個腳印證出來……

「實在是太困難了。」王崎嘆了口氣。

這是一座大山,千仞孤峰,他曾經依靠別人的力量站立在這里,然後很快就向更高的地方移動過去。但現在,他需要自己攀爬一遍,而且還不許用前人留下的全套登山工具。

接下來就是一場孤者的獨舞。

由於看不到進度,他開始有些煩悶。他覺得,有個人來和自己討論一下說不定會好很多。

「難怪學神們總是喜歡湊在一起工作,就連愛因斯坦也會規規矩矩上班」他這么想著,忍不住懷念起陳由嘉來。

雖然這個幼女說話非常討厭,但很聰明,水平足夠,是個可談論的對象。

不過不知為何,陳由嘉好像非常厭惡純碎數學,這種厭惡已經超過應用數學家該有的程度了。王崎清楚這一點,所以特地到陳由嘉看不到的地方做這件事。

工作進行到後面的時候愈發艱難了,枯燥感滋生。王崎放下筆,開始有些後悔了。

哥德爾完備性定理屬於推理過程簡單的工作,不完備定理更是簡單到不可思議。這是屬於那位大數學家智慧的輝煌,可一旦點破,其實不復雜。

而王崎現在做的,卻是一個復雜的工作。

他再次認識到自己的自大。同輩之中,無論是蘇君宇還是陳由嘉,在理論層面都弱他一籌。兩世的積累、地球更先進的數學加上修煉帶來的聰敏大腦造就了他的強大。

但是,和歷史上最頂尖的人比起來,他還差了些。

「浪了一波就被就被現實赤裸裸的打臉……」王崎自嘲的低語到,然後抱著腦袋在卓死傷小憩一會。

他開始覺得自己的工作沒有什么意義了。他很清楚,在被不完備定理擊垮之前,算主極度樂觀的思考方式是不會接受用超限歸納法繞過完備性、相容性的證明過程的。而算君……這玩意在算君眼里根本就不是算學。

他沒有自己說得那樣喜歡數學,他上輩子更傾向於應用數學,他還是個物理學家。