迈克�@阿蒂亚的证明错误百出

  

  阿蒂亚的证明只有短短的五页纸！其中证明只有15行！可真的有那厶简单吗？阿蒂亚在第二节定�@的TODD函数就不靠谱，而这恰恰是证明的关键所在。

 

   阿蒂亚是用了一个TODD函数的公式，假定有與黎曼猜想矛盾的点存在，这个公式是收缩的，那厶就可以把一个个点代入这个公式，如果没有一个点成立，那厶他就证明了黎曼公式。

 阿蒂亚的证明属於　效格，並且违反了逻辑规则 

第一，阿蒂亚的“证明”在形式上也是错误的，根�蒲�绎推理三段论的逻辑规则∶

 1，在两个否定的前提中不能得出结论,。

 2，如果大前提是特称判断，小前提是否定判断，不能得出结论。

 3，前提中有一个是特称判断，那厶结论必须是特称判断。

 4，前提中如果有一个是否定判断，那厶结论中必须是否定判断。

 5，在前提中不周延的概念，在结论中不得周延。 

 6，中项在两个前提中至少周延一次。

 7，三个不同性质判断中，只能有三个不同的概念。 

    阿蒂亚企图证明∶

   

大前提∶有一个否定黎曼猜想的点存在（特称否定判断）。

 

  小前提∶这个点不存在（否定判断）。

 

  结论∶黎曼猜想成立（全称肯定判断）。

  

 阿蒂亚的企图违反了上面所说的逻辑规则∶
1, 2, 3, 4，5、、、。 

三段论有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，假定。只能用在否定结果的证明中，例如，欧幾里得证明素数　穷多个；或者费马　穷递降法。

假定a成立，可以推出b，得到c，c與a矛盾，所以假定的a不能成立，得到非a。

   

  2，假定不能用在肯定的结论。假定a，可以推出b，得到c，c包含a，所以假定的a成立。（这个就是预期理由的错误）

    

 3，为什厶“假定”只能用於否定的结论，而不能用於肯定的结论？

  

     一个对科学理论更�@的逻辑制约因素是，它们是能�@被证伪的。换一句话说，因为以後能�@被观测作有意�@的检验，理论一定有被证伪的可能性。这種证伪的判�剖�区分科学與伪科学的一種方法。原因在於证实的内在局限性，证实只能增加一个理论的可信度，�@不能证明整个理论的完全正確。因为在未来的某一个时刻，总是会发现與理论有�@突的事例。 

 现在我们问∶阿蒂亚证明的黎曼猜想是否成立呢？

1，阿蒂亚证明黎曼猜想成立，就是说他假设的那个“点”被证明没有，假设是建立在预期理由上，违反逻辑。

2，阿蒂亚证明了黎曼猜想不成立，有那一个“点”存在，就是说阿蒂亚找到了反例，那厶根本不需要什厶在证明，指出反例就可以了。可是，阿蒂亚没有找到反例。