迈克尔阿蒂亚的证明错误百出
阿蒂亚的证明只有短短的五页纸！其中证明只有15行！可真的有那么简单吗？阿蒂亚在第二节定义的TODD函数就不靠谱，而这恰恰是证明的关键所在。 
阿蒂亚是用了一个TODD函数的公式，假定有与黎曼猜想矛盾的点存在，这个公式是收缩的，那么就可以把一个个点代入这个公式，如果没有一个点成立，那么他就证明了黎曼公式。 
一，阿蒂亚的证明属于无效格IOA，并且违反了逻辑规则
阿蒂亚企图这样证明：
大前提：有一个否定黎曼猜想的点存在（特称判断I）。
小前提：这个点不存在（否定判断O）。
结论：黎曼猜想成立（全称肯定判断A）。
阿蒂亚的企图违反了下面所说的逻辑规则：
第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.
而迈克尔阿蒂亚的格IOA属于无效格。
这样的证明没有价值。
三，错误使用反证法：
1，正确的反证法：例如，欧几里得证明素数无穷多个；或者费马无穷递降法。 假定a成立，可以推出b（a与b可以双向传递），得到c，c与a矛盾，所以假定的a不能成立，得到非a。 2，迈克尔阿蒂亚错误的反证法 假定a，可以推出b（a与b可以双向传递），得到c，c=非b，即c与b矛盾，就无法传递到a了。 3，差别在哪里？ 正确的是a与c矛盾；错误的是b与c矛盾。 迈克尔阿蒂亚智商如此低下，以前“证明”的所谓“指标定理”很可能是错误的，等我找到他原始论文，再来收拾他。 4，举例 A,欧几里得证明素数无穷多个的反证法： 第一步（假定a），假定素数是有限的（全称判断）， 第二步（可以推出b），可以推出一个最大素数Ps（特称判断）， 第三步（得到c），于是我们构造一个N, 这个N=P₁P₂P₃....Ps+1，与第一步的全称判断矛盾，所以假设的第一步a不成立。 第四步，得到非a。矛盾关系是一种对称关系和反传递关系，就是可以逆向传递的。 否定了素数是有限的就得到了素数是无限多的结论。 
B，迈克尔阿蒂亚的企图 第一步（假定a）：假定黎曼猜想不能成立。 第二步（可以推出b？）：存在一个使得黎曼猜想不能成立的点，即实部不是1/2。（阿蒂亚不可能推出一个明确的点。） 第三步（得到c）：阿蒂亚也不可能获得c，即不可能否定假设的点不存在。因为他不可能找到那个具体的点（即实部不是1/2）. 第四步：没有第四步。
四，最近有一个数学狂徒——北京大学的李忠宣称自己证明了黎曼猜想。 李忠教授出生于 1936 年 8 月，今年已 82 岁高龄。曾在 1960 年毕业于北京大学数学力学系，随即留校任教。在 1980 年升为副教授，1985 年被评为教授、博士生导师，1987 年至 1991 年曾担任北京大学数学系主任。其研究主要领域为基础数学复分析。 李忠这样一个大陆被马列邪教洗脑出来的所谓数学家，对数学证明一窍不通，居然有人去听，说明整个大陆数学家都是白痴。无可救药。
| 
