位置：成果数据库 > 期刊 > 期刊详情页
四色定理的三代证明
  • ISSN号：1000-0763
  • 期刊名称：自然辩证法通讯
  • 时间：0
  • 页码：42-48
  • 分类：N0[自然科学总论—科学技术哲学]
  • 作者机构：[1]河北师范大学数学与信息科学学院,河北石家庄050016
  • 相关基金：国家自然科学基金资助项目（项目编号：10971049）; 教育部博士点专项基金的研究成果之一
  • 相关项目：数学学科交叉应用的历史研究
作者： 王献芬|胡作玄|
关键词： 四色定理, 计算机辅助证明, 形式证明, 数学证明, 图着色理论
中文摘要：

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

同期刊论文项目
数学学科交叉应用的历史研究
期刊论文 17 会议论文 16 著作 3
同项目期刊论文
The structure of quantum group U_q(osp(1,2,f))
惠特尼1934～1936年微分流形工作的历史分析
谢瓦莱在类域论方面的贡献
早期p进数理论的历史发展
数学史上最富传奇色彩的数学家—伽罗瓦
抽象环概念的历史演变
有限单群分类的三代证明
挪威的民族英雄:阿贝尔
河北省立女子师范学院西迁并入国立西安临时大学史略
Diagonal Crossed Products and L-R Smash Products Over Weak Hopf Algebras
一类幂等半环上线性方程组的解法
Full automorphism group of generalized unitary graphs
被历史遗忘的数学家——瑞德菲尔德
早期代数数论的历史发展
具有劳动力增长的非定常企业投资方程解的性质
期刊信息
  • 《自然辩证法通讯》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院大学
  • 主编：胡志强
  • 地址：北京玉泉路19号中国科学院大学（北京4588信箱）
  • 邮编：100049
  • 邮箱：wangdm@gucas.ac.cn
  • 电话：010-88256007
  • 国际标准刊号：ISSN：1000-0763
  • 国内统一刊号：ISSN：11-1518/N
  • 邮发代号:2-281
  • 获奖情况:
  • 国内外数据库收录:
  • 中国中国人文社科核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:7939