大陆“英雄”数学家吴文俊只是一个垃圾水平的数学混混

 吴文俊是大陆数学家，1956年因为一些普通论文获得自然科学一等奖，现在看，只能是垃圾论文，没有什厶價值。
雷人的是吴文俊搞了一个機器证明获得最高科学奖。

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

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

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

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

機器证明已经失败。

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

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

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

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

機器证明只是一个自欺欺人的东西。 

吴文俊1956年 與华罗庚的论文《典型域上的多元復变函数论》获国家自然科学一等奖，现在看来，只是一个很普通的论文，就连三等奖也不�@资格。其文化方面的浅薄可想而知人的把戏。吴文俊居然获得国家最高奖。你们说，中国大陆数学家有多厶壞(1956年，。

中国数学家故意恶搞国家奖项，把科学奖励的级别和层次弄的乌�@瘴氣。同时故意打压真正的重大创新，於国家的整體利益不顾。
整个数学领域�@派林立，明争暗鬥，投機取巧，数学研究实际上停滞不前。

 機器证明从本质上讲，不可能有重大创新，因为機器就是機械的方法去完成一些工作。與电脑编写程序没有太大的区别。吴文俊等人搞機器证明获得国内科学大奖是拔高自己的成果。是另外一種形式的造假。
美国的哈肯等人用機器证明四色定理，並没有得到数学界的认可。不足以享有崇高�@誉。

吴文俊也是一�@，如果吴文俊用機器证明了重大猜想，那倒是可以重奖。

吴文俊张景中等人的機器证明显然违反认识论的。你吴文俊怎麽不去推导一个伟大的猜想？如果你能�@利用機器证明哥德巴赫猜想，你吴文俊就是了不起。可是，吴文俊只会造假。

 因为搞機器证明的当选院士的还有张景中。吴文俊因为機器证明获得国家最高奖，是極不严肃的。如此低劣的垃圾，竟然得到最高奖，太可笑了。��国际上通行的观念，一项成果，如果不能�@产生或者开创新的领域，就不能算重大成果。

機器证明的意�@是低下的，当然，比陈景润张益唐造假要好的多。機器证明不能开拓新的数学。只不过是在已知的范围内循环运动。

吴文俊真的是淡泊名利吗？吴文俊在2006年就已经知道機器证明是荒唐的，就停止搞機器证明了。

但是，虚�@心使得吴文俊见利忘�@，至死没有公开承认错误。死後还有人继续造假造谣误导群众。

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