The Four Colour Theorem was proved in 1976 with the help of:

  1. a computer
  2. an axiom
  3. Euclid's Elements
  4. a counterexample
Answer

A) a computer

Appel and Haken used a computer to check many cases. SLO M-09-B-14 · Knowledge

Mathematics MCQ · More Logic MCQs · Practise