吴文俊事件真相
吴文俊机器证明是个什么垃圾
吴文俊先生已经去世，享年98岁。吴先生是中国第一位国家最高科学奖的得主，因为在数学机械化方面的成就。
那么什么是数学机械化呢？就是用计算机完成数学的方程计算和证明。
计算机解方程早已不是新闻。 计算机证明研究在2006年结束。
机器为什么不能证明数学定理
因为： 1，所有的数学定理都是全称判断，即一切A是B。
2，全称判断的主项都是普遍概念或者单独概念。
3，普遍概念的特征就是依据事物的属性。
4，机器不能判定属性，例如，判定一个人是男人还是女人的工作是生物化学的，染色体xx是女性，xy是男性。
因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。
机器证明只是一个自欺欺人的把戏
居然获得国家最高奖。你们说，中国大陆数学家有多么坏。
中国数学家故意恶搞国家奖项，把科学奖励的级别和层次弄的乌烟瘴气。同时故意打压真正的重大创新，于国家的整体利益不顾。
整个数学领域帮派林立，明争暗斗，投机取巧，数学研究实际上停滞不前。
美国的哈肯等人用机器证明四色定理，并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样，如果吴文俊用机器证明了一些猜想，那倒是可以重奖。
吴文俊真的是淡泊名利吗
吴文俊在2006年就已经知道机器证明是荒唐的，就停止搞机器证明了。但是，虚荣心使得吴文俊见利忘义，至死没有公开承认错误。死后还有人继续造假造谣误导群众。