禁書下載 | 禁書 - 禁書網

吳文俊是大陸數學家，1956年因為一些普通論文獲得自然科學一等獎，現在看，只能是垃圾論文，沒有什麼價值。
雷人的是吳文俊搞了一個機器證明獲得最高科學獎。吳文俊先生去年去世，享年98歲。吳先生是中國第一位國家最高科學獎的得主，因為在數學機械化方面的所謂成就。
那麼什麼是數學機械化呢？就是用計算機完成數學的方程計算和證明。
計算機解方程早已不是新聞。
計算機證明研究在2006年結束。

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

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

機器證明只是一個自欺欺人的東西。
吳文俊1956年 與華羅庚的論文《典型域上的多元複變函數論》獲國家自然科學一等獎，現在看來，只是一個很普通的論文，就連三等獎也不夠資格。其文化方面的淺薄可想而知人的把戲。吳文俊居然獲得國家最高獎。你們說，中國大陸數學家有多麼壞(1956年，。中國數學家故意惡搞國家獎項，把科學獎勵的級別和層次弄的烏煙瘴氣。同時故意打壓真正的重大創新，於國家的整體利益不顧。
整個數學領域幫派林立，明爭暗鬥，投機取巧，數學研究實際上停滯不前。

機器證明從本質上講，不可能有重大創新，因為機器就是機械的方法去完成一些工作。與電腦編寫程序沒有太大的區別。吳文俊等人搞機器證明獲得國內科學大獎是拔高自己的成果。是另外一種形式的造假。
美國的哈肯等人用機器證明四色定理，並沒有得到數學界的認可。不足以享有崇高榮譽。吳文俊也是一樣，如果吳文俊用機器證明了重大猜想，那倒是可以重獎。

吳文俊張景中等人的機器證明顯然違反認識論的。你吳文俊怎麼不去推導一個偉大的猜想？如果你能夠利用機器證明哥德巴赫猜想，你吳文俊就是了不起。可是，吳文俊只會造假。
因為搞機器證明的當選院士的還有張景中。吳文俊因為機器證明獲得國家最高獎，是極不嚴肅的。如此低劣的垃圾，竟然得到最高獎，太可笑了。據國際上通行的觀念，一項成果，如果不能夠產生或者開創新的領域，就不能算重大成果。機器證明的意義是低下的，當然，比陳景潤張益唐造假要好的多。機器證明不能開拓新的數學。只不過是在已知的範圍內循環運動。

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

中國數學家其實到現在依然沒有原創性重大成果。他們存在的唯一目的就是——千萬不能讓其他人產生重大成果。