快捷搜索:  汽车  科技

柯西为什么不能证明黎曼猜想?黎曼猜想要被张益唐证明了吗

柯西为什么不能证明黎曼猜想?黎曼猜想要被张益唐证明了吗基于黎曼猜想的无比坚固性,我个人认为,张益唐应该是证明了西格尔零点猜想。也就是说,黎曼猜想将继续屹立不倒!必须等到大神级的数学家出现,才能证明,或者证伪!按照常人的理解,证伪黎曼猜想要容易得多。因为,只需要找到一个反例,就可以推翻黎曼猜想。但是,163年以来,无数顶级数学家一个反例也找不出来。如果张益唐证伪了西格尔零点猜想,那么,黎曼猜想就被证伪了,也就是说黎曼猜想不成立,那么,以它为基础的那几千个猜想和证明也将一起被证伪,这绝对是数学界的重大危机!然而,如果张益唐证明了西格尔零点猜想,那么,黎曼猜想也并没有因此被证明,因为两个猜想之间只是充分而非必要的关系,所以不能反推。由于张益唐非常低调,且其自身说的“证明了西格尔零点猜想”没有任何细节,所以吃瓜群众无法判断到底是否“证明了西格尔零点猜想”。由于互联网的开放和自由的精神,所以,大部分网民其实分不清“证实”与“证伪”,也分不清“充分”与“

最近10天以来,网上一直疯传数学界的一桩大事:华人大数学家张益唐证明了“西格尔零点猜想”,事情并非空穴来风。2022年10月15日,张益唐在北大校友线上演讲会中说到,自己证明了朗道-西格尔零点猜想(Landau-Siegel Zeros Conjecture)。

柯西为什么不能证明黎曼猜想?黎曼猜想要被张益唐证明了吗(1)

大数学家张益唐,如果按照功利和世俗的观点判断他,那么,他的情商为零。

西格尔零点猜想和(广义)黎曼猜想有极为密切的关系。由于黎曼猜想的名气太大,163年以来无法证明,而基于黎曼猜想是正确的前提下已经诞生了另外几千个猜想和证明,所以,只要与黎曼猜想有关的事情都会迅速传播,因为这直接关系到数学根基的坚实性。

柯西为什么不能证明黎曼猜想?黎曼猜想要被张益唐证明了吗(2)

黎曼ζ函数,s要在复数域取值,否则无法理解。复数域更让人不理解!话说解析延拓的神奇功效。

由于张益唐非常低调,且其自身说的“证明了西格尔零点猜想”没有任何细节,所以吃瓜群众无法判断到底是否“证明了西格尔零点猜想”。由于互联网的开放和自由的精神,所以,大部分网民其实分不清“证实”与“证伪”,也分不清“充分”与“必要”。而这些简单的逻辑,却是判定一切推断的基础。它是逻辑学的鼻祖—亚里斯多德在2300以前就确立了的。可以说,亚里士多德第一次带领人类闪耀出理性的光芒!

(有数学恐惧症的同学直接跳过引用段落)

朗道-西格尔零点猜想:狄利克雷L函数没有异常零点。黎曼猜想:黎曼ζ函数的所有非平凡零点的实数部分都等于1/2。

如果张益唐证伪了西格尔零点猜想,那么,黎曼猜想就被证伪了,也就是说黎曼猜想不成立,那么,以它为基础的那几千个猜想和证明也将一起被证伪,这绝对是数学界的重大危机!然而,如果张益唐证明了西格尔零点猜想,那么,黎曼猜想也并没有因此被证明,因为两个猜想之间只是充分而非必要的关系,所以不能反推。

基于黎曼猜想的无比坚固性,我个人认为,张益唐应该是证明了西格尔零点猜想。也就是说,黎曼猜想将继续屹立不倒!必须等到大神级的数学家出现,才能证明,或者证伪!按照常人的理解,证伪黎曼猜想要容易得多。因为,只需要找到一个反例,就可以推翻黎曼猜想。但是,163年以来,无数顶级数学家一个反例也找不出来。

柯西为什么不能证明黎曼猜想?黎曼猜想要被张益唐证明了吗(3)

这颗神奇的大脑造就了一个伟大的数学家,但他却在贫困中死于病痛。

找黎曼猜想的反例行动,就像数学界的奥林匹克竞赛。1932年,德国数学家西格尔(Siegel),从黎曼的手稿里找到了零点计算公式,这个公式被称为黎曼-西格尔公式。凭借黎曼-西格尔公式,人们可以很轻松地推进零点的计算。在计算机的神助攻下,法国团队利用改进的算法,将黎曼ζ函数的零点计算出了前10万亿个,仍然没有发现反例。10万亿个够多了吧?然而,黎曼ζ函数的零点有无穷多个,10万亿与无穷大相比,等同于零。

黎曼、朗道、西格尔等很多大数学家,为啥要搞这些猜想啊?这是因为,这些猜想都是关于素数分布规律的,而素数是一切数的根基,或者称为数之元。任何一个数都可以分解为素数的乘积。所以,素数是数的最小单元。只要搞清楚了素数,一切数的事情就搞清楚了。最关键的问题就是:素数的分布规律究竟是啥?能不能用一个公式来表达?

不要以为研究素数没有用,实际上我们经常在用。如果没有数学,身边的很多信息化产品都将不存在。因为,它们的设计、制造和使用,都离不开数学。最常见的例子是,手机指纹解锁,涉及到信息编码、加密传输、解码的过程,而目前最常用的加密解密算法是RSA,这个算法的核心就是用两个很大素数相乘之后得到的那个数作为公钥。现在,这个大数一般用1024位的数。要解破这个密钥,就得对1024位的大数进行质因数分解。对于这个计算任务,现在的任何计算机花几百万年也算不出来。

柯西为什么不能证明黎曼猜想?黎曼猜想要被张益唐证明了吗(4)

1977年诞生于美国麻省理工学院非对称密钥算法的RSA,几乎一切安全性较高的算法用的都是它。

张益唐即将在11月份发布的论文,要经过同行的评定之后才能最终确定他到底是否证明了西格尔零点猜想,这就是科学共同体的基本规则。2018年,89岁的英国数学家阿迪亚就声称自己证明了黎曼猜想,但在论文公布后,人们发现他并没有证明黎曼猜想。我们必须注意:经得起同行评议是一个伟大的规则!它体现了自由和公平的核心价值观。如果因为位高权重、人多脉广、极权垄断而不接受质疑,那么,公平和正义就无法保证,文明和理性就将消失。

柯西为什么不能证明黎曼猜想?黎曼猜想要被张益唐证明了吗(5)

公平和正义,开放和自由,人性和理性,是人类的最高价值观。

黎曼猜想、西格尔猜想、庞加莱猜想等等猜想,都给我们很多启示,让我们再次警醒,一个功利的民族将只有技术没有科学,只有玄学没有数学。我们应该尊重科学,我们应该探索数学。学子们上大学选择专业时,应该放弃“好找工作”的唯一标准。

一个民族,一定要有人愿意做“没有用”的事,比如说数学。因为,这些“没用”的事,实际上有“大用”。如果都去做“有用”的事,必将因为功利和势利遭到文明世界的抛弃。其实,能够做成“有用”的事的人,尤其是成大事的人,都一直在做“没有用”的事。

涛哥,2022年10月26日

(注:图片来自网络,如有版权保护,请联系作者,将及时删除。)

猜您喜欢: