第三百七十六章 反击从现在开始(章说已经恢复了)(1/2)

作者:新手钓鱼人

走进不科学第三百七十六章 反击从现在开始(章说已经恢复了)

注:章说已经恢复,各位可以正常留言了

次日。

科大生命医学大楼。

院长办公室。

“小徐,你说啥?”

看着面前被口罩包得严严实实的徐云,田良伟罕见的有些失态:

“你说你把梅森素数的无穷性证明出来了?”

虽然田良伟是个实打实的生物从业者,但这不代表他对于数学领域一无所知。

至少对于现存的几大数学难题,他还是叫得上名字的。

比如哥德巴赫猜想。

比如黎曼猜想。

比如孪生素数和费马素数。

又比如

梅森素数的无穷性。

诚然。

和千禧年的七大难题相比,梅森素数远远算不上t1级别。

但这并不代表梅森素数就是个烂大街的课题。

如果田良伟没记错的话。

他有几位数学学部的院士好友比如陈恕行院士、张平文院士等人就在做这方面的研究。

另外国内每年也会批下百万级的经费或者说超算核时,用来寻找最新的梅森素数。

想到这里。

田良伟不由拿起徐云递来的手稿,不过看了几秒上头的数学符号后便勐地拍回到了桌上:

“p,眼瞎了,老子没事找事看数学论文干啥?”

随后他拿起桌上的水杯抿了口水,沉吟片刻,拿起电话拨通了一个号码。

很快。

电话对头传来了数学学院院长、科大现任常务副校长张睿的声音:

“喂,田院长?”

“是我,老张,有空过来一趟不?”

“额,田院长,我在外头钓鱼呢,要不咱们明天再说?”

“明天啊也行吧,我听小徐说他证明了梅森素数的无穷性,就寻思着要不让你回来一趟看看”

“???”

几秒钟后。

电话对头传来了一些“你这鱼还要不要啊”、“我便宜点卖给你”之类的杂音。

不过很快,这些杂音便被张睿的高分贝给盖了过去:

“你说啥??”

一个小时后。

张睿风风火火的闯入了田良伟的办公室,丝毫看不出此前斯文的模样:

“田院长,验证过程呢?”

田良伟指了指桌上一份厚厚的文稿:

“这儿呢。”

话音刚落。

张睿便一个箭步窜到了办公桌边,看也不看徐云,拿着笔和纸开始对起了文件。

“先证明不存在奇完全数”

“σ(n)≠2{p(a1+1/1)-1}/{p1-1}·”

“唔,这一步怎么跳过来的?哦,考虑乘法群了”

“p={p1,p2,},排为升序,假设∑p∈p1收敛,则an为一些互异的小素数的乘积妙啊”

张睿就这样旁若无人的在办公室内验算了起来,徐云和田良伟倒也很识趣的没有打断他。

对于一个数学老来说,打断推演基本上等同于帮钓鱼老下捞网的时候失了手,很容易得罪人。

就这样。

四十多分钟一晃而过。

终于。

张睿在一张全新的a4纸上停下了笔尖。

只见他沉默了足足有小半分钟,才写下了一句话:

“所以,梅森素数的无穷性可证。”

随后他放下手中的笔,看了眼面露期待的田良伟,缓缓点了点头:

“田院长,从我这次的演算来看,小徐推导出的结果应该是没多大问题的。”

“不过这只是一次简单草算,类似摸个梗概,只能确定关键原理不存在漏洞,不能代表最终结论。”

“像梅森素数这种级别的难题真正的核验计算量很大,同时一旦宣布被破译,必然会有无数业内业外的从业者和爱好者进行演算。”

“一般来说,想要真正终定小徐的验证无误,最少都需要半年以上。”

田良伟轻轻点了点头,表示自己明白。

正如张睿所言。

梅森素数作为数学界极为重要的猜想之一,每年几乎都有许多人宣称对它完成了证明。

因此这类问题想要通过最终裁定,无论是流程还是时间都相当复杂。

比如说证明了费马定理的安德鲁·怀尔斯。

安德鲁·怀尔斯在1993年6月宣布证明了费马定理,不过在同年12月他就承认了自己步骤上存在问题,直到1994年10月25日才公布了正确的到底该要怎么发布才合适。”

“怎么发布么”

张睿拿起桌上的水杯抿了口水,沉吟片刻,说道:

“田院长,这事儿说起来其实还挺复杂的,大概要分成几个阶段进行。”

“首先要做的,就是把这些文稿拿到我们数院,进行一次完整的复验。”

“等到内部验证没有问题了,才能进行下一步。”

本章未完,点击下一页继续阅读。

关闭