467
次編輯
變更
小
4，机器不能判定属性，例如，判定一个人是男人还是女人的工作是生物化学的，染色体xx是女性，xy是男性。 '''因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。'''
===机器证明从本质上讲，不可能有重大创新===因为机器就是机械的方法去完成一些工作。与电脑编写程序没有太大的区别。吴文俊等人搞机器证明获得国内科学大奖是拔高自己的成果。是另外一种形式的造假。
而吴文俊张景中等人的机器证明显然违反认识论的。你吴文俊怎麼不去推导一个伟大的猜想？如果你能够利用机器证明哥德巴赫猜想，你吴文俊就是了不起。可是，吴文俊只会造假。 因为搞机器证明的当选院士的还有张景中。吴文俊因为机器证明获得国家最高奖，是极不严肃的。如此低劣的垃圾，竟然得到最高奖，太可笑了。据国际上通行的观念，一项成果，如果不能够产生或者开创新的领域，就不能算重大成果。机器证明的意义是低下的，当然，比陈景润张益唐造假要好的多。机器证明不能开拓新的数学。只不过是在已知的范围内循环运动。
中国数学家其实到现在依然没有原创性重大成果。他们存在的唯一目的就是——千万不能让其他人产生重大成果。
吴文俊只是一个数学流氓而已。
==上海交大用数学骗子吴文俊名字命名数学研究中心==
吴文俊是一个无耻的数学骗子，他胡编乱造的数学机器证明早已寿终正寝，成为一个笑料。这一次上海交大吴文俊数学中心成立，是恶搞还是忽悠？
一大群数学骗子和数学流氓出席仪式：
全国政协常委、中国科协副主席、中国数学会理事长、中国科学院院士袁亚湘，全国政协常委、中国科学院数学与系统科学研究院院长、中国科学院院士席南华，北京大学教授、中国科学院院士、会议学术委员会主任姜伯驹，吴文俊家属代表吴天骄分别致辞，深情共忆吴文俊先生一生始终坚持的敬业精神、爱国情怀、治学态度和热爱人文、关注教育的生活点滴，以及在拓扑学、数学机械化和中国数学史研究领域做出的划时代成就，为我国的现代数学事业和数学史学科发展做出的卓越的贡献；并对上海交大吴文俊数学中心的成立表示祝贺，对中心的发展表示支持，期望上海交通大学的数学学科能够不懈努力、勇攀高峰，为中国乃至世界科学的发展作出更多贡献。
===所有的报道只字不提吴文俊机器证明——数学机械化===
因为这是中国数学界的超级丑闻，是一个无耻群体坑蒙拐骗的历史记录。因为这个还诈骗到国家最高科学奖、邵逸夫科学奖等。
吴文俊、华罗庚、陈景润王元潘承洞以及他们的学生都是中国流氓群体的同案犯。
無編輯摘要
===机器 为什么不能 证明 已经失败数学定理===
因为：
1， 只能对已知 所有 的 几何问题进行“证明” 数学定理都是全称判断 ， 就是说已经有结果的工作可以用计算机重复性“证明”。没有创新性可言 即一切A是B 。
2， 不能对未知 全称判断 的 几何问题进行证明 主项都是普遍概念或者单独概念 。
3， 更不能对其他例如数论微分几何拓扑学问题进行证明 普遍概念的特征就是依据事物的属性 。
==机器证明只是一个自欺欺人的把戏==
居然获得国家最高奖。你们说，中国大陆数学家有多么坏。
中国数学家故意恶搞国家奖项，把科学奖励的级别和层次弄的乌烟瘴气。同时故意打压真正的重大创新，于国家的整体利益不顾。
整个数学领域帮派林立，明争暗斗，投机取巧，数学研究实际上停滞不前。
美国的哈肯等人用机器证明四色定理，并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样，如果吴文俊用机器证明了一些猜想，那倒是可以重奖。
===吴文俊真的是淡泊名利吗===
吴文俊在2006年就已经知道机器证明是荒唐的，就停止搞机器证明了。但是，虚荣心使得吴文俊见利忘义，至死没有公开承认错误。死后还有人继续造假造谣误导群众。