禁書下載 | 禁書 - 禁書網

吳先生是首位中國國家最高科學獎的得主，因為在數學機械化方面的所謂成就。
那麼什麼是數學機械化呢？就是用計算機完成數學的方程計算和命題證明。
計算機解方程早已不是新聞。
計算機證明研究在2006年結束。

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


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



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

首先，所有的數學定理全部都是全稱判斷，即「一切A是B」。。

其次，所有的全稱判斷的主項都是「普遍概念」或者「單獨概念」。

第三，普遍概念的定義就是依據事物的屬性。
有屬性的定理只能夠來自演繹推理，即三段論的形式。（形式）。

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


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