地图四色定理的非计算机证明.pdf

第 卷 第 期 重庆工 业 高等专科学校 学报 年 月 编者按 地 图四 色定理作为 界著名 的 难 , 曾经让许 多 学家为之努 力 , 的甚至付 出 了 生 的 世 数学 题 数 有 毕 力 尽 管地 图四 色定理 已于 世 纪 年代被数 界运 用计 机科 手 证 明 , 计 机手 其运 精 学 算 学 段 但 算 段及 算 结果毕竟不 能 队档或取代人类智慧的发展 , 更无 法与科学家们 的探 索精神 匹 敌。 本刊刊 出褚 言正刹教授 的 , , , , “ 地 图四 色定理 的非计 证 明 一 文 别无他 意 旨 倡 尚科 学 勇于 索的 文 中关于 地 图四 色 《 算机 》 在提 崇 探 精神 、 、 ” 定理 推理证 明 的思路 方 法和 结果有待专 家 大师们评说 地 图 四色定理 的非计算机证 明 褚 言 正 重庆工业 高等专科 学校 , 重庆 喇 旧 摘要 给 出地 图四 色定理 的人工证 明 关健词 地 图四 色定理 平 面 图 非平 面 图 欧拉公式 连通 图 非计算机证 明 圈 号 文献标识码 文 编