第244章 ,辞职(求月票)(2 / 8)

的假设是对的,只不过他们还在继续利用计算机进行检验底下的一些零点。

一九七五年的时候,美国麻省理工学院的莱文森在他患癌症去世前证明了n0≥ 0.3474 n;一九八零年中国数学家楼世拓、姚琦对莱文森的工作有一点改进,他们证明了no(t)>0.35n(t)。

除此之外就是一九八二年的时候,北极熊帝国数学家马帝叶雪维奇在他们《苏联杂志》上面发表论文:他利用电脑检验一个与黎曼猜想有关的数学问题,可以证明该问题是正确的,从而反过来可以支持黎曼的猜想很有可能是正确的。

以上这些推论,王多鱼早就知道了,他都不屑去动这样的小动作。

因为没用。

上辈子的时候,他就借用了北大的量子超算进行过论证推导,证明到了no(t)>0.87n(t),但是有什么鬼用呢

还是没有用啊。

看上去,好像已经只剩下临门一脚了,实际上还有十万八千里之遥。

自欺欺人倒也还行,可如果是真的相信了,那就是贻笑大方了。

既然午饭过后要回办公室聊工作,所以王多鱼和怀尔斯两人都没有继续喝酒了。

即这瓶酒确实非常美味,令人垂涎欲滴。

但是王多鱼两人都是非常自律的人,不可能因为一瓶酒,然后放弃了数学。

吃过午饭之后,两人二话不说,直接就起身去了办公室。

在办公室坐下来之后,王多鱼就跟对方展开了一系列的讨论。

“在黎曼猜想上,所有‘零点’是一个集合,零点是这个对象上的函数,按照通常数学中的定义,一个n元函数就是从论域a的个体的所有n元组的集合至a的一个映射.”

“当我们用‘所有个体’存在个体,量词加在论域的个体上,称为一阶量词.”

“‘所有函数’、‘存在函数’、‘所有关系’、‘存在关系’是二阶量词,即二阶逻辑,而黎曼所说的‘所有零点’就是‘所有函数’的二阶量词”

王多鱼一边在稿纸上面书写数学符号,一边说道:

“所以黎曼猜想是一个二阶逻辑问题,无法得到完整证明.除非上帝亲临!”

早些年的时候,英国就有一个非常著名的数学家哈代,就是当年华罗庚在剑桥大学学习数论时的指导教授。

此君跟他的好朋友波尔两人都在证明黎曼假设,被媒体戏称:哈代斗上帝!

但是直到哈代去世,他也依然没有证明黎曼假设。

怀尔斯听到这里,眉头紧锁,沉默不语。

他的脑子在疯狂转动,但却没有任何言语。

王多鱼也是无语,怀尔斯的脑子明显不如他,因为他这都已经说完了将近十分钟,结果对方还在思考。

速度太慢了。

没办法的王多鱼,不得不拿出稿纸,在旁边‘开小差’。

以他的脑子和经历,他都没有对黎曼猜想下手,结果怀尔斯却自命不凡,非要对这个猜想界的皇冠动手,这不是找死的嘛。

毕竟他连自己都不看好,更加不看好怀尔斯了。

伴随着时间的推移,王多鱼发现外面天色已经黑了下来,而此时的怀尔斯,却是在低头写着。

很明显,怀尔斯还没有放弃,还在推导论证黎曼假设。

既然他不愿意放弃,那王多鱼索性也懒得浪费口舌。

《哈工大数学期刊》主编就交给其他人来帮忙吧,比如让布尔盖恩。

隔天上午,怀尔斯又跑了过来,但是王多鱼并不在办公室,他只能给苏正淮说这件事。

此时的王多鱼正在亚燃冲压发动机项目实验室这边,今天是该项目另外一个小组已经完成了之前的分组实验,所以王多鱼让他们进行另外的新实验。

新实验是关于一种主动冷却亚燃冲压发动机冷却和燃烧闭环切换装置的研究工作。

这个新装置包括供油系统、煤油管路、切换系统、氢气供给系统、点火器、测量系统和控制系统。

其中供油系统提供用于冷却和燃烧的煤油,煤油管路包括煤油输送总管路、超临界态煤油管路和液态煤油管路。

氢气供给系统与点火器相连,点火器用于点燃煤油,而控制系统用于控制煤油和氢气输送,控制点火器点燃煤油,以及根据测量系统检测到的煤油温度