第243章 委屈兩位
將密碼學的東西在意識空間裡反覆研究吃透後,葉清河先從一階謂詞邏輯完成公理體系的元數定義,確立五條核心公理:無矛盾性、完備性、不可規約性、拓撲不變性、複雜度超越性,從數理邏輯層面杜絕邏輯漏洞。
將這些一條一條的寫在草稿紙上,葉清河看了一會,數學達人的下一步提示讓他繼續提筆。
他摒棄傳統交換代數,引入非交換緊運算元代數,構造出一類全新的超越數域Ω,嚴格證明該數域不屬於任何經典數域分類,且域上的運算不滿足交換律,從代數結構上切斷多項式時間求解的路徑。
外間,周婉兒看到的是葉清河閉目思考,但是實際上在意識空間裡,他身邊的稿紙已經摞起了一疊又一疊。
稿紙上密密麻麻寫滿非交換幾何的運算元推演、自守L函數的歐拉積展開、模形式的權值變換。
沒有任何工程術語,全是純數學的形式化推導。
每一步都對應著邏輯閉環。
十二個小時!
雖然在意識空間裡不用擔心時間的問題,但是葉清河還是在房間裡具現了鐘錶。
他看了一眼時間,看了一眼自己寫出來的東西,揉揉太陽穴,臉上露出了笑容。
他這次比起以前要進步太多了,他隻用了十二小時,就完成了傳統數學家數年都無法觸及的代數基底構造,徹底跳出了P=NP的複雜度譜系。
「有水麼?給我來點水,再給我來點甜的東西。」
葉清河睜開眼,看到周婉兒正坐在一旁看著自己,笑了一下。
「有!有!」周婉兒沒想到自己盯著葉清河的時候,葉清河會突然睜眼,有些慌亂地趕忙起身,從旁邊的桌子上拿起一瓶水,然後從自己帶的包裡找到一包零食打開遞給葉清河。
意識空間雖然會在離開後,對於身體不造成影響,但是大量的腦力勞動還是讓葉清河喜歡在每次結束研究後,吃一點甜的東西,補充一下能量。
這一點,周婉兒不清楚,但她知道最近葉清河很喜歡吃甜的,來的時候,她特意帶了不少。
「我需要幫著解一些比較難的數學問題,可能需要在這裡住兩三天了,不過,你放心,很快的。」
實際上,如果葉清河願意的話,他完全可以立馬拿出這個東西的結果,反正就是不停地進入意識空間,但是他知道有時候過猶不及,還是穩妥一點的好,把時間拉長一點更好。
「沒事,你忙你的,不用管我!」
周婉兒笑笑,葉清河能被調過來委以重任,她隻會支持。
對她來說,在這裡跟在606其實區別不大,可能唯一有區別的就是這裡的網不行,隻能聯這裡的無線,好在她也不是離不開手機的手機黨,網不行對她影響不大。
「幫我拿一下草稿紙,然後幫我找東西壓著一點。」
房間裡有草稿紙,就在葉清河身邊不遠。
周婉兒幫著拿過來,放在他面前的小支闆上,找了個煙灰缸幫忙給壓住。
隻有一隻手能用,不壓著一點,寫字的時候容易把紙帶跑。
別看在意識空間裡寫的飛快,可到了現實當中,葉清河的手速就一下子降下來了。
把剛才推導的過程一步一步詳細的寫在紙上,寫完一頁就讓周婉兒幫著換一頁。
周婉兒把寫好的都一張一張按先後順序排列得整整齊齊的。
好在葉清河隻需要把完整的推導過程寫出來,不用像在意識空間裡那樣,把所有試過的全寫出來,工程量要小很多。
「要不,你說,我寫?」
葉清河的字寫得還是不錯的,雖然隻有食指拇指還有小指能用,但寫出來的字有種書法的感覺。
隻是這三個手指寫起來真的太費勁了,看了一會,見寫了好幾張還要寫,周婉兒開口道。
「主要是有太多數學公式還有推導,你不了解,我念出來你可能不知道怎麼寫。」
葉清河搖搖頭。
「我不知道,但是外面不是有人能懂麼?把他們叫進來讓他們幫你寫,他們應該沒有問題吧?」
這個確實是個問題,但是周婉兒隨後想到了辦法。
銅虎是肯定不行,但是那兩位老先生,他們應該沒有問題。
「也行!」
葉清河想了想,點點頭。
這個工作他完成了,讓別人代他寫也不是不行,畢竟他是殘疾人,不是麼?
再者,用這三個手指頭寫字其實有些太彆扭了。
陳敬山與林硯兩人就一直坐在外面,他們這幾天會一直待在這裡,陪著葉清河把這個純數學公理弄出來。
周婉兒來叫的時候,他們想的是葉清河應該是看到什麼不懂的地方,想要問問他們。
可是等進了屋裡,聽完葉清河的意思,再看到葉清河身邊那已經寫好的幾張推導,兩人臉上的表情全變成了震驚。
知道葉清河在數學方面的天賦是驚人的,能解出P=NP這樣問題的人,天賦不用懷疑。
可是就算心裡有準備,他們也沒有想到葉清河會用這麼短的時間就把他們給的東西吃透,並且能立馬想到如何跳出P=NP的複雜度譜系的思路。
幾張紙他們倆都看了。
沒有一點演算!
落筆就是清晰的思路!
就好像這一切,早就刻在葉清河的腦子裡,隻需要他動筆寫出來就行一樣!
這就是天才與他們這些普通人的差距麼?
在這一刻,他們突然意識到,自己在真正的天才面前可能就是普通人!
「主要是我現在的身體條件不太允許,而婉兒又不太懂數學方面的東西,所以隻能委屈兩位長輩幫我代筆了。」
葉清河說的很客氣,他怕兩人覺得他不尊重長輩。
「不委屈!一點也不委屈!我這個人最喜歡給別人代筆了!」
陳敬山立馬伸手就要拿筆,幫葉清河寫。
隻是他手還沒有拿到筆,就被一旁的林硯給一把搶走了。
「陳總顧問歲數畢竟大一點,這種體力活還是讓我來吧,我年輕,我手快,而且我正好就是學的數學,任何公式...」
「林硯,你不行,你字太醜了,這個是要留存的,還是我來吧!」
「陳總,這個是我們數學家之間的...」

