邁克爾阿迪亞證明黎曼猜想真相檢視原始碼討論檢視歷史
參見中國科學院智慧火花數學欄目
http://idea.cas.cn/viewdoc.action?docid=65419
邁克爾阿蒂亞的證明錯誤百出
Mkeady
阿蒂亞的證明只有短短的五頁紙！其中證明只有15行！可真的有那麼簡單嗎？阿蒂亞在第二節定義的TODD函數就不靠譜，而這恰恰是證明的關鍵所在。
阿蒂亞是用了一個TODD函數的公式，假定有與黎曼猜想矛盾的點存在，這個公式是收縮的，那麼就可以把一個個點代入這個公式，如果沒有一個點成立，那麼他就證明了黎曼公式。
阿蒂亞的證明屬於無效格OOA，並且違反了邏輯規則
阿蒂亞企圖這樣證明：
大前提：有一個否定黎曼猜想的點存在（特稱判斷）。
小前提：這個點不存在（否定判斷）。
結論：黎曼猜想成立（全稱肯定判斷）。
阿蒂亞的企圖違反了下面所說的邏輯規則：
第1條：如果大前提是特稱判斷，小前提是否定判斷，不能得出結論 。
就是說阿蒂亞通過一條否定判斷的前提和一條特稱判斷的前提不能得出一個全稱肯定判斷的結論。
根據演繹推理三段論的邏輯規則： 1，如果大前提是特稱判斷，小前提是否定判斷，不能得出結論。 2，在兩個否定的前提中不能得出結論。 3，前提中有一個是特稱判斷，那麼結論必須是特稱判斷。 4，前提中如果有一個是否定判斷，那麼結論中必須是否定判斷。 5，在前提中不周延的概念，在結論中不得周延。 6，中項在兩個前提中至少周延一次。 7，如果結果是否定判斷，那麼，前提中必有一個是否定判斷。如果結論是特稱判斷，那麼，前提中必有一個是特稱判斷。 8，三段論三個不同性質的判斷中，只能有三個不同概念。
三段論有256個可能式，有效式只有24個。
例如：
第一格有 AAA; AII; EAE; EIO;EAO;AAI。
第二格有AEE; EAE;AOO;EIO;AEO;EAO。
第三格有AAI;AII;EAO;EIO;IAI;OAO.
第四格有AAI;AEE;EAO;EIO;IAI;AEO.
而邁克爾阿蒂亞的格OOA屬於無效格。
這樣的證明沒有價值。
黎曼猜想
參見中國科學院智慧火花 1，數學欄目 邁克爾阿迪亞證明黎曼猜想錯誤百出 http://idea.cas.cn/viewdoc.action?docid=65419 , 2，物理學欄目 黎曼猜想與物理學 http://idea.cas.cn/viewdoc.action?docid=67996 馬克思認為：一個人精神失常，極容易被識別，一群人精神失常，卻很難被發覺。而最先發現並指出的人，通常會被認為是精神病。共產主義就是讓99%的人成為精神病。
一，什麼是黎曼猜想 黎曼猜想由數學家波恩哈德·黎曼（1826--1866）於1859年提出。它是數學中一個重要而又著名的未解決的問題。多年來它吸引了許多出色的數學家為之絞盡腦汁。克雷數學研究所以100萬美元獎勵證明黎曼猜想的人。 黎曼猜想：
黎曼ζ函數， 或者寫成：
非平凡零點(在此情況下是指s不為-2、-4、-6，‧‧‧ 等點的值,s=x+yi)的實數部分x是1/2。
二，黎曼猜想命題的邏輯結構的主項是一個集合概念
黎曼猜想面對無窮多個零點： 主項：所有的非平凡零點 連接詞： 都 謂項：位於直線1/2+yi的「臨界線」上的性質」】判斷。
屬於集合概念的命題，就從整體上無法證明，只能一個個驗證。因為，所有的數學定理都是全稱判斷，所有的全稱判斷的主項都是普遍概念和單獨概念。 並且這個黎曼公式是一個開放的公式，沒有封閉，更加增加了不確定性。
1，普遍概念和單獨概念 a，普遍概念反映的是一個對象以上的概念，反映的是一個「類」，這個詞項的內涵由為了包含在詞項外延所必須具有的事物的性質組成。 普遍概念的每一個個體必然具有這個概念的基本屬性。例如：「工人」是一個普遍概念，無論「石油工人」，「鋼鐵工人」，還是「中國工人」，「德國工人」，它們必然地具有「工人」的基本屬性。數學中的普遍概念有例如「素數」，「合數」，等。「素數有無窮多個」就是普遍概念的命題。 b，單獨概念，是獨一無二的概念，外延只有一個，例如「上海」、「孫中山」。數學中的單獨概念有「e」、「π」。「e是一個超越數」就是單獨概念的命題。
2，集合概念 集合概念反映的是集合體，這個詞項的外延由詞項所應用的事物集合組成，例如「中國工人階級」，集合體的每一個個體不是必然具備集合體的基本屬性，例如某一個「中國工人」，不是必然具有「中國工人階級」的基本屬性。
世界上沒有一個數學定理的主項是集合概念，所有的數學定理的主項都是普遍概念或者單獨概念。
三，一個公式是集合概念或者普遍概念的區別
1，普遍概念命題公式
「具有這種性質的元素：1，都屬於這種事物。2，有多少數量」的判斷。 公式中沒有變量，或者有變量n並且可以無窮大，但是根據計算結果可以判斷事物的性質，是普遍概念命題公式。 例如勾股定理公式，橢圓公式，....。 普遍概念的公式，在計算之前，就知道了計算結果的性質。例如，我們看到a²+b²=c²就知道是一個直角三角形。
2，集合概念命題的公式 「某個事物（某個形式）的所有元素或者多個元素具有某種性質」 的判斷。 集合概念公式的特徵就是：在證明或者計算某一個具體的數值之前，是無法知道這個數值結果的性質。 並且，黎曼猜想的每一個「零點」的S=X+Yi中的虛部Y值都是不同的。 這個例如，歐拉在1772年素數公式，是一個集合概念公式：
f(n)=nⁿ+n+41
的值都是素數。對於前幾個自然數n = 0, 1, 2, 3...，多項式的值是41, 43, 47, 53, 61, 71...。當n等於40時，多項式的值是1681=41×41，是一個合數。實際上，當n能被41整除的時候，P(n)也能被41整除，因而是合數.。
集合概念的公式不能保證計算結果具有這個公式想要的結果性質，是一種不確定的結果公式。因為集合概念的每一個個體不是必然具有這個概念的基本屬性。我們知道，黎曼猜想的每一個「零點」的S=X+Yi中的虛部Y值都是不同的。這個公式是一種形式上的集合，就是全部具備這種形式。
四，黎曼猜想是一個二階邏輯問題，無法得到完整證明
黎曼猜想的：所有 「零點」 是一個集合，零點是這個對象上的函數，按照通常數學中定義，一個n元函數就是從論域A的個體的所有n元組的集合至A的一個映射。當我們用「所有個體」「存在個體」，量詞加在論域的個體上，稱為一階量詞。「所有函數」，「存在函數」，「所有關係」，「存在關係」是二階量詞，即二階邏輯。黎曼所說的「所有零點」就是「所有函數」的二階量詞。 黎曼猜想已經超出了G弗雷格建立的一階邏輯形式系統（即謂詞演算），涉及極為複雜的邏輯系統，一般的數學家對此毫無所知。
如果你不能理解二階邏輯，我做一個比喻，「加速度」不是一個基本量（例如長度或者質量什麼的），它是二階變化率，即變化率的變化率。物理學二階邏輯問題還有三體問題（月球、地球、太陽）和多體問題，都是無法一次性解決的問題。 黎曼猜想即：所有A（零點）成立的充分必要條件是包含A之中的B（s=x+yi時x=1/2成立）成立。 當所有的主項能夠成立必須依賴於謂項成立的命題就是二階邏輯命題。
一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。 邏輯語言中的定理表示的是一個公式集合，並且該公式集合中的每一個公式都代表着知識的一個片段，由此我們可以給定理一個更準確的表達（這裡所說的定理指的是在一階邏輯中的定理，通常來說任意一個命題集合往往不一定是定理）。一階邏輯可分成兩個主要的部分：語法決定哪些符號的組合是一階邏輯內的合法表示式，而語義則決定這些表示式之前的意思 因為數學只能處理最低級的無窮，不能處理更加大的無窮，看到了康托爾的厲害了嗎？他認為無窮是有級別的。還因為證實的局限性，證實只能增加一個可信度，卻不能證明理論完全正確。
五，數論中的猜想是不可靠的
數論中僅僅憑藉猜想是不可靠的，只有通過嚴格證明才能確定。儘管已經得知有15億個零點符合黎曼猜想，還是不能用嚴格證明的方式解決。 例如，歐拉猜想三個自然數的4次方之和不可能是一個自然數的4次方，過了100多年，有人發現反例。
六，一個詞項是屬於什麼類型的概念，取決於當時的語境。
例如：
1，黎曼猜想是一個著名問題。
這一句話中的「黎曼猜想」是一個單獨概念。
2，「黎曼猜想中ζ 函數的所有非平凡零點（無窮多個）都位於複平面上 Re(s)=1/2 的直線上「。
這裡的「黎曼猜想」就是一個集合概念。
注意，黎曼函數還是一個公式，這個公式是集合概念的公式，它是面對無窮多個零點的公式。
所以黎曼猜想只能一個個驗證，而不能一攬子解決。
七，以往的證明都是錯誤的 在證明黎曼猜想的歷史中，美國萊文生1974年宣稱證明「至少」有34%的零點成立是荒唐的，這是一個特稱判斷，說明萊文生證明必然錯誤，並且在集合概念前面加數量詞34%，也是一種語法錯誤。一個笑話：「小張經過一年努力掌握了1000多個英語詞彙」。詞彙是集合概念，表示一種語言詞項的總匯，前面不能用「1000多個」限制。 中國也有一個傻逼樓世拓姚琦，1980年宣稱證明了「至少」有35%的零點成立，純屬無稽之談。以及更加傻逼的張益唐說自己有信心證明，真是沒有最傻逼，只有更傻逼。
普遍概念與集合概念的關係 1，集合概念可以包含多個或者無窮多個普遍概念，例如集合概念的「工人階級」可以包含許許多多的普遍概念的「工人」。 2，普遍概念可以與集合概念形成交叉關係 例如，素數，通常情況下是一個普遍概念，它是大於1並且只能被1和自身整除的自然數。可以將素數分為4k+1與4k-1兩種集合概念的類型(為什麼說4k+1形或者4k-1形素數是集合概念？因為對於輸入任何一個k值，在計算出來以後經過驗證才能知道是不是素數。)。
八，邁克爾阿蒂亞的證明錯誤百出 阿蒂亞的證明只有短短的五頁紙！其中證明只有15行！可真的有那麼簡單嗎？阿蒂亞在第二節定義的TODD函數就不靠譜，而這恰恰是證明的關鍵所在。 阿蒂亞是用了一個TODD函數的公式，假設有與黎曼猜想矛盾的點存在，這個公式是收縮的，那麼就可以把一個個點代入這個公式，如果沒有一個點成立，那麼他就證明了黎曼公式。
1， 阿蒂亞的證明是一個錯誤的格式OOA，違反三段論規則：
大前提：有一個否定黎曼猜想的點存在（特稱判斷）。
小前提：這個點不存在（否定判斷）。
結論：黎曼猜想成立（全稱肯定判斷）。
阿蒂亞的企圖違反了下面的邏輯規則第二條.
根據演繹推理三段論的邏輯規則： 1，在兩個否定的前提中不能得出結論。 2，如果大前提是特稱判斷，小前提是否定判斷，不能得出結論。 3，如果兩個前提中有一個是特稱判斷，那麼結論必是特稱判斷。 4，如果兩個前提有一個否定判斷，結論必須是否定判斷。
5，在前提中不周延的概念，在結論中不得周延。
6，中項在兩個前提中至少周延一次。
7，如果前提中有一個是否定判斷，那麼結論必為否定判斷；如果結論為否定判斷，那麼前提中必有一個否定判斷。
8，三段論三個不同性質的判斷中，只能有三個不同概念。5，、、、、。 就是說阿蒂亞從兩個特稱否定判斷不能得出一個全稱肯定判斷。
這樣的證明沒有價值。 邁克爾阿蒂亞是一個邏輯學的白痴。 2，錯誤使用反證法 假定 【1】 ，假定。只能用在否定結果的證明中，例如，歐幾里得證明素數無窮多個；或者費馬無窮遞降法。
正確的反證法：假定a成立，可以推出b（a與b雙向傳遞），得到c，c與a矛盾，所以假定的a不能成立，得到非a。
阿蒂亞錯誤的反證法：
假定a成立，可以推出b（a與b雙向傳遞），得到c，c=非b。非b不能逆行傳遞到a。阿蒂亞是c與b矛盾，正確的方法是c與a矛盾。
【2】，假定不能用在肯定的結論。假定a，可以推出b，得到c，c包含a，所以假定的a成立。（這個就是預期理由的錯誤） 【3】 ，為什麼「假定」只能用於否定的結論，而不能用於肯定的結論？ 一個對科學理論更強的邏輯制約因素是，它們是能夠被證偽的。換一句話說，因為以後能夠被觀測作有意義的檢驗，理論一定有被證偽的可能性。這種證偽的判據是區分科學與偽科學的一種方法。原因在於證實的內在局限性，證實只能增加一個理論的可信度，卻不能證明整個理論的完全正確。因為在未來的某一個時刻，總是會發現與理論有衝突的事例。 3，三段論的兩個前提必須是真實的才能推出結論 一個三段論的命題要求前提必須真實，邁克爾阿蒂亞和許許多多的數學家在推理過程中，使用不真實的前提，當然不能得出正確的結論