第1章 學霸系統(tǒng)？（第1頁）

學霸系統(tǒng)？

【鄭重聲明，本書無女主，一切出現(xiàn)的女性角色，都是配角，也沒有曖昧這一說。

學霸系統(tǒng)？

“就是！”莊南憤恨的道：“他們這學習態(tài)度，我詛咒他們論文寫不出來。”

“加我一個?！比~非道。

兩個單身狗……

莊南轉身打開電腦：“還是開始準備論文吧，想想寫什么選題，還要報給導師呢！”

論文選題之前報給導師，導師會指導他們怎么寫。

葉非打開arxiv：“我也看看?！?/p>

打開arxiv，按照分類搜索數(shù)學，基礎數(shù)學。

arxiv是全球開放的網站，存放了世界各地的預印本論文，涵蓋計算機、數(shù)學和物理等多個領域。

許多學者，為了防止論文被剽竊，在將論文發(fā)給學術期刊之前，都會把論文掛在這個網站上。

在掛上去之后，任何人都可以看，在這期間，發(fā)表論文的學者可隨意對論文修改和刪除。

所以，arxiv又被稱為占坑神器。

“弱集合論、集合論代數(shù)的新運算、一種弱謂詞邏輯上的集合論……”

arxiv上每天都有無數(shù)論文發(fā)表，很多人的論文可能掛一段時間就刪掉了。

主要原因是發(fā)現(xiàn)論文錯誤，或者研究中斷，或者沒通過學術期刊審核。

葉非現(xiàn)在看的是關于集合論的論文，他導師研究的就是集合論，他手下的研究論自然也研究集合論。

夏國研究集合論的學者很多，但研究出名堂的學者非常少，全國不超過二十人，而他導師是其中一位。

集合論屬于數(shù)理邏輯學，最著名的就是希爾伯特第一個問題。

康托猜測在可列集基數(shù)和實數(shù)基數(shù)之間沒有別的基數(shù)，這就是著名的連續(xù)統(tǒng)假設。

1938年，哥德爾證明了連續(xù)統(tǒng)假設和世界公認的策梅洛--弗倫克爾集合論公理系統(tǒng)的無矛盾性，并于1940年發(fā)表。