笔记百科什么是“四色问题”？
四色问题又称四色猜想，是世界近代三大数学难题之一。 四色问题的内容是“任何一张地图只用四种颜色就能使有共同边界的国家着上不同的颜色。”
1852年，在英国一家科研机构搞地图着色工作的格思里，首先提出了四色问题。 1872年，英国数学家凯利正式向伦敦数学学会提出这个问题，于是四色猜想成了世界数学界关注的问题。 电子计算机的发展促进了“四色问题”的研究进程。
美国数学教授哈肯和阿佩尔于1976年6月,使用伊利诺斯大学的电子计算机计算了1200个小时，作了100亿个判断，终于完成了四色定理的证明，轰动了世界。 不过不少数学家认为应该有一种简捷明快的书面证明方法
延伸阅读
1976年谁在美国大学证明了四色定理？
1976年,美国数学家阿佩尔与哈肯
四色定理（世界近代三大数学难题之一），又称四色猜想、四色问题，是世界三大数学猜想之一。四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线
地图四色定理（Four color theorem）最先是由一位叫古德里（Francis Guthrie）的英国大学生提出来的。
四色猜想的证明结果是什么？
结果是：
1976年美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，做了100亿种判断，终于完成了四色定理的证明。四色猜想于1852年提出以来已有164年，通俗的说法是；每个平面地图都可以只用四种颜色来着色，而且没有两个相邻的区域颜色相同。
什么是四色定理？
四色定理（世界近代三大数学难题之一），又称四色猜想、四色问题，是世界三大数学猜想之一。
四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。很多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。不过这些恰恰是对图论严密性的考证和发展推动。计算机证明虽然做了百亿次判断，终究只是在庞大的数量优势上取得成功，这并不符合数学严密的逻辑体系，至今仍有无数数学爱好者投身其中研究。
四色定律是什么？
四色定理又称四色猜想、四色问题，是世界三大数学猜想之一。四色定理是一个著名的数学定理，通俗的说法是：每个平面地图都可以只用四种颜色来染色，而且没有两个邻接的区域颜色相同。
1976年借助电子计算机证明了四色问题，问题也终于成为定理，这是第一个借助计算机证明的定理。
