计算机是不会证明“四色猜想”的……

晋源泉

晋源泉 发表于 2024-12-22 07:07
计算机是不会证明“四色问题”的——晋源泉2024-12-07
http://bbs.mathchina.com/bbs/forum.php?mod=viewt ...

对《四色问题的里程碑》一书的介绍
http://www.mathchina.com/bbs/for ... &fromuid=124943
(出处: 数学中国)

晋源泉

晋源泉 发表于 2024-12-22 07:07
计算机是不会证明“四色问题”的——晋源泉2024-12-07
http://bbs.mathchina.com/bbs/forum.php?mod=viewt ...

对《四色问题的里程碑》一书的介绍
http://www.mathchina.com/bbs/for ... &fromuid=124943
(出处: 数学中国)

晋源泉

晋源泉 发表于 2024-12-22 07:07
计算机是不会证明“四色问题”的——晋源泉2024-12-07
http://bbs.mathchina.com/bbs/forum.php?mod=viewt ...

对《四色问题的里程碑》一书的介绍
http://www.mathchina.com/bbs/for ... &fromuid=124943
(出处: 数学中国)

晋源泉

晋源泉 发表于 2024-12-15 07:59
计算机是不会证明“四色问题”的——晋源泉2024-12-07
http://bbs.mathchina.com/bbs/forum.php?mod=viewt ...

对《四色问题的里程碑》一书的介绍
http://www.mathchina.com/bbs/for ... &fromuid=124943
(出处: 数学中国)

晋源泉

晋源泉 发表于 2024-12-20 07:29
计算机是不会证明“四色问题”的——晋源泉2024-12-07
http://bbs.mathchina.com/bbs/forum.php?mod=viewt ...

四色猜想的一条龙证明法：4CC成立的2025-03-26
http://www.mathchina.com/bbs/for ... &fromuid=124943
(出处: 数学中国)

晋源泉

晋源泉 发表于 2024-12-21 07:30
计算机是不会证明“四色问题”的——晋源泉2024-12-07
http://bbs.mathchina.com/bbs/forum.php?mod=viewt ...

对《四色问题的里程碑》一书的介绍
http://www.mathchina.com/bbs/for ... &fromuid=124943
(出处: 数学中国)

晋源泉

晋源泉 发表于 2024-12-15 17:29
计算机是不会证明“四色问题”的——晋源泉2024-12-07
http://bbs.mathchina.com/bbs/forum.php?mod=viewt ...

能破解 3+4=5 有为者，必 程王鲁杨 Treenewbee 也
http://www.mathchina.com/bbs/for ... &fromuid=124943
(出处: 数学中国)

晋源泉

对《四色问题的里程碑》一书的介绍
http://www.mathchina.com/bbs/for ... &fromuid=124943
(出处: 数学中国)

被遗弃的草根

用计算机是不大可能去证明四色问题的。但要证明四色问题，须要考虑在一幅地图中一大片排列不同的图形分别被一个图形、两个图形、三个图形包围的情况。

晋源泉

对《四色问题的里程碑》一书的介绍
http://www.mathchina.com/bbs/for ... &fromuid=124943
(出处: 数学中国)