折叠四色问题

著名的“四色问题”也与拓扑学的发展有关，也称为四色猜想。1852年，伦敦大学的毕业生弗朗西斯·格思里(Francis guthrie)来到一个科学研究机构做地图着色工作，发现每张地图可以用四种颜色着色，这样，有共同边界的国家就可以用不同的颜色着色。

1872年，当时最著名的英国数学家凯利向伦敦数学学会正式提出了这个问题，因此四色猜想成为了世界数学界关注的问题。1976年，美国数学家阿佩尔和哈肯花了1200个小时，在美国伊利诺伊大学的两台不同的计算机上做了100亿次判断，最终完成了四色定理的证明。然而，许多数学家对计算机取得的成就并不满意。他们认为应该有一个简单明了的书面证明方法。