吴文俊先生已经去世，享年98岁。吴先生是中国第一位国家最高科学奖的得主，因为在数学机械化方面的“成就”。

   那么什么是数学机械化呢？就是用计算机完成数学的方程计算和证明。

计算机解方程早已不是新闻。

计算机证明研究在2006年结束。

   机器证明已经失败。因为：

1，只能对已知的几何问题进行“证明”，就是说已经有结果的工作可以用计算机重复性“证明”。没有创新性可言。

2，不能对未知的几何问题进行证明。

3，更不能对其他例如数论微分几何拓扑学问题进行证明。

  因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。

例如数学证明的传递性：世界上没有任何人能够解决多个逻辑链条的正确推理。需要数学家逻辑学家和语言学家共同解决。

证明过程必须具有传递性，没有传递性的证明是无效的，例如，证明费马大定理过程中，费马大定理与谷山志村猜想没有传递性，所以，证明无效。

传递关系是一种特殊关系，指A与B；B与C；,都有，可以推知A与C也有。

传递关系，甲和乙是亲兄弟，乙和丙是亲兄弟，所以，甲和丙也是亲兄弟（亲兄弟一词必须严格定义，机器无法对事物进行定义。因为有同父同母的亲兄弟；有同父异母的亲兄弟；有同母异父的亲兄弟；有乱伦情况下的亲兄弟，例如儿子与母亲通奸生产的孩子。）。

反传递贡献，老张是大张的父亲，大张是小张的父亲，所以，老张不是小张的父亲（父亲也要严格定义，参见上面情况）。

将非传递关系误认为反传递关系：a地到b地100米，b地到c地100米，所以a地到c地不会是100米。（相距多远是非传递关系，误认为是反传递关系。例如等边三角形三个顶点都是相等的）

最重要的是；机器不能判断属性！

因为1，所有的数学定理都是全称判断，即一切A是B.

因为2，所有的全称判断的主项都是普遍概念和单独概念。普遍概念的特征就是一个类的事物具有某种性质。例如“素数有无穷多个”的命题，主项“素数”是一种性质；命题“e是一个超越数”，谓项“超越数”是一种属性。

因为3，机器无法识别属性，例如识别性别是生物化学的工作：某种动物的染色体xy，我们知道是雄性；如果是xx，我们知道是雌性。机器不能代替化学工作。

 机器证明只是一个自欺欺人的把戏，可以说是胡编乱造。居然获得国家最高奖。你们说，中国大陆数学家有多么坏。

  因为搞机器证明的当选院士的还有张景中。吴文俊因为机器证明获得国家最高奖，是极不严肃的。如此低劣的垃圾，竟然得到最高奖，太可笑了。据国际上通行的观念，一项成果，如果不能够产生或者开创新的领域，就不能算重大成果。机器证明的意义是低下的，机器证明不能开拓新的数学。只不过是在已知的范围内循环运动。

    吴文俊真的是淡泊名利吗？吴文俊在2006年就已经知道机器证明是荒唐的，就停止搞机器证明了。但是，虚荣心使得吴文俊见利忘义，至死没有公开承认错误。死后还有人继续造假造谣误导群众。

中国数学家其实到现在依然没有原创性重大成果。他们存在的唯一目的就是——千万不能让其他人产生重大成果。

--------------------------------------