张益唐从来没有发表过一篇正确的论文,所有的论文都是错误的,例如【世界上最无耻的炒作--张益唐孪生素数猜想事件】 https://zhuanlan.zhihu.com/p/110901924 ------------------------------- 今天,张益唐在北京大学宣称:张益唐的最新论文表明,在特定范围内,朗道-西格尔零点不存在。在这一情况下,朗道-西格尔零点猜想正确或成立。
”特定范围內”是一个特称判断,是一个数学事实(即有些A是B),没有任何意义,因为,数学不承认特定判断的“数学事实”。数学事实是数学理论中最低形式。数学定理必须是“一切A是B”
为什么数学命题需要证明:
数学第一层次是数学事实,表现形式是特称判断。例如3和5都是素数;特征是“有些A是B”(是一种特称判断)。(数学定理要求是全称判断“一切A是B)。
数学第二层次是数学概念,概念是将事实归纳成为一个系统性的含义。是人类在认识过程中,从感性认识上升到理性认识,把所感知的事物的共同本质特点抽象出来,加以概括,是自我认知意识的一种表达,形成概念式思维惯性。例如“孪生素数”;指两个相差2的素数。将几个概念组成一个判断句的陈述,叫做命题。
数学第三个层次是数学定理,从数学命题到数学定理需要借助正确的演绎证明完成。例如欧几里得素数有无穷多个就是一条定理。例如命题“孪生素数有无穷多”,就是还没有得到证明的命题。
数学第四个层次是数学理论。例如【初等数论】,包括了一系列概念、定理、公式、图像、函数。
第一个层次不会自动上升到第三个层次,必须借助第二个层次即概念,通过演绎法证明完成。
张益唐论文狗屁不通,完全是无知状态。
张益唐企图通过证伪的方法,张益唐表示,“如果一个朗道-西格尔零点成立的话,最后能够得出一个不等式来。而这个不等式明显是错的,于是从这里就能够推出矛盾。
从这个角度来讲,我们就从朗道-西格尔零点的存在性,得到了一个矛盾。目前来讲,我能报告的是,至少一个弱形式像这个问题方面,还是有可能做出来,但是整个technical(技术上)的东西是非常复杂的。”【未来论坛|张益唐:数论中的朗道-西格尔点问题】.。
朗道-西格尔零点被定义为广义黎曼猜想的反例,断言此类零点不存在的猜想,就是“朗道-西格尔猜想”。
张益唐想这样证明:
大前提:有一个否定黎曼猜想的Landau-Siegel“点”(特称判断I)。
小前提:这个点不存在(否定判断O)
结论:黎曼猜想成立(全称判断A)。
根据三段论规则,大前提是特称判断,小前提是否定判断,推不出结论。
张益唐采用了错误的三段论格式IOA。
三段论有256个格式,有效格式只有19个。
演绎推理要求两个前提必须是真实的,结论才有效,而张益唐用小前提否定大前提是一个不真实的。
与安德鲁怀尔斯证明费马大定理一样的错误;与迈克尔阿迪亚证明黎曼猜想一样的错误。 网传数学家张益唐,已经攻克了朗道-西格尔零点猜想(Landau-Siegel Zeros Conjecture)。
这纯属造孽!
先谈谈证明黎曼猜想的方法问题:
1,证实。这是不可能的!这里有两种情况;(1),因为黎曼猜想主项是一个集合概念,是一个二阶逻辑问题,是变化率的变化率。是无法一次性证明的问题。只能一个个地验证。(2),证明所有的函数不等于0的情况下,实部大于二分之一。这里有无穷多个可能,只能逐一验证,因为主项是一个集合概念,是二阶逻辑问题。
2,证伪。找到一个反例。但是,至今没有找到。
张益唐选择了证实的第二种方法。
张益唐说:
黎曼假设认为所有的这些非实的零点都在ζ(S)上,它的实部都等于二分之一。
这实际上等价于:如果实部大于二分之一的话,这个函数不等于0。
这好比说: “命题:所有的男性染色体都是xy”。研究目标是男性,研究手段是xy。
而类似张益唐的研究者去证明:
“不是xy染色体的都是女性”。研究目标是女性,研究手段“不是xy染色体”。
因为不是xy染色体有很多种,不只是男性,还有xxy,xxyy,xxxy等多种畸形状态。
这里介绍一下黎曼ζ函数的现况,这是非常有名的,很遗憾目前对于零点所知道的知识还是非常少的,我们现在远远不能得出大于二分之一就能证明它不等于0的结论。。
我们得到非0区域的结果是什么地方不等于0呢? 实际上这比黎曼假设弱得多,为什么弱得多?
而断言L函数没有异常零点的猜测就被称为Landau-Siegel猜想(由于Landau和Siegel两位数学家在L函数异常零点这个领域里做了开创性的工作,所以异常零点也常常被称为Landau-Siegel零点。)。
张益唐所证明的,是朗道-西格尔零点(实部大于二分之一)不存在。 张益唐的“证明”是非0区域,不在应答范围。 即张益唐的所谓证明,根本就不是对问题的“证明”。而是在一个不存在的应答区域枉费心机。
张益唐说,对任何一个特征,它本身是复变量S的一个函数,如果S实部大于二分之一不等于0。而现在我们有很多很多特征,还没有一个人能够证明这些东西的某一个单独特征。 |