Calude, Andreea S.2009-08-282009-08-282001-06Department of Mathematics - Research Reports-466 (2001)1173-0889http://hdl.handle.net/2292/5162This 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.https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htmThe Journey of the Four Colour Theorem Through TimeTechnical ReportFields of Research::230000 Mathematical Sciences::230100 MathematicsThe author(s)