和费马大定理，庞加莱猜想一样，四色定理也是那种叙述起来非常简单，证明起来却极其困难的百年数学难题。但四色定理非常特殊的一点在于，它的最终证明并不是传统的数学逻辑证明，而是借助计算机分析所有可能的情形后完成的。这也就是说，四色定理的证明迄今为止仍非单独的人力