第380页

看着台下的听众们,陆舟继续说道。

“今天我大概不会用到什么很深奥的数学符号,也不会讲一些太难懂的东西……当然,没准会出现一两个也请不要见外。毕竟有些东西是可以用通俗的语言描述的,但有些是以我的水平暂时无法做到的。”

他没有霍金的水平,无法用通俗的语言解释复杂的命题。

不过有些常识性的东西,他还是能谈一点的。

确认台下的每一双眼睛都在看着自己,陆舟转身在背后的黑板上,随手写下了两行算式。

【若不使用黎曼猜想,那么π(x)=li(x)+o(xe{-115√lnx})】

【若黎曼猜想成立,那么π(x)=li(x)+o(√xlnx)】

回过头去,陆舟看向台下的听众们笑了笑。

“数学是个很神奇的东西,黎曼猜想也是个伟大的东西。虽然你们可能不知道我写了什么东西,但我可以明确告诉你们,第一行公式是数论的基础,也就是所谓的素数定理。而第二行,是hvon科赫于1901年基于黎曼猜想成立的条件下,得到的一个更精确的素数分布公式,而这条公式虽然不一定会被写在教材上,但已经被用了一个世纪。”

“类似的例子如果让我板书,我能写出十个以上,因为实在是太多了。”

“至于写下这两条公式,只是想科普一些常识性的东西。”

“即,对于一个大概率成立的猜想,数学界普遍的做法是先拿来用。怎么用呢?在论文的开头,先假设黎曼猜想成立,然后再开始巴拉巴拉……”

“至于为什么突然说起这个,主要便是为了回答伊诺克教授的论文。他在论文提出了一个相当‘新颖’且很有意思的观点,在黎曼猜想成立的条件下,围绕ζ函数构建的素数分布体系下,哥德巴赫猜想成立,或者说是真命题?”

说到这里,陆舟停顿了片刻,笑了笑继续说道。

“之所以说他的观点很‘新颖’,因为截止到2016年为止,这一个世纪以来大家不是没考虑过这种情况,甚至事实上哈代和李特伍德便在20年代证明了,在假设广义黎曼猜想成立的条件下弱哥德巴赫猜成立。”

“但注意!我说的是广义黎曼猜想,也就是俗称的grh,和缩写为rh的黎曼猜想,完全是两样东西。”

台下的人面面相觑,显然并不理解其中的意义。