吳文俊事件真相檢視原始碼討論檢視歷史

吳文俊因為數學機器證明——數學機械化獲得國家最高科學獎和邵逸夫數學獎，吳文俊胡編亂造坑蒙拐騙得到科學獎成為中國科學史上最可恥的記錄。

吳文俊機器證明是個什麼垃圾

吳文俊先生已經去世，享年98歲。吳先生是中國第一位國家最高科學獎的得主，因為在數學機械化方面的成就。

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

計算機解方程早已不是新聞。計算機證明研究在2006年結束。

因為： 1，所有的數學定理都是全稱判斷，即一切A是B。

2，全稱判斷的主項都是普遍概念或者單獨概念。

3，普遍概念的特徵就是依據事物的屬性。

4，機器不能判定屬性，例如，判定一個人是男人還是女人的工作是生物化學的，染色體xx是女性，xy是男性。

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

居然獲得國家最高獎。你們說，中國大陸數學家有多麼壞。

中國數學家故意惡搞國家獎項，把科學獎勵的級別和層次弄的烏煙瘴氣。同時故意打壓真正的重大創新，於國家的整體利益不顧。

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

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

吳文俊在2006年就已經知道機器證明是荒唐的，就停止搞機器證明了。但是，虛榮心使得吳文俊見利忘義，至死沒有公開承認錯誤。死後還有人繼續造假造謠誤導群眾。