| 迈克阿蒂亚对黎曼猜想的证明错 |
| 送交者: wxmwrkhp 2018月09月24日21:36:05 于 [教育学术] 发送悄悄话 |
| 回 答: 海归博士夫妻回国后悔：在国内生存太难 由 bunny2 于 2018-09-20 05:58:58 |
|
迈克阿蒂亚的证明错误百出 阿蒂亚的证明只有短短的五页纸！其中证明只有15行！可真的有那厶简单吗？阿蒂亚在第二节定的TODD函数就不靠谱，而这恰恰是证明的关键所在。 阿蒂亚是用了一个TODD函数的公式，假定有与黎曼猜想矛盾的点存在，这个公式是收缩的，那厶就可以把一个个点代入这个公式，如果没有一个点成立，那厶他就证明了黎曼公式。 阿蒂亚的证明属于 效格，并且违反了逻辑规则 第一，阿蒂亚的“证明”在形式上也是错误的，根演绎推理三段论的逻辑规则∶ 1，在两个否定的前提中不能得出结论,。 2，如果大前提是特称判断，小前提是否定判断，不能得出结论。 3，前提中有一个是特称判断，那厶结论必须是特称判断。 4，前提中如果有一个是否定判断，那厶结论中必须是否定判断。 5，在前提中不周延的概念，在结论中不得周延。 6，中项在两个前提中至少周延一次。 7，三个不同性质判断中，只能有三个不同的概念。 阿蒂亚企图证明∶ 大前提∶有一个否定黎曼猜想的点存在（特称否定判断）。 小前提∶这个点不存在（否定判断）。 结论∶黎曼猜想成立（全称肯定判断）。 阿蒂亚的企图违反了上面所说的逻辑规则∶ 三段论有256个可能式，有效式只有24个。 例如∶ 而迈克阿蒂亚的格OOA属于 效格。 这的证明没有价值。 第二， 错误在----假定 1，假定。只能用在否定结果的证明中，例如，欧几里得证明素数 穷多个；或者费马 穷递降法。 2，假定不能用在肯定的结论。假定a，可以推出b，得到c，c包含a，所以假定的a成立。（这个就是预期理由的错误） 3，为什厶“假定”只能用于否定的结论，而不能用于肯定的结论？ 一个对科学理论更的逻辑制约因素是，它们是能被证伪的。换一句话说，因为以后能被观测作有意的检验，理论一定有被证伪的可能性。这种证伪的判是区分科学与伪科学的一种方法。原因在于证实的内在局限性，证实只能增加一个理论的可信度，不能证明整个理论的完全正确。因为在未来的某一个时刻，总是会发现与理论有突的事例。 现在我们问∶阿蒂亚证明的黎曼猜想是否成立呢？ |
|
|
|
|
 |
 |
| 实用资讯 | |
|
|
|
|
| 一周点击热帖 | 更多>> |
|
|
|
| 一周回复热帖 |
|
|
| 历史上的今天：回复热帖 |
| 2017: | 本屆IAHLS新當選的學會負責人 | |
| 2017: | 國際考古學暨歷史語言學學會理事暨常務 | |
| 2016: | 司徒雷登眼中辛亥革命与美国哪次战争 | |
| 2016: | 维多利亚女王内裤拍出1.6万英镑高价( | |
| 2015: | 家长你选择什么方式帮孩子改正错误？ | |
| 2015: | bunny2：范例绝学：再谈“只可意会不可 | |
| 2014: | 其实当年读完物理博士是一件很傻很天真 | |
| 2014: | hare ：再谈语言范例 | |
| 2013: | 植物RNA直接进入血液的巨大意义 | |
| 2013: | 代议制统治原则 | |
