467
次編輯
變更
创建页面，内容为“参见中国科学院智慧火花数学栏目 http://idea.cas.cn/viewdoc.action?docid=65419 '''迈克尔阿蒂亚的证明错误百出''' Mkeady 阿蒂亚的证…”
参见中国科学院智慧火花数学栏目
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属于无效格。
这样的证明没有价值。
黎曼猜想
https://math.wikia.org/zh/wiki/%E9%BB%8E%E6%9B%BC%E7%8C%9C%E6%83%B3
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属于无效格。
这样的证明没有价值。
黎曼猜想
https://math.wikia.org/zh/wiki/%E9%BB%8E%E6%9B%BC%E7%8C%9C%E6%83%B3