立即注册 登录
华人科学网 (华科网) 返回首页

wxmwrk的个人空间 http://www.sciencenets.com/?995 [收藏] [复制] [分享] [RSS]

博客

已有 73 次阅读2016-9-19 12:39 |个人分类:数学|系统分类:科普作品

怎么样才能防止华罗庚陈景润王元潘承洞陶哲轩张益唐这样的数学骗子破坏数学 ...

 怎么样才能防止华罗庚陈景润王元潘承洞陶哲轩张益唐这样的数学骗子破坏数学


首先,必须建议建立数学证明的模式识别和智能系统。
为了防止学术欺诈和浪费资源,数学证明应该建立模式识别的智能系统,数学证明在企图证明某一个命题之前或者之后,就把相关内容输入到识别系统,例如:
1、命题的性质,是一个什么类型?普遍概念还是集合概念?严禁对集合概念进行所谓“证明”。陈景润王元潘承洞,张益唐,陶哲轩就是胡乱地把主项是集合概念的命题进行荒唐的证明。
2、命题是否清晰?组成命题的词组是否合理规范?
3、数学概念是否正确?有没有使用诸如“充分大”和“殆素数”之类的错误概念?数学概念是否具备“专一性”,“精确性”,“可以检验”。
4、打算或者已经使用的论据是否准确?引理部分是否有针对性?
5、演绎推理是否是三段论的正确形式?
6、结论(或者目标)是否全称判断?论述结论是否清晰准确?会不会是特称判断?
7、是否有循环论证?结论可以倒推回去吗?设立倒推模式。
8、如果借助图像和公式,这些内容可以检验和无歧义吗?公式的符号准确吗?图像是动态还是静态,图像对证明起什么作用?
9、证明结论对整个数学理论体系起到什么作用?
还有很多,要根据具体的学科分类设定,有了识别系统,对于那些手脚不干净的唯利是图的人,就没有空子可钻。

数学应该追求美学意义上的理念

数学的美,就是:
1,在定理上的美就是流畅,没有解释上的困难,一切从定义出发,没有必要添加新的定义。如果作者创造了新的概念才能对命题证明,新概念必须符合专一性,精确性,可以检验性的标准。
2,在公式上的美就是一看就明白,能够明确告诉人们公式表达的什么,输入一个变量,人们可以知道自己要的答案。
3,在计算上的美就是可以非常精确,尽可能接近人们理想的数值,或者产生奇妙的结果,例如“e”和“π”。
4,在图像上的美就是可以解决没有图像时造成的朦胧,使人一目了然。
5,在思想上的美就是产生震撼,产生意想不到的惊奇,可以用简单的逻辑概括复杂事物。
6,在命题(猜想)上的美就是产生一种容易看得到,却不容易得到,并且这个猜想具有极大的归纳,概括了许多没有解决的问题的钥匙。
7,在理论上就是可以把极端抽象的内容与现实非常精确地融合,上升到足以产生新理论的预期,例如黎曼几何,为相对论奠定了基础。·
数学学报前主编李丙仁说:
“科学知识是一种集体产品,它不是个体研究者的贡献集聚,为了要被杂志编辑和审稿人接受,首先必须达到最基本的可信性标准,还要通过持怀疑态度的研究共同体施加各种检验。
为了防止欺诈,审核人代表科学共同体试图挑出逻辑中的漏洞,并且被尖锐地质疑。
数学的真正力量在于它的生成语法法的严密性,重大的想象常常来着地位低下的人,一般的科学知识是经过训练的常识,常识与重大的科学突破的征兆相去甚远。”。
数学中的命题,都是非常清晰,非常明确的,而数论中的命题更加清晰,根本没有什么弱孪生素数猜想和弱哥德巴赫猜想。之所以出现这些荒唐的“弱猜想”都是违反数学命题的胡乱联系。
1,理由的虚假性
胡乱修改前提条件,得出错误结论,不能算弱猜想,例如陈景润的工作。
2,推理的无关性
胡编乱造的结论不能算定理。例如张益唐的小于70000000和陶哲轩的存在任意长的素数算术数列。
3,隐含的假设性
这些结论都有一个共同的缺陷,假设存在他们想要的内容,王元,潘承洞,陈景润,陶哲轩,张益唐都是无关地联系他们预想的东西。
4,论证的单一性
这些论证都是违反演绎推理的基本规则,不能反推回去,正确的定理证明,百分之百可以倒推回去。大家可以试试。
驱动世界前进的是人类力图与众不同的热情,科学本身是一个不断探索推陈出新的过程。能否发现并阐明自然规律,不是由个人身份决定的,关键在于是否能够以实事求是的态度和慎思明辨的求知方法去探索。
科学创造活动的出发点就是合理的怀疑精神,要依据事实思考,勇于怀疑一切现实的权威意见,许多伟人就是因“怀疑”而创立了新的科学理论,达尔文的进化论由怀疑神创论而始,爱因斯坦创立相对论源于怀疑牛顿的绝对时空观,科学理论不是神圣不可触犯的宗教教条,去伪存真是科学研究的精髓,怀疑一切是科学精神的核心。
崇拜偶像,蔑视理性是无知的产物,现代科学的发展早已显露出迷信的荒谬。科学无禁区人所共知。

数学命题经过证明以后就成为数学定理,一条定理成立必须具有合法性,就是数学证明必须符合证明规则。数学证明规则是指在数学证明的过程中必须遵守的逻辑规则,它包括论题规则,论据规则和论证规则。中国数学家陈景润王元潘承洞乃至他们的学生美国的张益唐完全不按数学规则,并且都是借助媒体或者行政权力机构的无知认可强迫大众接受。
                                                         数学的一般规则
          论题必须清晰,论据必须正确的定理,论证方法必须是严格的正确的演绎方法。
                                                             数学的深层规则
               1,证明对象必须是“普遍概念”或者“单独概念”,不得对“集合概念”进行所谓“证明”,陈景润王元潘承洞张益唐证明的对象都是“集合概念”命题,所以不具备合法性。
                2,证明方法必须是正确的演绎证明(数学归纳法必须在可以统一这个普遍概念的全部元素对象的公式下,没有统一公式的数学归纳法无效)。
               3,论据必须是正确的,不得使用非逻辑前提(陈景润张益唐等人证明结论都是特称判断,必然使用了非逻辑前提)。
               4,不得使用模糊概念,就是说概念必须是唯一的解释,不能有歧义(例如所谓“殆素数”,“充分大”等严禁使用)。  
             5,所有结论必须是可以操作的,就是说,证明得出结论以后,通过这个结论计算,人们可以知道结果,而不会出现互相矛盾的结果。   
               6,结论必须是全称的,特称结论一律无效。
                                          对第1条的解释
单独概念和普遍概念
a,单独概念反映独一无二的概念,例如,上海,孙中山,,,。它们反映的概念都是独一无二的。
b,普遍概念,普遍概念反映的是一个对象以上的概念,反映的是一个“类”,这个词项的内涵由为了包含在词项外延所必须具有的事物的性质组成。例如:工人,无论“石油工人”,“钢铁工人”,还是“中国工人”,“德国工人”,它们必然地具有“工人”的基本属性。数学证明就是针对普遍概念。
集合概念和非集合概念
a,集合概念反映的是集合体,这个词项的外延由词项所应用的事物集合组成。例如“中国工人阶级”,集合体的每一个个体不是必然具备集合体的基本属性,例如某一个“中国工人”,不是必然具有“中国工人阶级”的基本属性。所以,对集合概念是不需要证明的,只是总结归纳。
b,非集合概念。
                                                 对第6条解释
特称判断是说“有些A是B”
这是一种“特称判断”,这样的说法不能作为数学定理,因为数学定理要求明确的“全称判断”,就是“一切都A是B”。特称判断在日常生活中使用没有问题,甚至在其它学科也没有问题,例如物理学。唯独在数学证明中特称判断无效。
 非逻辑前提
特称判断为什么不能作为定理?因为特称判断暗含“假定存在”的非逻辑前提,数学证明是严禁使用非逻辑前提,在逻辑学也不允许引入非逻辑前提。这是我们数学中常常发现一个显然的事实却不能成为定理的困难。如果可以引入非逻辑前提,那么数学难题就不会有这么多了。
                                                    对第4条解释
科学概念
由于科学研究的需要,人们对概念做出了限制,一般概念可以有不同理解,而科学概念要求就十分严格。科学概念的特征就是: 1,专义性,2,系统性,3,可检验性,4,稳定性,5,精确性。
                                                   对第2条解释
错误的演绎推理不能得出正确的结论
在证明数学命题过程中,很容易发生错误,就是不能按照正确的演绎推理。
                                                 对第5条解释
结论必须是不能互相矛盾的
一些证明结果产生了互相矛盾的结论,一定是证明过程出现了错误。
                                  为什么数学对“数学概念”要求如此严格?
              为什么我们要讨论命题必须是普遍概念,而不能是集合概念,有人说,你这是玩语言文字游戏,实际上,这个问题涉及到最重要的内容。
         数学依赖于逻辑,逻辑依赖于语言,语言由词汇组合而成。模糊的词汇形成模糊的语言,模糊的语言导致了模糊的逻辑,模糊的逻辑造成了错误的数学证明。
          一百多年前,哲学在讨论:哲学是干什么的?就是说物质不再是西方哲学的研究对象。哲学在失去了“上帝”和“物质”以后,面临失去“精神”这一研究对象------------心理学作为一门实证科学,成为独立的学科,企图瓜分哲学最后一块领地,用心理主义沁入哲学,“心理主义‘首要目标就是数学和逻辑,密尔把数学和逻辑归结为心理联想。心理主义迎合了最强劲的实证主义,符合了方兴未艾的实证主义心理学发展,对哲学产生了挑战,如果象数学和逻辑那样,连传统的经验论者也承认是思维科学,归根到底依赖于人的感觉经验,那么,就再也找不到独立于感觉经验的纯思维领域。再也不可能存在与实证科学不同的思辨科学,再也不能与经验真理相对立的先验真理。
          西方哲学始终以具体的科学指导者和监督者为己任,以形而上的精神价值为取向,以先验真理为目标,,。如果心理主义得逞,那么哲学将从纯思想或者精神这块领地被驱逐出去,失去最后一个对象而不得不自行消亡。
         同样,逻辑始终以具体的数学指导者和监督者为己任,以严密的公理体系和完美的证明为价值取向,,。如果陈景润张益唐荒谬的证明得逞,那么数学将从科学的领地被驱逐出去。
在实证主义和心理主义挑战之下,威胁哲学生存权利同时,一些哲学家从数理逻辑的成功看到了哲学的出路,1847年,布尔提出了逻辑代数以后,符号逻辑长足进展,弗雷格,皮亚若,罗素,怀海德等人建立了逻辑演算系统,并且把数学的基本概念和规则纳入了逻辑演算系统,从而,首次把数学的基础归结为逻辑。证明了数学命题的分析和数学公理系统的逻辑性。
数理逻辑的成功给哲学家以巨大鼓舞,数理逻辑以严密的方式证明:数学基础是不依赖经验分析命题,结束了关于数学性质的哲学争论。
肯定了数学纯思想性质,扞卫了纯思想精神净土。
把数学归结为逻辑,逻辑的基础又是什么?
哲学家通过对逻辑性质的探索,开拓了新的哲学领域-------就是语言学意义。
逻辑由语言体现,语言的意义是与逻辑规则对应的领域,语言的意义存在于事实,思想和语言之间。既不属于物理世界,也不属于个人的心理世界,通过语言的意义来界定逻辑的基础,性质和作用。
数学证明由逻辑体系组成,它是由定义一个个科学合理的概念,组合成为前后连贯的推理,每一个方程的设计,每一个方法的引入,每一个概念的发明,每一个步骤的采取,,,。都必须在逻辑框架下。
最后,完成了证明,还必须接受检验:是否符合上面的六条。只要一条不对,就没有基本的可信度。
      正如一个政权的合法性必须是:一,普选出来的。二,公务员必须公布财产和财产来源的合法性。三,必须依法行政。四,司法独立。五,媒体和人民有权监督政府。六,其他。
陈景润,王元潘承洞张益唐的工作是霸王硬上弓,是非法的,构成对科学的强烈破坏。
G
M
T
檢測語言阿尔巴尼亚语阿拉伯语阿塞拜疆语爱尔兰语爱沙尼亚语巴斯克语白俄罗斯语保加利亚语冰岛语波兰语波斯尼亚语波斯语布尔语(南非荷兰语)丹麦语德语俄语法语菲律宾语芬兰语高棉语格鲁吉亚语古吉拉特语哈萨克语海地克里奥尔语韩语豪萨语荷兰语加利西亚语加泰罗尼亚语捷克语卡纳达语克罗地亚语拉丁语拉脱维亚语老挝语立陶宛语罗马尼亚语马尔加什语马耳他语马拉地语马拉雅拉姆语马来语马其顿语毛利语蒙古语孟加拉语缅甸语苗语南非祖鲁语尼泊尔语挪威语旁遮普语葡萄牙语齐切瓦语日语瑞典语塞尔维亚语塞索托语僧伽罗语世界语斯洛伐克语斯洛文尼亚语斯瓦希里语宿务语索马里语塔吉克语泰卢固语泰米尔语泰语土耳其语威尔士语乌尔都语乌克兰语乌兹别克语希伯来语希腊语西班牙语匈牙利语亚美尼亚语伊博语意大利语意第绪语印地语印尼巽他语印尼语印尼爪哇语英语约鲁巴语越南语中文简体中文繁体
阿尔巴尼亚语阿拉伯语阿塞拜疆语爱尔兰语爱沙尼亚语巴斯克语白俄罗斯语保加利亚语冰岛语波兰语波斯尼亚语波斯语布尔语(南非荷兰语)丹麦语德语俄语法语菲律宾语芬兰语高棉语格鲁吉亚语古吉拉特语哈萨克语海地克里奥尔语韩语豪萨语荷兰语加利西亚语加泰罗尼亚语捷克语卡纳达语克罗地亚语拉丁语拉脱维亚语老挝语立陶宛语罗马尼亚语马尔加什语马耳他语马拉地语马拉雅拉姆语马来语马其顿语毛利语蒙古语孟加拉语缅甸语苗语南非祖鲁语尼泊尔语挪威语旁遮普语葡萄牙语齐切瓦语日语瑞典语塞尔维亚语塞索托语僧伽罗语世界语斯洛伐克语斯洛文尼亚语斯瓦希里语宿务语索马里语塔吉克语泰卢固语泰米尔语泰语土耳其语威尔士语乌尔都语乌克兰语乌兹别克语希伯来语希腊语西班牙语匈牙利语亚美尼亚语伊博语意大利语意第绪语印地语印尼巽他语印尼语印尼爪哇语英语约鲁巴语越南语中文简体中文繁体
語言功能限100個字符

路过

鸡蛋

鲜花

握手

雷人
分享到: 更多

评论 (0 个评论)

facelist

您需要登录后才可以评论 登录 | 立即注册

Archiver|手机版|小黑屋|华人科学网 (华科网)  

GMT+8, 2016-11-16 02:53

返回顶部