著名的“四色问题”也是与拓扑学发展有关的问题,又称四色猜想。1852年,毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时发现:每幅地图都可以用四种颜色着色,使得有共同边界的国家都被着上不同的颜色。
1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题。1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明。不过不少数学家并不满足于计算机取得的成就,他们认为应该有一种简捷明快的书面证明方法。