學(xué)霸系統(tǒng)?
【鄭重聲明,本書無(wú)女主,一切出現(xiàn)的女性角色,都是配角,也沒有曖昧這一說(shuō)。
學(xué)霸系統(tǒng)?
“就是!”莊南憤恨的道:“他們這學(xué)習(xí)態(tài)度,我詛咒他們論文寫不出來(lái)?!?/p>
“加我一個(gè)?!比~非道。
兩個(gè)單身狗……
莊南轉(zhuǎn)身打開電腦:“還是開始準(zhǔn)備論文吧,想想寫什么選題,還要報(bào)給導(dǎo)師呢!”
論文選題之前報(bào)給導(dǎo)師,導(dǎo)師會(huì)指導(dǎo)他們?cè)趺磳憽?/p>
葉非打開arxiv:“我也看看。”
打開arxiv,按照分類搜索數(shù)學(xué),基礎(chǔ)數(shù)學(xué)。
arxiv是全球開放的網(wǎng)站,存放了世界各地的預(yù)印本論文,涵蓋計(jì)算機(jī)、數(shù)學(xué)和物理等多個(gè)領(lǐng)域。
許多學(xué)者,為了防止論文被剽竊,在將論文發(fā)給學(xué)術(shù)期刊之前,都會(huì)把論文掛在這個(gè)網(wǎng)站上。
在掛上去之后,任何人都可以看,在這期間,發(fā)表論文的學(xué)者可隨意對(duì)論文修改和刪除。
所以,arxiv又被稱為占坑神器。
“弱集合論、集合論代數(shù)的新運(yùn)算、一種弱謂詞邏輯上的集合論……”
arxiv上每天都有無(wú)數(shù)論文發(fā)表,很多人的論文可能掛一段時(shí)間就刪掉了。
主要原因是發(fā)現(xiàn)論文錯(cuò)誤,或者研究中斷,或者沒通過學(xué)術(shù)期刊審核。
葉非現(xiàn)在看的是關(guān)于集合論的論文,他導(dǎo)師研究的就是集合論,他手下的研究論自然也研究集合論。
夏國(guó)研究集合論的學(xué)者很多,但研究出名堂的學(xué)者非常少,全國(guó)不超過二十人,而他導(dǎo)師是其中一位。
集合論屬于數(shù)理邏輯學(xué),最著名的就是希爾伯特第一個(gè)問題。
康托猜測(cè)在可列集基數(shù)和實(shí)數(shù)基數(shù)之間沒有別的基數(shù),這就是著名的連續(xù)統(tǒng)假設(shè)。
1938年,哥德爾證明了連續(xù)統(tǒng)假設(shè)和世界公認(rèn)的策梅洛--弗倫克爾集合論公理系統(tǒng)的無(wú)矛盾性,并于1940年發(fā)表。