[打听] 四色定理计算机“证明”的“诗、电话簿”原文

   1976年，美国伊利诺伊大学（University of Illinois）的阿佩尔（Kenneth Appel, 1932+）和哈肯（Wolfgang Haken, 1928+）借助计算机证明了四色猜想后，有人并不满意。

   网传，有人评论说：

   “机器证明破坏了数学的优美。一个好的数学证明应当像一首诗——而这纯粹是一本电话簿！”

求这个评论的原文（英文）。感谢！

https://www.mathpages.com/home/kmath266/image4242.gif

https://www.mathpages.com/home/kmath266/kmath266.htm

网上搜集到的一些相关汉语资料，截图如下：

图1  张景中，彭翕成著. 数学哲学[M]. 2017，第 179 页局部

图2  张景中，彭翕成著. 数学哲学[M]. 2017，第 180、181 页局部

图3  韩启德总主编；吴启迪主编. 十万个为什么 电子与信息 第6版[M]. 2014，第 110 页局部

参考资料：

[1] 2022-01-20,四色定理/four color theorem/魏美芹，中国大百科全书，第三版网络版[ED/OL]

https://www.zgbk.com/ecph/words?SiteID=1&ID=115136&Type=bkzyb&SubID=61825

[2] 吴启迪 编 , 汪镭 编 , 韩启德 编. 十万个为什么：电子与信息（第6版）[M]. 上海：上海少年儿童出版社，2014.

[3] 张景中, 彭翕成. 数学哲学[M]. 武汉：湖北科学技术出版社，2017-08.

https://m.cxstar.com/book/27f09e10000008XXXX

[4] The four colour theorem, 

https://mathshistory.st-andrews.ac.uk/HistTopics/The_four_colour_theorem/

[5] four-colour map problem, britannica

https://www.britannica.com/science/four-color-map-problem

[6] Weisstein, Eric W. "Four-Color Theorem." From MathWorld--A Wolfram Web Resource

https://mathworld.wolfram.com/Four-ColorTheorem.html

相关链接：

[1] 2023-02-28，[微信群贴出] 2023-02-26 10:24:56 无限满二分树（prefect binary tree）不是平面图的优先权（？）

https://blog.sciencenet.cn/blog-107667-1378340.html

[2] 2022-10-01，[求助] 德国马普所物理学家“这个世界上80％的物理学家根本不懂物理。”的出处

https://blog.sciencenet.cn/blog-107667-1357610.html

[3] 2022-08-02，[求助] 希尔伯特“物理对于物理学家来说实在是太难了!”的出处

https://blog.sciencenet.cn/blog-107667-1349735.html

[4] 2022-07-30，[求助] 伽利略 “追求科学，需要有特殊的勇气。”的出处

https://blog.sciencenet.cn/blog-107667-1349393.html

[5] 2022-03-16，[求助] 爱因斯坦 Einstein “我要以我微弱的力量……”的出处

https://blog.sciencenet.cn/blog-107667-1329700.html

[6] 2022-03-04，[求助] 伽利略 Galileo “科学的真理不应该在古代……”的出处

https://blog.sciencenet.cn/blog-107667-1328020.html

[7] 2022-03-03，[求助] 普朗克 Planck “取决于人类认识能力的局限性”的出处

https://blog.sciencenet.cn/blog-107667-1327900.html

[8] 2021-05-13，[求原文] 爱因斯坦告诉英费尔德说只能他自己发现广义相对论

https://blog.sciencenet.cn/blog-107667-1286376.html

[9] 2020-08-06，[求助] Theodore von Karman（冯·卡门）1963年一句话的翻译

https://blog.sciencenet.cn/blog-107667-1245224.html

[10] 2020-06-27，[求助] 本庶佑 Tasuku Honjo （2018年诺贝尔奖得主）的几段话的原文

https://blog.sciencenet.cn/blog-107667-1239562.html

[11] 2015-03-30，[求助] 哥德尔（Kurt Gödel ）一句话的英文原文

https://blog.sciencenet.cn/blog-107667-878552.html

[12] 2014-04-09，[求助] 杨振宁与西南联大讲课卡壳的著名教授

https://blog.sciencenet.cn/blog-107667-783398.html

感谢您的指教！

感谢您指正以上任何错误！

感谢您提供更多的相关资料！