开云正式成为切尔西官方合作伙伴
9个月前 (07-06)
作为人们耳熟能详的一个猜想，哥德巴赫猜想表述是那样的简单和谐，“一个偶数等于两个素数的和”。 同题参见用计算机验证了相当大范围的数据，无一例外，全部满足猜想。而且从理论证明方面，人们采用步步逼近的方式来解决猜想，发现哪怕哥猜的论述再弱化一些，这些弱化了的猜想仍然都是成立的，从时间上来看，终极的1+1目标的解决不过就是时间问题。
我们也愿意相信哥猜是正确的，但是数学上来不及半点含糊不清的论述，尤其是对于数学证明来说，没有严格的理论证明你永远无法说明这个命题是正确的。 对照阅读所以有人在黎曼猜想的解决中喊出了“10万亿个证据。也抵不过一个基本的证明”。哥猜其实也面临这样的窘境。
举一个数学史上的例子。 相关阅读人们在验证了非常大范围的数字之后，以为这个结论就是正确的，结果到最后却在非常大的数字之后出现了反例，最后结论全部被推翻。
高斯提出了素数分布公式，认为在x范围以内的素数个数大约是x/lnx个，这个式子经过后面计算机的验证这是对的。这个值与真实的个数函数π(x)基本上是一致的。
人们在计算了相当大范围的数据之后，认为x/lnx始终比π(x)小。此外
然而，利特伍德在1914年证明了x/lnx一定会在某个点开始比π(x)大，他还进一步证明了这种大小交错的关系实际上会重复无数次。后来人们发现，这个第一个反例的x值是空前巨大的，人们现有计算机还不足以去验证这个数字。但是。却从理论上无可辩驳地说明这个反例的x值一定存在！
所以，计算机可以验证我们的猜想，但是却不能从根本去解决问题。我们归纳得到的很多看起来司空见惯的事实到最后也不一定就是真相，当然了，哥德巴赫猜想也是，只有当我们在未来的某一天用无可辩驳的证明去解决了。否则猜想永远都是猜想。
你可能想看：
分享给朋友：