海归论坛 :: 阅读主题 - 再来个学术的，把你们的头搞孕了，看你们还吵---世界近代三大数学难题之一: 四色问题

论坛首页 | 排行榜 | 在线私聊 | 专题 | 版规 | 搜索 | RSS | 注册 | 活动日历


主题: 再来个学术的，把你们的头搞孕了，看你们还吵---世界近代三大数学难题之一: 四色问题

海归论坛首页 -> 海归商务焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙

分屏

表形显示

阅读上一个主题 :: 阅读下一个主题

作者

再来个学术的，把你们的头搞孕了，看你们还吵---世界近代三大数学难题之一: 四色问题

sihua

头衔: 海归少校

加入时间: 2004/02/20
文章: 151

海归分: 12124

标题: 再来个学术的，把你们的头搞孕了，看你们还吵---世界近代三大数学难题之一: 四色问题 (836 reads) 时间: 2004-3-06 周六, 00:08

作者：sihua 在海归商务发贴, 来自【海归网】 http://www.haiguinet.com

四色猜想

世界近代三大数学难题之一。四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。

1852年10月23日，他的弟弟就这个问题的证明请教他的老师、著名数学家德.摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年哈密尔顿逝世为止，问题也没有能够解决。

1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。

11年后，即1890年，数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久，泰勒的证明也被人们否定了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题：先辈数学大师们的努力，为后世的数学家揭示四色猜想之谜铺平了道路。

进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，伯克霍夫在肯普的基础上引进了一些新技巧，美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。它不仅解决了一个历时100多年的难题，而且有可能成为数学史上一系列新思维的起点。不过也有不少数学家并不满足于计算机取得的成就，他们还在寻找一种简捷明快的书面证明方法。

作者：sihua 在海归商务发贴, 来自【海归网】 http://www.haiguinet.com

相关主题
还记得几年前说过的＂世界最美三棱锥＂吗？秀到学术研究里去了。（内有视频链接）	生活风情	2012-7-29 周日, 01:09
今天三鹿，明天四鹿，后天五鹿……这世界不缺新闻和新闻评论员。谈帖子的靠谱和...	海归主坛	2008-9-19 周五, 07:24
一步之遥，放松心情，抛弃你自己，进入姜文的世界	海归主坛	2014-12-21 周日, 10:22
[其它]猎头招聘，绝对高薪！世界500强手机企业硬件 ProjectL...	IT	2013-8-29 周四, 09:35
“钓鱼岛是中国的，苍井空才是世界的”，评价各地反日游行：	海归主坛	2012-9-23 周日, 09:08
[分享]我是澳大利亚商业信息技术硕士, MBA在读. 有5年澳洲top1通...	海归职场	2008-11-11 周二, 20:17
奥巴马面相分析：面干面瘦，脸无半两肉，做空美国及世界乱世，共和党的阴谋	海归主坛	2008-11-05 周三, 22:39
[转帖]Paulson 成功绑架中国后，正在谋图绑架全世界！(续三)	海归主坛	2008-10-03 周五, 15:03