立即注册 登录
华人科学网 (华科网) 返回首页

wxmwrk的个人空间 http://www.sciencenets.com/?995 [收藏] [复制] [分享] [RSS]

博客

已有 71 次阅读2018-9-24 22:06 |系统分类:学术打假

迈克尔阿蒂亚证明黎曼猜想出来了——错误百出

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

     阿蒂亚的证明只有短短的五页纸!其中证明只有15行!可真的有那么简单吗?阿蒂亚在第二节定义的TODD函数就不靠谱,而这恰恰是证明的关键所在。

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

阿蒂亚的证明属于无效格OOA,并且违反了逻辑规则


    阿蒂亚企图证明

    大前提:有一个否定黎曼猜想的点存在(特称否定判断)。

    小前提:这个点不存在(否定判断)。

    结论:黎曼猜想成立(全称肯定判断)。

    阿蒂亚的企图违反了下面所说的逻辑规则第1条:



阿蒂亚的“证明”在形式上也是错误的,根据演绎推理三段论的逻辑规则:

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

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

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

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

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

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

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


三段论有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=非b,而非b不能传递到a。

    正确的反证法是c与a矛盾;错误的反证法是c与b矛盾。




G
M
T
检测语言世界语中文简体中文繁体丹麦语乌克兰语乌兹别克语乌尔都语亚美尼亚语伊博语俄语保加利亚语信德语修纳语僧伽罗语克罗地亚语冰岛语加利西亚语加泰罗尼亚语匈牙利语南非祖鲁语卡纳达语卢森堡语印地语印尼巽他语印尼爪哇语印尼语古吉拉特语吉尔吉斯语哈萨克语土耳其语塔吉克语塞尔维亚语塞索托语夏威夷语威尔士语孟加拉语宿务语尼泊尔语巴斯克语布尔语(南非荷兰语)希伯来语希腊语库尔德语弗里西语德语意大利语意第绪语拉丁语拉脱维亚语挪威语捷克语斯洛伐克语斯洛文尼亚语斯瓦希里语旁遮普语日语普什图语格鲁吉亚语毛利语法语波兰语波斯尼亚语波斯语泰卢固语泰米尔语泰语海地克里奥尔语爱尔兰语爱沙尼亚语瑞典语白俄罗斯语科萨科西嘉语立陶宛语索马里语约鲁巴语缅甸语罗马尼亚语老挝语芬兰语苏格兰盖尔语苗语英语荷兰语菲律宾语萨摩亚语葡萄牙语蒙古语西班牙语豪萨语越南语阿塞拜疆语阿姆哈拉语阿尔巴尼亚语阿拉伯语韩语马其顿语马尔加什语马拉地语马拉雅拉姆语马来语马耳他语高棉语齐切瓦语
世界语中文简体中文繁体丹麦语乌克兰语乌兹别克语乌尔都语亚美尼亚语伊博语俄语保加利亚语信德语修纳语僧伽罗语克罗地亚语冰岛语加利西亚语加泰罗尼亚语匈牙利语南非祖鲁语卡纳达语卢森堡语印地语印尼巽他语印尼爪哇语印尼语古吉拉特语吉尔吉斯语哈萨克语土耳其语塔吉克语塞尔维亚语塞索托语夏威夷语威尔士语孟加拉语宿务语尼泊尔语巴斯克语布尔语(南非荷兰语)希伯来语希腊语库尔德语弗里西语德语意大利语意第绪语拉丁语拉脱维亚语挪威语捷克语斯洛伐克语斯洛文尼亚语斯瓦希里语旁遮普语日语普什图语格鲁吉亚语毛利语法语波兰语波斯尼亚语波斯语泰卢固语泰米尔语泰语海地克里奥尔语爱尔兰语爱沙尼亚语瑞典语白俄罗斯语科萨科西嘉语立陶宛语索马里语约鲁巴语缅甸语罗马尼亚语老挝语芬兰语苏格兰盖尔语苗语英语荷兰语菲律宾语萨摩亚语葡萄牙语蒙古语西班牙语豪萨语越南语阿塞拜疆语阿姆哈拉语阿尔巴尼亚语阿拉伯语韩语马其顿语马尔加什语马拉地语马拉雅拉姆语马来语马耳他语高棉语齐切瓦语
文本转语音功能仅限200个字符

路过

鸡蛋

鲜花

握手

雷人
分享到: 更多

发表评论 评论 (1 个评论)

回复 wxmwrk 2018-9-25 06:53
阿蒂亚昨天的证明只有短短的五页纸!其中证明只有15行!可真的有那么简单吗?阿蒂亚在第二节定义的TODD函数就不靠谱,而这恰恰是证明的关键所在。
     阿蒂亚是用了一个TODD函数的公式,假设有与黎曼猜想矛盾的点存在,这个公式是收缩的,那么就可以把一个个点代入这个公式,如果没有一个点成立,那么他就证明了黎曼公式。

    阿蒂亚的“证明”在形式上也是错误的,根据逻辑规则:1,在两个否定的前提中不能得出结论,2,如果大前提是特称判断,小前提是否定判断,不能得出结论。3,其他、、、。

    阿蒂亚企图证明:

    大前提:有一个否定黎曼猜想的点存在。

    小前提:这个点不存在

    结论:黎曼猜想成立。

    阿蒂亚的企图违反了上面所说的逻辑规则。

    好比说:

    大前提:有一个否定“男人都有一个y染色体”个体(即“没有y染色体的男人”)存在,

    小前提:不存在这样的男人

    结论:所有的男人都有一个y染色体。

    这样的证明没有价值。

facelist

您需要登录后才可以评论 登录 | 立即注册

Archiver|手机版|小黑屋|华人科学网 (华科网)  

GMT+8, 2018-12-15 23:43

返回顶部