页面有问题?请点击打印板-》打印版                  [推荐此文给朋友]
[博讯主页]->[大众观点]
   

吴文俊机器证明是个什么东西
(博讯北京时间2018年1月13日 转载)
    
    来源:美国中文网
    

    吴文俊先生去世,享年98岁。吴先生是中国第一位国家最高科学奖的得主,因为在数学机械化方面的成就。
    那么什么是数学机械化呢?就是用计算机完成数学的方程计算和证明。
    计算机解方程早已不是新闻。
    计算机证明研究在2006年结束。
    
    机器证明已经失败。因为:
    1,只能对已知的几何问题进行“证明”,就是说已经有结果的工作可以用计算机重复性“证明”。没有创新性可言。
    2,不能对未知的几何问题进行证明。
    3,更不能对其他例如数论微分几何拓扑学问题进行证明。
    
    因为,目前命题逻辑还有许许多多的问题没有解决,是不可能对复杂问题进行证明的。
    
    机器证明只是一个自欺欺华罗庚的论文《典型域上的多元复变函数论》获国家自然科学一等奖,现在看来,只是一个很普通的论文,就连三等奖也不够资格。其文化方面的浅薄可想而知人的把戏。居然获得国家最高奖。你们说,中国大陆数学家有多么坏(1956年,。中国数学家故意恶搞国家奖项,把科学奖励的级别和层次弄的乌烟瘴气。同时故意打压真正的重大创新,于国家的整体利益不顾。
    整个数学领域帮派林立,明争暗斗,投机取巧,数学研究实际上停滞不前。
    
    机器证明从本质上讲,不可能有重大创新,因为机器就是机械的方法去完成一些工作。与电脑编写程序没有太大的区别。吴文俊等人搞机器证明获得国内科学大奖是拔高自己的成果。是另外一种形式的造假。
    美国的哈肯等人用机器证明四色定理,并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样,如果吴文俊用机器证明了重大猜想,那倒是可以重奖。
    
    钱学森在90年代就写过文章,《大学科的复杂问题》早就指出,全息理论和机器推导是佣人懒汉思想。对未知事物怎麼可能掌握全部信息?并且利用已经知道的定理就可以推导出未知事物?
    钱学森的话是符合辩证唯物主义。
    而吴文俊张景中等人的机器证明显然违反认识论的。你吴文俊怎麼不去推导一个伟大的猜想?如果你能够利用机器证明哥德巴赫猜想,你吴文俊就是了不起。可是,吴文俊只会造假。
    因为搞机器证明的当选院士的还有张景中。吴文俊因为机器证明获得国家最高奖,是极不严肃的。如此低劣的垃圾,竟然得到最高奖,太可笑了。据国际上通行的观念,一项成果,如果不能够产生或者开创新的领域,就不能算重大成果。机器证明的意义是低下的,当然,比陈景润张益唐造假要好的多。机器证明不能开拓新的数学。只不过是在已知的范围内循环运动。
    吴文俊真的是淡泊名利吗?吴文俊在2006年就已经知道机器证明是荒唐的,就停止搞机器证明了。但是,虚荣心使得吴文俊见利忘义,至死没有公开承认错误。死后还有人继续造假造谣误导群众。
    中国数学家其实到现在依然没有原创性重大成果。他们存在的唯一目的就是——千万不能让其他人产生重大成果。 (博讯 boxun.com)
(本文只代表作者或者发稿团体的观点、立场)
980850
分享:
blog comments powered by Disqus
   
------------------------------------


博客、论坛推荐文章:
  • 甯岀壒鍕掕繘鏀昏嫃鑱旂殑鍚堟硶鎬т綍鍦紵鍦ㄤ簬鍒楀畞
  • 川普政府正在要求中国做出根本性改变
  • 美国工业辉煌时期的废墟,就像美国的大肠
  • 法国黄背心运动告诉我们自由民主人权是什么?
  • 种族主义的依据是种族差异吗
  • 法国黄背心运动告诉我们自由民主人权是什么?
  • 五眼联盟与中华世界
  • 美中关系就是争霸轴心吗
  • 中国式自杀蔓延美国吗
  • 披着羊皮的骗钱套路
  • 披着羊皮的骗钱套路
  • 披着羊皮的骗钱套路
  • 「郭班聯手」的後續發展會如何?
  • 毛主席的好孩子一把菜刀家庭革命
  • 憂間諜活動美擬加強對中國留學生背景調查
  • 共产党中国铁嘴豆腐心“破财消灾”就可以了
  • 博客最新文章:
  • 徐光山东公安侦办严重暴力犯罪案10人被采取强制措施
  • 陈泱潮美國不乏【無神論黨文化左派分子】、、、、、、
  • 谢选骏勿忘美国近在中国咫尺
  • 永丰札记妖魔鬼怪的万圣夜表演
  • 芦笛的驳壳强忍悲痛谈“喜讯”
  • 王光宪“华裔之殇”郭文贵这黑“锅”华裔不背
  • 谢选骏杨振宁害死了张首晟
  • 东方安澜常熟的银杏(散文)
  • 独往独来申赋渔:周六的巴黎
  • 曾节明警告习近平:光镇压伊教不够,必须正视少数民族分裂的根源
  • 谢选骏孟晚舟肯定不是中国人,变色龙革命了
  • 藏人主张蔡英文政府若能忍刮骨療毒之痛,罪己反思,然後行、、、、
  • 郭知熠中国人建立的第二个哲学体系--认知体系现象学(之十五)
  • 金光鸿法轮功要站得高、看得远一点
  • 生命禅院800ValuesNo.601~700/xuefeng
  • 陈泱潮關鍵時刻,徐文立妄圖炮製川普【通中門】事件掀起【倒川】
  • 徐永海用自然科学来解释那英武有名的人
    论坛最新文章:
  • 低端人口驱离后北京人统计一少二老
  • 北京小心处理孟晚舟案或才避绕莱特希泽鹰爪
  • 习近平如报复加拿大软柿子 专家警告后果或比想象严重
  • 巴黎警告特朗普不要掺和法国黄背心示威事
  • 为阻五星旗飘扬最高山峰台湾出台禁政治行为条规
  • 孟晚舟事件:北京向加拿大发出威胁
  • 孟晚舟加拿大被捕案或牵出江习权斗
  • 第四轮黄马甲行动 避免了最坏
  • 孟晚舟案促掀网络爱国潮吼 施加抵制美国货压力
  • 新马关系紧张时刻 新加坡拟军演
  • 习近平想成为什么样的皇帝?
  • 海湾国家合作委员会峰会在沙特举行
  • 海基会前董事长江丙坤主动脉剥离抢救成功
  • 鹰派学者疑为习近平下套 怒吼撞沉航南海美舰
  • 孟晚舟被捕疑泄漏证据 美国或力查华为
  • 前终院法官促港重推民主以保一国两制 责政治损司法独立
  • 中国生产指数和通胀齐回落 官料明年经济“稳定回落”
  • 联系我们


    All rights reserved
    博讯是畅所欲言的场所、所有文章均不一定代表博讯立场
    声明:博讯由编辑、义务留学生、学者维护,如有版权问题,请联系我们。另外,欢迎其他媒体 转载博讯文章,为尊重作者的辛勤劳动以及所承担风险,尊重博讯广大义务人士的奉献,请转载时注明来源和作者。