四色定理已利用计算机证明,地图四色定理的非计算机证明.pdf

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

第 卷 第 期 重庆工 业 高等专科学校 学报 年 月

编者按 地 图四 色定理作为 界著名 的 难 , 曾经让许 多 学家为之努 力 , 的甚至付 出 了 生 的

世 数学 题 数 有 毕

力 尽 管地 图四 色定理 已于 世 纪 年代被数 界运 用计 机科 手 证 明 , 计 机手 其运

精 学 算 学 段 但 算 段及 算

结果毕竟不 能 队档或取代人类智慧的发展 , 更无 法与科学家们 的探 索精神 匹 敌。 本刊刊 出褚 言正刹教授 的

, , , ,

“

地 图四 色定理 的非计 证 明 一 文 别无他 意 旨 倡 尚科 学 勇于 索的 文 中关于 地 图四 色

《 算机 》 在提 崇 探 精神

、 、

”

定理 推理证 明 的思路 方 法和 结果有待专 家 大师们评说

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

褚 言 正

重庆工业 高等专科 学校 , 重庆 喇 旧

摘要 给 出地 图四 色定理 的人工证 明

关健词 地 图四 色定理 平 面 图 非平 面 图 欧拉公式 连通 图 非计算机证 明

圈 号 文献标识码 文 编