|
本帖最后由 确实确实 于 2014-8-25 20:14 编辑
王晓明这个大sb(师伯),在人民网和人大论坛批评张老师:
张益唐论文至今没有发表,据说发现严重错误,以下摘自人大论坛和人民网论坛:
张益唐事件
是指华人数学家张益唐在论文至今没有发表情况下获得多个数学奖励。张益唐是迄今为止人类科学史上唯一一个 在论文没有正式发表情况下就获得奖励的恶作剧事件(数学论文由于学科本身复杂性,一般要求在正式发表数年以后进行评价,并且,几乎所有重大数学成就都是经过发现错误以后才最后正式确定,例如费马大定律)本词条按照科学精神,没有任何人身攻击。
起因
张益唐(英语:Yitang Zhang,1955年-),美国华人数学家。上海人,祖籍浙江平湖市 平湖籍数学家涉及“孪生素数猜想”|publisher= 嘉兴日报(平湖版) }}张益唐于2013年4月17日向《数学年刊》(Annals of Mathematics)投稿证明存在无穷多对素数相差都小于7000万的论文《Bounded gaps between primes》,并于同年5月21日被接受
研究结论
张益唐于2013年4月17日在《数学年刊》(Annals of Mathematics)投稿“证明存在无穷多个素数对相差都小于7000万”,即证明
解读
逻辑学家的工作就是帮助一般人正确理解数学语言,纠正人们对数学语言的错误理解。
张益唐文章错误百出
数学证明中的伪证是一种虚假的证明,这种证明不是按照逻辑性规律,而是采用偷换概念或者虚假证据,故意混淆科学概念与命题的根本差别,企图蒙骗的一种形式。
规则
1, 数学证明的对像是命题,命题的本质就是断定,断定的性质必须明确。明确的解释就是没有歧义。许许多多的数学证明,发生了模糊概念的结果,这个就不能算是完成证明。所以,数学证明要求数学概念精确、专一、系统、稳定,可以检验,可以区分。推理符合形式逻辑要求。在其他学科,例如物理学中,科学事实很快可以上升到科学定律。但是,数学证明(证实部分)不承认科学事实(证伪部分科学事实有效),(所以归纳法无效)必须把事实上升的科学概念,经过演绎证明以后,才能算科学定理《摘自维基百科“证明”》。
2,一个定理陈述一个给定类的所有元素之间一种不变的关系,适合无穷大的类,,它在任何时候都无区别成立。(摘自《维基百科“定理”》)
张益唐的工作
一,张益唐的“证明”含糊其辞,什么也没有断定。违背了数学证明的基本要求。数学证明在逻辑上要求十分严格,一丝缺点,往往是致命的。 香港寝会大学汤涛教授(张益唐同学)对张益唐工作解释: “证明了存在无数个素数对(p,q), 其中每一对中的两个素数之差,即p和q的距离,不超过七千万”。 70,000,000以内的素数对有:
第1类,相差2的素数3与5,5与7,...。
第2类,相差4的素数3与7,7与11,...。
.......
第3500万类,相差7000万的素数有...。
这3500万种可能中(集合概念),其中有一些是无穷的,或者有一种可能是无穷的,并没有确定那一些是无穷的。很可能相差2的或者相差4的或者..或者相差3500万的,是有穷的。这个与陈景润的“1+2”同工异曲,没有确定任何内容。就是说,张益唐没有任何断定。每一种都是可能,有3500万种可能。属于特称肯定判断:有些a是b。 这个断定就不是定理,因为定理基本要求就是对事物有明确全称断定。
为什么呢?因为素数有无穷多,那么任何两个素数都是可以成为素数对,70,000,000只是无穷多素数对的外延。特称判断暗藏非逻辑性东西,不合法地引入了“假定存在”,数学推理不能引入非逻辑性前提,单称判断仅仅表示一个概念,张益唐把35,000,000种概念引入“一切概念(无穷多)”就是在35,000,000种可能世界里,会有一种性质无穷。
数学证明需要符合逻辑学,而不是心理学。推理与演绎是两回事,后者有一个严格的准绳,凡是一个语句集的某一个语句当成结论,其他语句被当成前提时,这个语句集就是推理,至于这个结论能否从前提中推出,以及根据什么他能够推出并不重要。但是,演绎的每一个语句必须有根据必须从他前面的语句推出的,演绎规则具有保真性,避免了模凌两可性。
二,命题逻辑错误:无穷与有限是相反的真值,不能把70,000,000(原子式)赋予相反的真值,或者说,不能把相反的真值(无穷和有限)同时赋予某个原子式(张益唐没有证明70,000,000都是无穷的,只是假定一些是有限的一些是无穷的)。根据谓词逻辑的语义推导规则,语义应该具有一致性,就是对于一个命题逻辑语句集f,当且仅当至少存在这样一种解释i,f的一切元素在i之下都是真的,那么,f是语义一致的。在命题逻辑语义学内,一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中,在同一解释下,一个集合不能既属于某个谓词的外延又不属于该谓词的外延。{现代哲学逻辑,复旦大学出版社235页}
三,一个定理陈述一个给定类的所有元素之间一种不变的关系,适合无穷大的类,它在任何时候都是无区别成立。张益唐3500万就不是一个给定的类,而是3500万个类,这3500万个中有无穷或者有限两种可能,就不是“不变的关系”而需要区别,怎么可以算是定理呢?。3500万个类是一个集合概念,证明集合概念必须对每一个个体逐一证明,使用完全归纳法。这是因为集合概念的个体不是必然具有集合体的基本属性。
四,张益唐3500万个类,不是一个科学概念(一个集合概念,不是普遍概念),科学概念的特征之一就是:专一性,精确性,可以区分,而3500万个类应该是3500万个概念,例如: 相差2的素数对(孪生素数),而当常数为2时称为孪生素数猜想,即;相差4的素数对(表兄弟素数): ;
..。
五,张益唐公式作为数学语言 是一个病句。是一个错误的不等式,因为左边的性质和关系只能对应右边一个给定的类,必须用等号。不能用不等号与右边3500万的类对应。
六,公式是表示数量关系的固定格式,公式不能有两种解释
这个公式: 是指素数与另外一个素数的差有无穷多,但是不知道是哪一种,只知道在7000000以内,小于7000000的素数对有3500000种,即相差2的例如3和5,5和7;相差4的例如7和11;...;相差3500000的。一些是无穷的,一些是有限的,就出现两种解释,这个公式就没有意义.
七,张益唐公式具备一个错误公式的全部特征:
错误公式特征:
1,自称是科学的,但含糊不清,缺​乏具体的度量衡。
,2,​无法使用操作定义(例如,外人也可以检验的通用变量、属于、或对象)
,3,​无法满足简约原则,即当众多变量出现时,无法从最简约的方式求得答案。
,4,​使用暧昧模糊的语言,大量使用技术术语来使得文章看起来像是科学的。
,5,​缺乏边界条件:严谨的科学公式在限定范围上定义清晰,明确指出预测现象在何时何地适用,何时何地不适用。。
历史上类似情况
张益唐是科学史上唯一一个在论文没有发表情况下获得多个大奖的人
华罗庚和王元说:“早发表,晚评价”。就是因为科学常常搞错,需要时间来检验。
晨兴数学奖,科尔数学奖以及罗夫肖克奖,都是在没有经过严格检查就宣布正确的。
1991年,堵丁柱与黄光明证明了“斯特纳比猜想”,获得了国内外各种大奖,1996年证明是错误的。
20年以来,黑洞理论被认为是正确的,各种电视剧,小说,科学普及教科书,,,铺天盖地,不久,黑洞创始人霍金宣称是错误的。
中世纪,地心说被认为是绝对的,直到哥白尼发现是错误的。
诺贝尔医学奖曾经给了“寄生虫致癌理论”,后来发现是荒唐的(1926年J.菲比格(Johannes Fibiger 1867-1928)丹麦病理学家因提出“寄生虫致癌学说”获奖)。
安德鲁怀尔兹1993年宣布证明费马大定律,发现错误,1995年正式发表。
1988年,《华盛顿邮报》和《纽约时报》宣称日本东京大学的宫冈洋一证明了费马大定律,后来发现是错误的。
,,,。
真理不能强行占有
任何奖励都是派生的,任何奖励都是不能增加科学本身的正确性。所以,错误的东西最终被科学淘汰。不会保存在人类知识的真理中。张益唐事件整个过程都是媒体炒作的结果,没有一家严肃科学机构给予评价。
其他背景
张益唐是海外民运组织成员,是“中国民联”和“学自联”成员,至今仍然不懈支持中国民主运动。
关于自然杂志的评价
自然杂志是一个不负责任的媒体,2012年奥运会期间,在尿检没有公布情况下,单方面公布中国游泳运动员服药兴奋剂, 尿检出来以后,自然杂志又不得不公开道歉,造成恶劣影响。自然杂志也不是数学专业的杂志,跨学科评价违背了科学精神。 |
|