笔下文学

第1章 学霸系统（第3页）

“我刚刚看到他们了。”庄南一脸羡慕忌妒恨的表情：“这两牲口正陪女朋友逛街呢！”

叶非撇了撇嘴：“他们这学习态度不专心啊，上学怎么能谈恋爱呢！”

“就是！”庄南愤恨的道：“他们这学习态度，我诅咒他们论文写不出来。”

“加我一个。”叶非道。

两个单身狗……

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“要不用系统试试？”

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

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

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

进度：0%

奖励：5积分】

几分钟后！