The Journey of the Four Colour Theorem Through Time

Abstract

This is a historical survey of the Four Colour Theorem and a discussion of the philosophical implications of its proof. The problem, first stated as far back as 1850s, still causes controversy today. Its computer-aided proof has forced mathematicians to question the notions of proofs and mathematical truth.