吳文俊事件真相
吳文俊機器證明是個什麼垃圾
吳文俊先生已經去世，享年98歲。吳先生是中國第一位國家最高科學獎的得主，因為在數學機械化方面的成就。
那么什么是数学机械化呢？就是用计算机完成数学的方程计算和证明。
計算機解方程早已不是新聞。 計算機證明研究在2006年結束。
機器為什麼不能證明數學定理
因為： 1，所有的數學定理都是全稱判斷，即一切A是B。
2，全稱判斷的主項都是普遍概念或者單獨概念。
3，普遍概念的特徵就是依據事物的屬性。
4，機器不能判定屬性，例如，判定一個人是男人還是女人的工作是生物化學的，染色體xx是女性，xy是男性。
因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。
機器證明只是一個自欺欺人的把戲
居然獲得國家最高獎。你們說，中國大陸數學家有多麼壞。
中國數學家故意惡搞國家獎項，把科學獎勵的級別和層次弄的烏煙瘴氣。同時故意打壓真正的重大創新，於國家的整體利益不顧。
整个数学领域帮派林立，明争暗斗，投机取巧，数学研究实际上停滞不前。
美国的哈肯等人用机器证明四色定理，并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样，如果吴文俊用机器证明了一些猜想，那倒是可以重奖。
吳文俊真的是淡泊名利嗎
吳文俊在2006年就已經知道機器證明是荒唐的，就停止搞機器證明了。但是，虛榮心使得吳文俊見利忘義，至死沒有公開承認錯誤。死後還有人繼續造假造謠誤導群眾。