黎曼猜想被证明了吗 黎曼猜想要被张益唐证明了吗
黎曼猜想被证明了吗
领啦网网为大家说一说黎曼猜想要被张益唐证明了吗和黎曼猜想被证明了吗的知识内容,具体介绍如下:
最近10天以来,网上一直疯传数学界的一桩大事:华人大数学家张益唐证明了“西格尔零点猜想”,事情并非空穴来风。
2022年10月15日,张益唐在北大校友线上演讲会中说到,自己证明了朗道-西格尔零点猜想(Landau-Siegel Zeros Conjecture)。
西格尔零点猜想和(广义)黎曼猜想有极为密切的关系。
由于黎曼猜想的名气太大,163年以来无法证明,而基于黎曼猜想是正确的前提下已经诞生了另外几千个猜想和证明。
所以,只要与黎曼猜想有关的事情都会迅速传播,因为这直接关系到数学根基的坚实性。
由于张益唐非常低调,且其自身说的“证明了西格尔零点猜想”没有任何细节,所以吃瓜群众无法判断到底是否“证明了西格尔零点猜想”。
由于互联网的开放和自由的精神,所以,大部分网民其实分不清“证实”与“证伪”,也分不清“充分”与“必要”。而这些简单的逻辑,却是判定一切推断的基础。
它是逻辑学的鼻祖—亚里斯多德在2300以前就确立了的。可以说,亚里士多德第一次带领人类闪耀出理性的光芒!
朗道-西格尔零点猜想:狄利克雷L函数没有异常零点。黎曼猜想:黎曼ζ函数的所有非平凡零点的实数部分都等于1/2。
如果张益唐证伪了西格尔零点猜想,那么,黎曼猜想就被证伪了。
也就是说黎曼猜想不成立,那么,以它为基础的那几千个猜想和证明也将一起被证伪,这绝对是数学界的重大危机!
然而,如果张益唐证明了西格尔零点猜想,那么,黎曼猜想也并没有因此被证明,因为两个猜想之间只是充分而非必要的关系,所以不能反推。
基于黎曼猜想的无比坚固性,我个人认为,张益唐应该是证明了西格尔零点猜想。也就是说,黎曼猜想将继续屹立不倒!
必须等到大神级的数学家出现,才能证明,或者证伪!按照常人的理解,证伪黎曼猜想要容易得多。
因为,只需要找到一个反例,就可以推翻黎曼猜想。但是,163年以来,无数顶级数学家一个反例也找不出来。
找黎曼猜想的反例行动,就像数学界的奥林匹克竞赛。
1932年,德国数学家西格尔(Siegel),从黎曼的手稿里找到了零点计算公式,这个公式被称为黎曼-西格尔公式。凭借黎曼-西格尔公式,人们可以很轻松地推进零点的计算。
在计算机的神助攻下,法国团队利用改进的算法,将黎曼ζ函数的零点计算出了前10万亿个,仍然没有发现反例。10万亿个够多了吧?
然而,黎曼ζ函数的零点有无穷多个,10万亿与无穷大相比,等同于零。
黎曼、朗道、西格尔等很多大数学家,为啥要搞这些猜想啊?这是因为,这些猜想都是关于素数分布规律的,而素数是一切数的根基,或者称为数之元。
任何一个数都可以分解为素数的乘积。所以,素数是数的最小单元。只要搞清楚了素数,一切数的事情就搞清楚了。
最关键的问题就是:素数的分布规律究竟是啥?能不能用一个公式来表达?
不要以为研究素数没有用,实际上我们经常在用。如果没有数学,身边的很多信息化产品都将不存在。因为,它们的设计、制造和使用,都离不开数学。
最常见的例子是,手机指纹解锁,涉及到信息编码、加密传输、解码的过程,而目前最常用的加密解密算法是RSA。
这个算法的核心就是用两个很大素数相乘之后得到的那个数作为公钥。现在,这个大数一般用1024位的数。
要解破这个密钥,就得对1024位的大数进行质因数分解。对于这个计算任务,现在的任何计算机花几百万年也算不出来。