吳文俊是首位中國國家最高科學獎的得

主，因為在數學機械化方面的謊言。

      那麼什麼是數學機械化呢？就

是用計算機完成數學的方程計算和命題證

明。

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

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

      機器證明數學定理已經失敗。因為：


        因為，目前命題邏輯還有

許許多多的問題沒有解決，是不可能對復

雜問題進行證明的。

      為什麼機器證明數學定理是荒唐的？

首先，所有的數學定理全部都是全稱判

斷，即“一切A是B”。。

其次，所有的全稱判斷的主項都是“普遍

概念”或者“單獨概念”。

第三，普遍概念的定義就是依據事物的屬

性。

有屬性的定理只能夠來自演繹推理，即三

段論的形式。（形式）。

第四，機器不能判定屬性。例如判定一個

人的性別是生物化學的工作，即染色體xx

是女人，xy是男人。

機器證明數學命題本質就是——————

人工智障！而機器僅能執行符號操作，無法理解屬性背後的語義.

中國數學界就是一群烏合之眾。

人工智能的反義詞就叫人工智障。

人工智障含義非常明確，就是企圖完成無

法完成的工作。