四色定理的三代证明

摘要：

四色猜想是图论中的一个重要问题.它从猜想到定理历经三代证明:1976年阿佩尔和哈肯的计算机辅助证明、1994年西缪尔等人的修正、2005年贡蒂埃的形式证明.每一代证明都有其特点和不足.本文对这三代证明进行了简单的评述,说明由一个经验来源的问题如何逐步得到解决并在发展过程中形成诸多新的数学分支.它的重要性不在于结果本身而是从它的证明中可学到的潜在道理.本文提出数学证明的一个方面,即用有限驾驭无穷,同时在四色定理的证明史中表明简化永远是数学方法的灵魂.

关键词：四色定理、计算机辅助证明、形式证明、数学证明、图着色理论

所属期刊栏目：32

分类号：N0(自然科学理论与方法论)

资助基金：国家自然科学基金资助项目10971049;教育部博士点专项基金

在线出版日期：2011-05-16（万方平台首次上网日期，不代表论文的发表时间）

页码：42-48