世界难题MicrosoftWord文档.doc

四色猜想

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