吴文俊事件真相查看源代码讨论查看历史

吴文俊因为数学机器证明——数学机械化获得国家最高科学奖和邵逸夫数学奖，吴文俊胡编乱造坑蒙拐骗得到科学奖成为中国科学史上最可耻的记录。

吴文俊机器证明是个什么垃圾

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

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

计算机解方程早已不是新闻。计算机证明研究在2006年结束。

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

2，全称判断的主项都是普遍概念或者单独概念。

3，普遍概念的特征就是依据事物的属性。

4，机器不能判定属性，例如，判定一个人是男人还是女人的工作是生物化学的，染色体xx是女性，xy是男性。

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

居然获得国家最高奖。你们说，中国大陆数学家有多么坏。

中国数学家故意恶搞国家奖项，把科学奖励的级别和层次弄的乌烟瘴气。同时故意打压真正的重大创新，于国家的整体利益不顾。

     整个数学领域帮派林立，明争暗斗，投机取巧，数学研究实际上停滞不前。

     美国的哈肯等人用机器证明四色定理，并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样，如果吴文俊用机器证明了一些猜想，那倒是可以重奖。

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