一曲白癡的頌歌————吳文俊機器證明獲得國家最高科學(xué)獎?

吳文俊先生已經(jīng)去世，享年98歲。吳先生是中國第一位國家最高科學(xué)獎的得主，因為在數(shù)學(xué)機械化方面的“成就”。
那么什么是數(shù)學(xué)機械化呢？就是用計算機完成數(shù)學(xué)的方程計算和證明。
計算機解方程早已不是新聞。
計算機證明研究在2006年結(jié)束。


為什么機器證明是荒唐的？

因為1，所有的數(shù)學(xué)定理都是全稱判斷，即“一切A是B”。

因為2，所有的全稱判斷的主項都是普遍概念（或者單獨概念）。

因為3，普遍概念的特征就是依據(jù)這個詞項的本質(zhì)屬性定義的。

就是說，所有的數(shù)學(xué)定理都是具有屬性，沒有屬性的全稱判斷不是定理，而是恒等式（例如，二項式定理就不是“定理”，而是恒等式）。

因為4，這個定理所有的元素如果是無窮的，這個定理的主項必須是普遍概念，因為，沒有共同屬性的集合是不能一次性斷定的。



因為5，，有屬性的定理只能夠來自演繹推理，即三段論的形式。沒有屬性的只是恒等式，不是定理。

因為6，機器推理（證明）不能判定屬性

例如，機器無法識別性別，因為性別的識別是生物化學(xué)，例如人的染色體xy，我們知道是雄性；如果是xx，我們知道是雌性。機誡是不能代替化學(xué)方法的。


因為7，機器不能在推理中解決傳遞性。

證明過程必須具有傳遞性，沒有傳遞性的證明是無效的。而傳遞性依賴屬性判斷。



傳遞關(guān)系是一種特殊關(guān)系，指A與B；B與C；,都有，可以推知A與C也有。

1】,可以傳遞關(guān)系的情況：甲和乙是親兄弟，乙和丙是親兄弟，所以，甲和丙也是親兄弟（親兄弟一詞必須嚴(yán)格定義屬性，因為有同父同母的親兄弟；有同父異母的親兄弟；有同母異父的親兄弟；有亂倫情況下的親兄弟，例如兒子與母親通奸生產(chǎn)的孩子。機器不能判定屬性，決定親緣屬性必須通過生物化學(xué)完成。）。

2】,反傳遞情況，老張是大張的父親，大張是小張的父親，所以，老張不是小張的父親（父親也要嚴(yán)格定義，參見上面情況）。

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




a，普遍概念反映的是一個對象以上的概念，反映的是一個“類”，這個詞項的內(nèi)涵由為了包含在詞項外延所必須具有的事物的性質(zhì)組成。
就是說，普遍概念的每一個個體必然具有這個概念的基本屬性。例如：工人，無論“石油工人”，“鋼鐵工人”，還是“中國工人”，“德國工人”，它們必然地具有“工人”的基本屬性。數(shù)學(xué)中的普遍概念有例如“素數(shù)”，“合數(shù)”，等。“素數(shù)無窮多”就是一個普遍概念的命題。
b，所有的單獨概念都是有屬性的?！癳是超越數(shù)”，e是單獨概念，超越數(shù)是屬性；“孫中山是中國革命的先行者”，孫中山是單獨概念，“革命先行者”是屬性。....。

c，集合概念反映的是集合體，這個詞項的外延由詞項所應(yīng)用的事物集合組成，例如“中國工人階級”，集合體的每一個個體不是必然具備集合體的基本屬性，例如某一個“中國工人”，不是必然具有“中國工人階級”的基本屬性。集合概念的命題是不需要證明的，也是無法證明的，只能是歸納總結(jié)。）
所以，數(shù)學(xué)定理的主項必須是普遍概念。世界上沒有任何一個數(shù)學(xué)定理的主項是集合概念




美國的哈肯等人用機器證明四色定理，屬于無知。

而吳文俊張景中等人的機器證明顯然也是無知。

因為搞機器證明的當(dāng)選院士的還有張景中。吳文俊因為機器證明獲得國家最高獎，是極不嚴(yán)肅的。如此低劣的垃圾工作，竟然得到最高獎，太可笑了。

吳文俊在2006年就已經(jīng)知道機器證明是荒唐的，就停止搞機器證明了。目前命題邏輯還有許許多多的問題沒有解決，是不可能對復(fù)雜問題進行證明的。