吳文俊機器證明大騙局真相檢視原始碼討論檢視歷史

吳文俊機器證明是個什麼東西

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

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

計算機解方程早已不是新聞。

計算機證明研究在2006年結束。

機器證明已經失敗

因為： 1，只能對已知的幾何問題進行「證明」，就是說已經有結果的工作可以用計算機重複性「證明」。沒有創新性可言。 2，不能對未知的幾何問題進行證明。 3，更不能對其他例如數論微分幾何拓撲學問題進行證明。

因為目前命題邏輯還有許許多多的問題沒有解決，是不可能對複雜問題進行證明的

機器證明只是一個自欺欺人的把戲。居然獲得國家最高獎。你們說，中國大陸數學家有多麼壞。中國數學家故意惡搞國家獎項，把科學獎勵的級別和層次弄的烏煙瘴氣。同時故意打壓真正的重大創新，於國家的整體利益不顧。

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

機器證明從本質上講，不可能有重大創新

因為機器就是機械的方法去完成一些工作。與電腦編寫程序沒有太大的區別。吳文俊等人搞機器證明獲得國內科學大獎是拔高自己的成果。是另外一種形式的造假。

     美国的哈肯等人用机器证明四色定理，并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样，如果吴文俊用机器证明了一些猜想，那倒是可以重奖。
      而吴文俊张景中等人的机器证明显然违反认识论的。你吴文俊怎麼不去推导一个伟大的猜想？如果你能够利用机器证明哥德巴赫猜想，你吴文俊就是了不起。可是，吴文俊只会造假。 
       因为搞机器证明的当选院士的还有张景中。

吳文俊因為機器證明獲得國家最高獎，是極不嚴肅的

如此低劣的垃圾，竟然得到最高獎，太可笑了。據國際上通行的觀念，一項成果，如果不能夠產生或者開創新的領域，就不能算重大成果。機器證明的意義是低下的，當然，比陳景潤張益唐造假要好的多。機器證明不能開拓新的數學。只不過是在已知的範圍內循環運動。

吳文俊真的是淡泊名利嗎？

吳文俊在2006年就已經知道機器證明是荒唐的，就停止搞機器證明了。但是，虛榮心使得吳文俊見利忘義，至死沒有公開承認錯誤。死後還有人繼續造假造謠誤導群眾。 中國數學家其實到現在依然沒有原創性重大成果。他們存在的唯一目的就是——千萬不能讓其他人產生重大成果。 吳文俊只是一個數學流氓而已。