哥德尔系统提示您:看后求收藏(爱米文学网aimiwx.com),接着再看更方便。

离开苏黎世,王一男犹豫了很久,他没有直接回国,而是回到了拔黎南部,来到格罗腾迪克一手创立的IHES研究所。

虽然格罗腾迪克因为反战和对人类社会的失望,远离了他深爱的数学,但是对真理的执着还有天赋的洞察力,让他在如此高龄还能做出伟大的发现。

王一男觉得,自己很有可能是这个世界上最后与格罗腾迪克这一个伟大灵魂交流的人,那么也有义务,将他的发现告诉整个蓝星,相信人类的文明,还没有脆弱到被一篇论文毁掉的程度。

在IHES研究所,王一男跟法兰西的同行借了一间办公室,就将自己关了起来,除了偶尔和李文静、邱先生和陶教授还有怀尔斯教授开个视频研讨会,通报一下自己的进展,还有请教一下他们以外,王一男与世隔绝了整整两个星期。

直到最后,他把格罗腾迪克理论的所有逻辑链条全部补充完毕,除了一两个特别耗时的穷尽证明,这一两个穷尽证明,用陶教授的话来说,“总要留点活给别人干吧”,

“蓝星上一大票数学家可以就这两个不完整的证明,发一堆论文”,

“当然,结果一定是不言自明的”。

这次王一男不需要通过陶教授递出自己的稿件了,新科阿贝尔奖得主的重磅论文,所有的期刊一定会抢着刊登的。

当然,王一男递出的这篇论文,第一作者是消失在数学界几十年的那个名字,Grothendieck。

论文的题目是,《有限步骤形式化系统的不完备证明》

当数学年刊接受了这篇论文,并以预印本的形式,发布在自己官方网站上的时候,一场真正的风暴,来临了。

王一男此时正在回国的飞机上,原计划是来一场欧罗巴的散心之旅,结果王一男继续发挥自己到处搞事的本领,一场简简单单的讲学,变成了一篇震惊蓝星的论文。

这篇论文的影响,很快从学术领域扩展到公众领域,因为使用的数学工具并不复杂,代数几何和公理逻辑体系都是发展了近百年的领域,只要潜心去读,一名相关领域的硕士研究生就能理解论文的内容。

网游竞技推荐阅读 More+
万人嫌真少爷重生了[星际]

万人嫌真少爷重生了[星际]

宇宙第一红
预收文《以下犯上》:为了不翻车我只好装女人了——————————————————————时瑾出身于义务孤儿院,却是帝国军校最惹人眼的治愈系医疗兵。像是一支带刺的玫瑰,野蛮生长,张扬恣意。直到一次意外体检,时瑾才知道自己是时家的真少爷
网游 连载 0万字
写不好就去死

写不好就去死

哟里喷
我得了一个怪病,还能活在这个世界上的时间已经不多了。医生说如果我想要活命的话,必须要完成一件事:那就是写出一篇所有人都解读不出来的悬疑小说!所以我开始创作,并用我所有的积蓄进行悬赏,直到我能写出任何人都破解不了的旷世杰作……为了生存,我不单单要跟死神战斗,我还要跟所有的读者战斗!
网游 连载 0万字
诡秘:开局追求奥黛丽

诡秘:开局追求奥黛丽

苏老清
【诡秘之主同人文,自创途径,奥黛丽老婆】二十二张塔罗牌,分别对应着二十二条神之途径。 但当一张空白塔罗牌的出现,也就代表着传说中的 替代者出现了。祂,掌握着所有的力量。祂,是世人无法感知的空白。 不存在于世界的空白;诡秘世界唯一的主宰;所有力量的共主;长生石碑的主人;伟大的安东尼.斯洛!
网游 连载 0万字