## 4 COLOR THEOREM

In the early 19th century, mathematicians began studying a theory related to map making. The premise is very simple: that any map can be coloured using only four colours. Though the concept is simple, the mathematics behind The Four Colour Map Problem is so complex that it took mathematicians nearly 200 years and a computer to prove. It is, in fact, the first theorem ever proved by a computer, and it required nearly 20,000 lines of code. The proof was so complex that for over 20 years mathematicians did not accept it. To this day, though we know that a map can be coloured using only four colours there is no algorithm or formula for how to colour a map using only four colours. The idea behind this series of paintings is to find that algorithm, and to turn a very complex piece of mathematics into a tangible idea that people can understand and work with.