第1章 学霸系统？2（1 / 2）

　庄南转身打开电脑：“还是开始准备论文吧，想想写什么选题，还要报给导师呢！”

　论文选题之前报给导师，导师会指导他们怎么写。

　叶非打开Arxiv：“我也看看。”

　打开Arxiv，按照分类搜索数学，基础数学。

　Arxiv是全球开放的网站，存放了世界各地的预印本论文，涵盖计算机、数学和物理等多个领域。

　许多学者，为了防止论文被剽窃，在将论文发给学术期刊之前，都会把论文挂在这个网站上。

　在挂上去之后，任何人都可以看，在这期间，发表论文的学者可随意对论文修改和删除。

　所以，Arxiv又被称为占坑神器。

　“弱集合论、集合论代数的新运算、一种弱谓词逻辑上的集合论……”

　Arxiv上每天都有无数论文发表，很多人的论文可能挂一段时间就删掉了。

　主要原因是发现论文错误，或者研究中断，或者没通过学术期刊审核。

　叶非现在看的是关于集合论的论文，他导师研究的就是集合论，他手下的研究论自然也研究集合论。

　夏国研究集合论的学者很多，但研究出名堂的学者非常少，全国不超过二十人，而他导师是其中一位。

　集合论属于数理逻辑学，最著名的就是希尔伯特第一个问题。

　康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。

　1938年，哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性，并于1940年发表。

　1963年北丽国数学家保罗·柯恩以力迫法证明连续统假设不能由策梅洛-弗兰克尔集合论(无论是否含选择公理)推导。

　至今已有84年，还没人能完全解决这个问题。

　叶非看了四五篇论文，感觉有些疲惫，没想到任何写论文的灵感。

　“要不用系统试试？”

　说完，他在系统中创建一个任务。

　【任务：发表一篇CSCD数学论文

　详情：论文要求是集合论类的

　进度：0%

　奖励：5积分】

　几分钟后！

　“集合论的一些新公理？”

　“这解法不行啊！”

　“你这解法无法解决较弱分出的公理啊！”

　“必须引入替代公理，才能解决这个问题啊！”

　“还有，你这公理二不含有谓词变元啊！”

　“……”