第204章 带着希望离去（1 / 3）

《程序员修真之路》转载请注明来源：369小说网(369book.cc)

204.

其实，本来程理刚刚差点萌生了放弃的念头。

要知道，程理是一个从来不会轻言放弃的人，更是完全不知道绝望为何物的乐天派。但即使是他这样的人，都会感到绝望，都会差点萌生放弃的念头。

可以想象，黎曼猜想这个问题有多么困难。

黎曼猜想真的太难了，难到让人完全摸不着方向，没有任何解决的思绪。

像霍奇猜想之类的着名猜想，虽然难，但还是已经有一些阶段性的证明成果，而且也有人提出了一些攻克的思路。

或者像哥德巴赫猜想这种，还可以先通过证明几个弱猜想，来一步步逼近最终答案，比如哥德巴赫猜想，最早在1920年只证明出了“9+9”，后面一步步往后逼近到“6+6”……“4+4”……“1+3”……才到最后陈景润证明出的“1+2”，就已经跟最终答案只有咫尺之遥。

像这种用比原猜想要弱一点的弱猜想来一步步逼近原猜想，也是一个数学上很常用的解题思路。

此外，数学家还会尝试提出能推导出原猜想的强猜想，来证明强猜想是否成立，再去进一步推导出原猜想

然而不管强猜想，还是弱猜想，对于黎曼猜想来说，都是完全行不通。

对黎曼猜想而言，目前提出的可以推导出黎曼猜想的所有强猜想，通通都不成立，要么就是找到了反例，要么就是被证伪。

而那些黎曼猜想的弱猜想，很多都已被独立证明，而且证明过程也不能推广到黎曼猜想的情形。

这使得黎曼猜想都已经提出150多年了，无数优秀的数学家和数学爱好者都尝试解决黎曼猜想，他们绞尽脑汁，但都没有真正证明出黎曼猜想。甚至连一些阶段性成果都没有。

一些原本有阶段性成果的证明方向，最后往往也被证明是死胡同，此路不通。

再加上黎曼猜想牵涉面太广，地位太重要，所以有太多人想去把黎曼猜想证明出来，甚至有不少数学家和数学爱好者，为了证明黎曼猜想耗费了自己毕生的精力，却也只能默默无闻的，蹉跎了岁月。

所以，黎曼猜想即使不是数学史上最难的猜想，恐怕也是最让人绝望的猜想。

因此，程理完全没有想象过，自己能够独立解决黎曼猜想。

在他习惯性的思维里，这简直是天方夜谭的事情。

这么说吧，在地球上如果有人能够严格证明出黎曼猜想，不管证明成立，还是证明否定。

那么他都能成为青史留名的人，可以把所有数学相关奖项全部拿了个遍，实现大满贯。

他的名字将和地球最伟大的数学家、比如高斯、黎曼、欧拉等人放在一起被人们歌颂，他的名字将和人类思想中最伟大的成就之一永远联系在一起。

这是无上的荣誉，但也是无上的困难。

程理潜意识里，还不认为自己的数学水平，已经可以媲美超一流数学家了。

他自己还没有那种，我的数学水平早已经是最强那批人的这种觉悟。

然而事实上，程理的数学水平，在经过算学碑这2999层的洗礼，在经过那神秘资讯的滋润后，那的数学水平，早已经在以一个他自己都难以想象的速度在突飞猛进着。

所以，他在之前2991层才能通过严格证明的方法，独立证明出四色定理。

虽然程理在证明出四色定理后，才陡然间发觉自己数学水平已经这么高了。

本章未完，请点击下一页继续阅读！