2025年度陳省身數學獎被惡搞：獲得者王國貞和周濤的工作都是錯誤

數學命題證明需要演繹證明，不能是歸納法證明。

因為數學是研究數量-空間結構-數量和空間結構的變化，我們面對的情況是複雜的和變化的，常常需要從一個時空到另外一個時空，從一個命題推出另外一個命題，從一個判斷中得到另外一個判斷。

我們從已知命題推斷出未知命題的行為叫推理，已知命題叫前提，未知命題叫結論。我們證明一個結論的系統化行為，叫做論證。

邏輯就是確保這些推理和論證能夠有效的規則。邏輯學就是研究這些有效推論和論證規則與標準的學科。

邏輯為有效性推理提供了合法性，邏輯的合法性即邏輯起作用的底層原理是什麼？

邏輯的本質內涵是：通過老概念理解新概念，通過已知命題來推斷未知命題。從老範疇中得到新範疇。

邏輯本質是處置我們心智中的問題和擴大我們的認知範圍。

這種擴大有三種有效路徑：

1，演繹推理，就是從大範疇中找到小範疇的推理；前提與結論是蘊含關係。得出的結論是必然判斷。

2，歸納推理，從眾多小範疇中找到大範疇的推理；

3，類比推理，在相似的範疇之間找到共性的東西和不同的東西。我們藉助從老命題引向新的命題-從已知引向未知的。

只有演繹推理形式是必然有效的，因為大範疇的存在，是小範疇存在的充分條件，所以，演繹推理是必然的因果關係推理。

而歸納和類比推理不是，邏輯上也不會用有效性與否來評價這兩類推理，只會說歸納強度和類比的可接受性。所以也叫或然性推理。數學定理不能是或然判斷。

數學歸納法產生的不是定理，因為歸納無法歸納出未知元素的屬性。

歸納是在一個有窮大的樣本中逐一列舉, 只要樣本空間沒有被窮盡, 使用的都是簡單枚舉歸納推理。

例如哥德巴赫猜想的產生：原始信息（6=3+3，8=3+5，..。就是逐一歸納有限的樣本，具有某種性質（兩個素數之和），於是歸納推出“哥德巴赫猜想”，推導出數量有無窮多個偶數的樣本也具有某種性質），如果再用歸納法證明，好比歸納了兩次，只能增加命題的可信度，不能證明整個命題有效。

對於無窮大的樣本, 我們根本不可能窮盡該樣本空間, （例如哥德巴赫猜想中的偶數就有無窮多個）因此只能使用簡單枚舉歸納推理，簡單枚舉歸納推理是一種擴大前提的推理, 它的結論是不可靠的。（我們中學裡介紹的數學歸納法，對於1成立，n成立，n+1也成立，也僅僅用於恆等式，恆等式沒有屬性。歸納法不能用於定理的證明。）

就是說，數學命題證明必須是正確的形式--演繹法和演繹法中正確的格式。最後告訴大家，全世界幾乎99%的數學定理都是使用錯誤的歸納法證明的，或者錯誤的格式證明的，都是無效的。哪裡有象現在這樣，每一年產生20萬條所謂“定理”。

真理的產生是非常困難的，成本是巨大的；需要大量的錯誤作為鋪墊，需要漫長的時間試錯，數學兩千年都沒有邁過。

王國貞歸納法證明

周濤歸納法證明

編輯