注册 登录
美国中文网首页 博客首页 美食专栏

wxmwrk的个人空间 //www.sinovision.net/?541216 [收藏] [复制] [分享] [RSS]

分享到微信朋友圈 ×
打开微信,点击底部的“发现”,
使用“扫一扫”即可将网页分享至朋友圈。

一个逻辑学盲点导致数学界在四色定理证明蛮干

已有 1068 次阅读2019-4-13 23:12 |系统分类:科技教育分享到微信


一,下面是四色定理证明发生的过程:

1条:平面或者球面只能画出4个两两相连区域,说明3种颜色对地图染色是不够的(必要条件)。

一个逻辑学盲点导致数学界在四色定理证明蛮干_图1-1

2条:A德摩根证明了平面或者球面不能画出5个和5个以上的两两相连的区域(充分条件)。


3条:于是得出结论:那么地图染色4种颜色就足够了。



4条:反驳上面推论,下面这个图不是4个区域两两相连,依然需要4种颜色(6个区域,需要4种不同的颜色ABCD)。

一个逻辑学盲点导致数学界在四色定理证明蛮干_图1-2

的确,上面这个图不是4个区域两两相连,但是3种颜色是不够的。


二,第4条不是反例

1,上面的第4条的反驳不是反例。

2,反例是至少有一个实例可以推翻一个全称判断命题的结论

3,第4条没有否定第3条结论,也没有否定前提。

三,这个问题是逻辑学的盲点

数学家丧心病狂使用机器证明手段,由于命题逻辑大量问题没有解决,所以机器证明纯属胡闹。

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









鸡蛋

鲜花

握手

雷人

路过

评论 (0 个评论)

facelist

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

 留言请遵守道德与有关法律,请勿发表与本文章无关的内容(包括告状信、上访信、广告等)。
 所有留言均为网友自行发布,仅代表网友个人意见,不代表本网观点。

关于我们| 节目信息| 反馈意见 | 联系我们| 招聘信息| 返回手机版| 美国中文网   

©2020  美国中文网 Sinovision,Inc.  All Rights Reserved. TOP

回顶部