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

   那麼什麼是數學機械化呢？就是用計算機完成數學的方程計算和證明。

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

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

   機器證明已經失敗。因為：

1，只能對已知的幾何問題進行“證明”，就是說已經有結果的工作可以用計算機重複性“證明”。沒有創新性可言。

2，不能對未知的幾何問題進行證明。

3，更不能對其他例如數論微分幾何拓撲學問題進行證明。

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

例如數學證明的傳遞性：世界上沒有任何人能夠解決多個邏輯鏈條的正確推理。需要數學家邏輯學家和語言學家共同解決。

證明過程必須具有傳遞性，沒有傳遞性的證明是無效的，例如，證明費馬大定理過程中，費馬大定理與谷山志村猜想沒有傳遞性，所以，證明無效。

傳遞關係是一種特殊關係，指A與B；B與C；,都有，可以推知A與C也有。

傳遞關係，甲和乙是親兄弟，乙和丙是親兄弟，所以，甲和丙也是親兄弟（親兄弟一詞必須嚴格定義，機器無法對事物進行定義。因為有同父同母的親兄弟；有同父異母的親兄弟；有同母異父的親兄弟；有亂倫情況下的親兄弟，例如兒子與母親通姦生產的孩子。）。

反傳遞貢獻，老張是大張的父親，大張是小張的父親，所以，老張不是小張的父親（父親也要嚴格定義，參見上面情況）。

將非傳遞關係誤認為反傳遞關係：a地到b地100米，b地到c地100米，所以a地到c地不會是100米。（相距多遠是非傳遞關係，誤認為是反傳遞關係。例如等邊三角形三個頂點都是相等的）

最重要的是；機器不能判斷屬性！

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

因為2，所有的全稱判斷的主項都是普遍概念和單獨概念。普遍概念的特徵就是一個類的事物具有某種性質。例如“素數有無窮多個”的命題，主項“素數”是一種性質；命題“e是一個超越數”，謂項“超越數”是一種屬性。

因為3，機器無法識別屬性，例如識別性別是生物化學的工作：某種動物的染色體xy，我們知道是雄性；如果是xx，我們知道是雌性。機器不能代替化學工作。

 機器證明只是一個自欺欺人的把戲，可以說是胡編亂造。居然獲得國家最高獎。你們說，中國大陸數學家有多麼壞。

  因為搞機器證明的當選院士的還有張景中。吳文俊因為機器證明獲得國家最高獎，是極不嚴肅的。如此低劣的垃圾，竟然得到最高獎，太可笑了。據國際上通行的觀念，一項成果，如果不能夠產生或者開創新的領域，就不能算重大成果。機器證明的意義是低下的，機器證明不能開拓新的數學。只不過是在已知的範圍內循環運動。

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

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

--------------------------------------