四色猜想
提出者:格斯里提出时间:1852年研究进展:于1976年被计算机验证
内容表述:每幅地图都可以用4种颜色着色,使得有共同边界的国家着上不同的颜色。
四色猜想于1852年由英国学生格斯里提出,这一猜想的证明得益于计算机技术的发展。1976年6月,美国伊利诺斯大学的数学家阿佩尔和哈肯在3台不同的计算机上用了1200个小时,分析了2000个构形后成功证明这一猜想。它是第一个人机合作完成的著名数学证明,在数学界、计算机界,乃至哲学界都引起了广泛关注,引发了关于数学的本质、数学证明的意义等问题的深入讨论。另外,四色难题的研究还对平面图理论、代数拓扑学、有限射影几何和计算机编码程序设计等发展起到了重要的推动作用。