四种颜色就够了

这是一本关于四色问题的书，作者凭借令人称道的洞察力，描述了数十位敬业却有点儿古怪的数学家是如何推动数学发展的，简述了在百年间，数学研究的方法是如何变化的。

严肃又生动。然则译者把 三度地图 翻译成 三次，曲面 翻译成 表面

一般，我还是不喜欢这种互动式的科普书籍，我喜欢喂饭式的。

数学工程化，或者说电算化的早期案例。如今的大模型工程，不知道有多少的做法和这个类似。

太刺激了，一口气读完。果然组合问题做到最后就会遇到难以忍受的分类挑战。看到Haken他们在计算机前不停的计算各种情况的时候自己也受到了鼓舞，定理就是要这样“干”出来的。好的，我以后也要成为了一个优秀的组合拓扑学家

作为科普类太难，作为故事类尚可。

终于算是大概了解了四色定理的来龙去脉。彩图好评，书的逻辑很强，从哲学和逻辑的角度去分析了四色定理的证明的突破口和难点，受益匪浅！

题目谁都能看懂，证明过程花了一百多年，术语层出不穷，还动用了计算机，这就是四色问题。是不是因为计算机让人懒了，有了能用的方法就行，也不用想是否优雅了。

一直到不可避免集和可约构形的部分，算是讲明白了不少处理这个问题的方法和细节；不过具体到这些构型的论证就有点迷糊了，随后的发展更是概略式的，也完全没讲明白为什么要用计算机以及怎么用计算机作证明...