從大學學霸到首席院士第1章 學霸系統？_頁2

• 上一頁

• 返回目錄

• 加入書籤

• 下一章

    「弱集合論、集合論代數的新運算、一種弱謂詞邏輯上的集合論……」

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

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

    葉非現在看的是關於集合論的論文，他導師研究的就是集合論，他手下的研究生自然也研究集合論。

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

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

    康托猜測在可列集基數和實數基數之間沒有別的基數，這就是著名的連續統假設。

    1938年，哥德爾證明了連續統假設和世界公認的策梅洛--弗倫克爾集合論公理系統的無矛盾性，並於1940年發表。

    1963年北麗國數學家保羅·柯恩以力迫法證明連續統假設不能由策梅洛-弗蘭克爾集合論(無論是否含選擇公理)推導。

    至今已有84年，還沒人能完全解決這個問題。

    葉非看了四五篇論文，感覺有些疲憊，沒想到任何寫論文的靈感。

    「要不用系統試試？」

    說完，他在系統中創建一個任務。

    【任務：發表一篇cscda區數學論文

    詳情：論文要求是集合論類

    進度：0%

    獎勵：5積分】

    幾分鐘後！

    「集合論的一些新公理？」

    「這解法不行啊！」

    「你這解法無法解決較弱分出的公理啊！」

    「必須引入替代公理，才能解決這個問題啊！」

    「還有，你這公理二不含有謂詞變元啊！」

    「……」

    葉非腦海好似醍醐灌頂般，所有知識好似燃燒一般，思路紛沓而來。

    「艹……」他突然目瞪口呆的叫一聲。

    「怎麼了？」莊南疑惑的看向葉非。

    「沒事！」葉非搖頭，心中驚訝：「我剛剛那是？」

    這時他感到腦海中出現許多數學想法，好似打開奇經八脈，過去很多不會的地方，此時都會了。

    並不是說他多獲得多少知識，而是本來就懂的知識，過去不會應用，更不會將知識與知識間聯合應用。

    就好似他左手握着木材，右手握着點燃的火柴。

    過去他只知道它們一個是木材，一個是火柴。

    但怎麼用，他不知道，更不知道，如果兩者接觸到一起，能點燃木柴。

    現在，他全部都知道了。

    接着，他看向系統。

    【任務：發表一篇cscda區數學論文(2%)

    詳情：論文要求是集合論類的

    獎勵：5積分】

    葉非心中震驚：「這系統是真牛比。」

    「要是如此的話，我還真有可能寫出一篇cscda區的論文。」

    想到這裏，葉非心中狠狠的倒吸一口涼氣。

    他看向莊南，開玩笑的道：「莊南，cscda區論文，給你一個二作，伱要嗎？」

    他現在不擔心cscda區論文了，以他現在的能力，應該，也許，真的可以寫出一篇cscda區論文。

    論文有一作、二作、三作、四作、五作和通訊作者，一般通訊作者是指導寫論文，論文的版權屬於通訊作者，一作是寫論文，其餘二三四五作，都是掛名的。

    相當於，通訊作者是老闆，一作是打工的，其餘作者是蹭功勞的。

    所以論文中，通訊作者最重要，其次是一作，二三四五作，都不是很重要。

    當然，也要看論文質量，如果是數學八大猜想的論文，即使是掛名，那也是很高的榮譽，無數人會認識你。

    莊南笑道：「還是你自己享受吧，我可無福享受cscda區論文。」

    ps：沙丘是長沙，中湖大學是湖南大學。