| 单词 | 人们用了多久才证明出四色定理？ |
| 释义 | 人们用了多久才证明出四色定理？ 四色问题最早是弗朗西斯·古德里（Francis Guthrie，1831—1899）在1852年提出的。在对英格兰郡县的地图进行上色时，古德里发现仅用4种颜色便能保证任何两个相邻郡县为不同的颜色。他进一步推测，每张地图，无论国家的数量与复杂性，是否仅用4种颜色便能保证相邻国家不重色。直到1976年（问题提出124年后），凯尼斯·阿佩尔（Kenneth Appel，1932—）与沃夫冈·哈肯（Wolfgang Haken，1928—）才证明了四色定理。虽然它们的证明是由计算机验证的，但是这个证明确是准确无误的。目前还没有人工证明的简单方法。 |
| 随便看 |
科学时代收录了15440条科普词条，基本涵盖了常见科普常识及英语词汇的翻译，是科学学习和研究的有利工具。