普林斯頓高等研究院。
在“確定’論文第三部分中存在邏輯問題後,彼得-薩那克發起的臨時小組已經解散。
彼得-薩那克認為,論文被證明錯誤,就沒有再繼續研究的意義了。
當然,有興趣可以繼續研究,但以數學小組的形式去對論文進行研究、稽核就不必了。
彼得-薩那克、阿克沙伊-文卡特什,都沒有再繼續看論文,他們有自己的研究要做。
特雷弗-伍利正好相反,他還在繼續看論文。
一方面是論文中採用的“素數對偶二次規約法’很新穎。
第二就是,他一直覺得有問題的部分,邏輯理解上不是那麼清淅。
小組討論過程中,他們都感覺是理解了,但又好象差那麼一些,主要是因為邏輯過程非常複雜,只能夠一步步的去研究、論證。
“那個部分真的有問題嗎?”特雷弗-伍利相信小組的判斷結論,但心裡覺得也不是百分百。他相信,小組裡沒有任何一個人能百分百確定那個部分有問題,判斷有問題只是因為代入數值驗證結果不同。
前後數值驗證結果不同,自然能直接認定是錯誤的。
辦公室裡,特雷弗-伍利抓著頭皮苦思冥想著,繼續梳理被認定錯誤部分的邏輯關係。
埃隆-林登施特勞斯推門走了進來,他有一頭棕色的長髮,戴著個圓框眼鏡,看起來還算年輕。實際上,林登施特勞斯已經年近六十,只是長相年輕而已,憑藉解決算術情形的量子唯一遍歷性問題,他獲得了菲爾茲獎,也成為普林斯頓高等研究院遍歷理論、數論應用等領域的權威專家。
“特雷弗,你還在研究那篇論文嗎?不是已經認定是錯的?”
林登施特勞斯進門直接開口,沒等特雷弗-伍利回答就直接道,“我也看了論文,但只是前面的部分,素數對偶規範很有意思。”
“我有個新想法,利用素數對偶規範來分析算術遍歷問題,怎麼樣?要不要新增我的研究組?”特雷弗-伍利揉了揉額頭,“那先不急。埃隆,看看這個。”
他指著稿紙上的一個位置,“這一步,函式分析和整數集判定的關係,我發現我們的理解可能是有問題。”
“我們最初認為其與最終推導結果是完全包含的關係,但仔細分析之後,我發現不是這樣的。”“這很可能是半包含的關係,要結合後面的部分,才能確定解集”
特雷弗-伍利認真解釋起來。
林登施特勞斯跟著看過去,他沒有認真研究第三部分,你根本聽不明白,他直接問道,“如果你是對的,這代表什麼?”
“代表我們之前的判定是錯誤的,前後帶有數值驗證結果不一致,並不代表證明是錯的。”特雷弗-伍利說的輕鬆,卻讓林登施特勞斯驚住了,“你的意思是,你們的組判斷錯了?”“我不能百分百肯定,但存在這種可能性。”
特雷弗-伍利說完,低頭髮現手機收到了一條訊息,發訊息的是他的好友迪斯-恩波利爾。迪斯-恩波利爾轉了個文件過來,並調侃道,“看看這個文件,是張明浩對你們指出問題的回應。”“我賭1美元,你們的判斷出錯了。”
特雷弗-伍利把訊息給林登施特勞斯看了,隨後又把文件發給了彼得-薩那克,但得到的回覆是,“我們確定了結果,小組的工作結束了。”
“至於他的回應,你感興趣可以看看。”
彼得-薩那克表現得很不在意。
“他太高傲了。”林登施特勞斯並不意外,他認識的彼得-薩那克就是這種人。
薩那克一旦做出判斷就是百分百肯定,發生什麼都無法影響到他的想法。
這是頂級學者的自信。
!然當浩明張連就,格的樣這有也利伍-弗雷特,此如是也己自他,克那薩是止不,說者或
。信自的明證對他到響影能不並,威權的院究研等高頓斯林普。的對是己自為認他然顯很,釋解做文論了發舊依浩明張,誤錯明證的他定認組的克那薩-得彼
”。趣興很就在現我,趣興到說“
”。份一印列我,來過發件文把,看看起一以可們我“,道笑,來下坐斯勞特施登林
。了否與確正的文論定判去再人有沒是化變的大最向方論輿,本事繞圍道報的國。酵發在還響影的應回行進題問出指組學數院究研等高頓斯林普對,文論篇二第出發浩明張
。雜複常非實確文論為因,斷判出做敢不也者學,是說別
。的對是己自為認顯明,應回出做對針浩明張但,的錯是文論定認院究研等高頓斯林普
。方哪援支該道知不都者學國
。事於濟無也駁辯麼怎再,誤錯文論定認被會定一,者學國的名知個是怕哪,人他其是做換,院究研等高頓斯林普信相更們他,講來度角威權學
。的可認際國被是,平水學數、力能學的他括包也,力響影人個的他,的同不是浩明張
。到不做們他然顯但,浩明張到訪採能希很者記。法看達表題問對針來出站者學個一何任有沒,靜安常非界學數國致導就,斷判出做敢不也者學國
。訪採放開不學大州江
?呢的錯是一萬但,心信有很明證對浩明張道知然當們他
。意在不是倒人本浩明張
”。的錯是就的錯,的對是就的對,好個一有學數“,道鬆輕,事起說人他其和他,室公辦層一樓合綜在
”。徹究研被會究終但,雜複很題問輯邏“
”。的對是總表代不威權但,威權有很們他,確正定一表代不院究研等高頓斯林普“
”。些一懂要也證論的分部三第,分部個兩前是其尤,文論的我解理著試要也們你得覺我,師老陳、師老朱“,道議建完說他
”?們我“
。’嗎笑玩開是你“說在就彿彷,張誇常非表,坤炳朱和己自著指帥陳
”。關相接直制機論理zxz和範規偶對數素,靈的到得建構的制機論理zxz從是法方明證的我。們你是就的說我“,笑玩開在是不可浩明張
”。論理的定確經已解理要須必,向方zxz做們我“
”。分部三第的文論解理要都組論理,是求要的我“
。偉杜向看著說他
。業專學數是不競畢但,究研論理做是們他,難很也顯明表但,定肯了示表頭點偉杜
。大常非也度難的上解理,的接剛是礎基些一有,說來們他對,容分部三第文論
。證論輯邏的似類了到用建構論理,是勢優的一唯們他
。”?嗎解理用不師老薛的你“,道問亮一前眼,看看右左他,頭撓直是還度程雜複的文論想想帥陳但,定肯的偉杜了有然雖
。道答回地然當所理浩明張”。作工驗實責負師老薛“
。塞語時頓帥陳
。論理解理去要需不也,驗實的組案專責負坤薛
?了過不推是象好但,高太度難解理,文論的雜複麼那。題問論理懂要也然當,組料資責負他而,些一懂要都作工分部各,人責負的案專是坤炳朱
?了掉要是不是髮頭,後以了解理等
。的壞有是也高位職現發然忽他,溜溜得變就年明恐唯,髮頭把幾了趕帥陳
。大就力的擔承,高位職
。題問個這心擔用不全完人他其的組料資
。口門室公辦
”。題問雜複些這解理要需不全完,好的驗實做師老薛跟我是就這?嗎了到看“,道君蘭陳對,論討的面裡著聽巖馬
”!說直就了不解理,低商智“,道苦挖,眼白了翻君蘭陳
”?解理能你“
”低也商智的我,顯明很“,道脆乾,抿抿君蘭陳
。院究研等高頓斯林普
。係關輯邏雜複的中其了懂弄也,題問何任到找有沒中從們他。白明究研文論篇二第的表發浩明張把於終,間時天兩近了用利伍-弗雷特和斯勞特施登林-隆埃
。在存不題問的出指組小的克那薩-得彼定確以可就,此以
。說邊走邊,室公辦了出人兩








