| 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. |
Keywords
four colour theorem
Math Review Classification
Primary 05C10
Last Updated
7 June 2001
Length
11
Availability
This article is available in: