第23章 證明出極小塔問題

第23章 證明出極小塔問題

回到學校後,葉非去導師辦公室。

“回來了!”看到葉非進來,魯一山笑道。

“導師!”葉非坐下後道:“我已經将p=t證明出來了,這事您知道嗎?”

魯一山表情一滞,我知道嗎?我當然知道。

因爲你,我沒了奮鬥目标。

魯一山點頭道:“我知道。”

“我這幾天到複旦大學數學學院講座,後來進入他們的小圖書館,看到很多不對外公布的文獻,其中就有集合論知識,這讓我找到極小塔問題剩下的證明思路。”

魯一山驚訝的看着葉非,道:“你就這幾天就找到ZFC下p=t的思路了?”

“是啊!”葉非點頭,笑道:“但我還沒驗證,如果驗證成功的話,咱們的極小塔問題就證明出來了。”

魯一山心中歎息,從研究開始,不到兩月,你就解決了極小塔問題。

那我這麽多年的研究算什麽?

魯一山頗感來自天才的濃濃惡意。

魯一山道:“伱準備什麽時候寫論文?”

“馬上就寫,我來就是和導師說一聲的。”

魯一山心中吐槽,是來打擊我的嗎!

魯一山點了點頭。

離開導師辦公室後,葉非就開始驗算他所思考的在ZFC下p=t。

三天後,圖書館!

葉非驚喜的道:“我的想法果然是對的。”

“下面開始寫論文吧!”

此時,葉非不知道的是,全球很多人聽了他對p=t的證明講解後,都知道p=t的證明思路。

而極小塔問題中,最難的就是p=t。

ZFC下的p=t反而并不是太難。

畢竟,p=t都證明出來了,剩下的就是将p=t轉換一下,套到ZFC下。

面對世界難題的誘惑,很多人都想第一個證明出極小塔問題。

也許,這是他們這輩子,唯一一次能證明出世界難題的機會。

必須要趕在葉非之前證明出極小塔問題,否則他們就沒機會了。

他們這麽做,有點厚臉皮的意思。

畢竟最難的都被葉非解決了,他們隻要再證明出簡單的部分,就能證明出極小塔問題。

然後完成論文,發表到Arxiv,他們就能成爲證明極小塔問題的作者。

當然,事後肯定有人指責他們厚臉皮。

但面對世界難題誘惑和數學界出名的誘惑,厚臉皮就厚臉皮吧!

京都大學,圖書館!

羅洛是數學系在讀碩士研究生,今天周末,他上午九點左右才來圖書館。

但圖書館人滿爲患,過許久才找到一個位置坐下。

坐下後他就打開Arxiv查看,這是數學專業學生經常逛的網站。

突然,他瞪大眼睛驚呼道:“葉非證明出極小塔問題了。”

聲音很大,很多人都聽到。

許多人被打擾學習,煩躁的看他一眼。

但羅洛好似沒察覺,他激動的點開葉非新發表的論文。

“這也太快了吧,才半個月啊!”

“不愧是葉非,這麽短時間就證明出ZFC下的p=t。”

圖書館中很多人都聽到羅洛的話,一些知道葉非的人都上網查看。

很快,他們也發現葉非新發表的論文。

英格蘭,劍橋大學!

“葉非竟然已經證明出極小塔問題了。”庫瑪斯看着葉非新發表的論文,再看看這幾日自己的努力,心中很痛。

自從看到葉非講解p=t後,他就在努力的證明ZFC下p=t。

想在葉非之前證明出來,但現在他的證明還沒到一半,葉非已經證明出來了。

“他怎麽會這麽快?”

北麗國,普林斯頓!

“這麽快就證明出來了。”佩裏絕望的道:“沒機會了,葉非的證明肯定是對的,畢竟他都已經證明出極小塔問題中最難的部分,容易的部分對他來說也應該沒難度。”

“哎……”佩裏看着桌子上自己連日來的努力,他一把将桌子上所有的稿紙推到地上,散落滿地。

東瀛國,東京大學!

“巴嘎……”吉川太郎憤怒的看着電腦屏幕:“爲什麽,我已經這麽拼命了,還是沒趕上,你爲什麽這麽快?”

“我真是太慢了,這麽好的機會就這樣沒了。”他自責的握緊拳頭。

當葉非證明極小塔問題的論文發表到Arxiv上。

很多正在研究ZFC下p=t問題的人,都滿臉絕望。

沒人會認爲葉非的證明是錯的。

畢竟,最難的部分都被葉非解決,容易的部分對葉非來說也應該沒難度。

這一日,全球無數人都被葉非的才華所打敗。

當然,也有很多人被葉非的才華所震撼,驚喜,特别是夏國人。

畢竟,葉非是夏國人,葉非的成就讓他們與有榮焉。

此時,Stack Exchange上集合論闆塊!

很多帖子都是關于葉非證明出極小塔問題。

“算算時間,葉非一共用了兩個月證明出極小塔問題。”

“不能這樣算,這兩個月他并不是全部做研究,聽說在這期間,他還去夏國魔都複旦大學進行演講,并在複旦大學逗留了三天。”

“不管怎麽說,葉非的科研速度也太快了,我從未見過這麽快的男人。”

“什麽這麽快的男人,女人也沒這麽快啊!”

“你們說話能别搞擦邊球嗎,請别開車,我們現在說的是科研。”

“他的速度比研究奇異基數時快多了,他研究奇異基數應該花了四個月時間,現在研究極小塔問題,隻花了奇異基數一半的時間。”

“我從未見過這樣的人,奇異基數和極小塔是同樣難度的問題,他研究反而越來越快了。”

“……”

傍晚,葉非在操場散步,同時思考接下來的研究。

他一共要寫兩篇論文,一篇是p=t,另一片是ZFC下p=t。

他隻發表了一篇,是ZFC下p=t。

另一篇,他會在半個月内寫好。

之所以先發表ZFC下p=t,是因爲他之前将p=t的證明過程挂在Arxiv,他怕有人先他一步證明出極小塔問題。

所以才先發表ZFC下p=t。

當然,現在寫的ZFC下p=t,隻是初稿挂在Arxiv上,還要花幾天時間,對論文多次修改,之後再發給期刊。

“既然選擇集合論,那麽我下面的研究還是應該繼續集合論。”

“拓撲奧特猜想?超緊基數典型内模型問題?高層有限波雷爾等價關系中的兩個問題?連續統勢确定問題?圖靈等價問題?還是帶指數函數的實數理論的可判定性問題?”

這幾個問題,是集合論中除了連續統假設外,剩下的所有問題。

葉非之後的研究,還是從這幾個問題出發。

至于連續統假設問題,是最難的終極問題。

最起碼這幾個問題沒解決,他不會對連續統假設下手。

這時,葉非的手機響起!

“喂,導師!”

“葉非,你來我辦公室,告訴你一個好消息。”

“好的!”

(本章完)

追書top10

熊學派的阿斯塔特 |

道詭異仙 |

靈境行者 |

苟在妖武亂世修仙 |

深海餘燼 |

亂世書 |

明克街13号 |

詭秘之主 |

誰讓他修仙的! |

宇宙職業選手

網友top10

苟在妖武亂世修仙 |

苟在高武疊被動 |

全民機車化:無敵從百萬增幅開始 |

我得給這世界上堂課 |

說好制作爛遊戲,泰坦隕落什麽鬼 |

亂世書 |

英靈召喚:隻有我知道的曆史 |

大明國師 |

參加戀綜,這個小鮮肉過分接地氣 |

這爛慫截教待不下去了

搜索top10

宇宙職業選手 |

苟在妖武亂世修仙 |

靈境行者 |

棄妃竟是王炸:偏執王爺傻眼倒追 |

光明壁壘 |

亂世書 |

明克街13号 |

這遊戲也太真實了 |

道詭異仙 |

大明國師

收藏top10

死靈法師隻想種樹 |

乘龍仙婿 |

參加戀綜,這個小鮮肉過分接地氣 |

當不成儒聖我就掀起變革 |

牧者密續 |

我得給這世界上堂課 |

從皇馬踢後腰開始 |

這個文明很強,就是科技樹有點歪 |

熊學派的阿斯塔特 |

重生的我沒有格局

完本top10

深空彼岸 |

終宋 |

我用閑書成聖人 |

術師手冊 |

天啓預報 |

重生大時代之1993 |

不科學禦獸 |

陳醫生,别慫! |

修仙就是這樣子的 |

美漫世界黎明軌迹