Tag Archives: Mathematics

Maths and Programming Working Together

When the Four Colour Theorem (FCT) was finally ‘proved’ in 1976, it upset a lot of mathematicians.  It was the first significant mathematical concept to be proved with a good deal of help from a computer and, for many, that didn’t make it a real proof.  Although we’re largely (maybe not entirely) OK with it now, the objections at the time weren’t just theorists’ snobbery.  At the heart of it all were some fundamental questions about the role a computer could or should play in formal logic.

Essentially, the FCT says that the maximum number of different colours needed to colour a map, so that no bordering countries are the same colour, is four.  (Colours can touch at a point but not at an edge.)  It’s easy to show that five will always do the trick and, in fact, most normal maps only need three.  However, certain types of map certainly seemed to need four so was four always enough? Continue reading

The Glorious Gödel

This might seem a bit off-track but a blog inspired, even loosely, by Alan Turing, can hardly not mention Kurt Gödel.  In simple terms, it could be said that Gödel was to Mathematics what Turing was to Computer Science but even that’s a pretty one-dimensional portrayal.  Both were intrigued by what was possible in science and mathematics and both shed light on how one area of research could be used to model another.  Turing’s work with the patterns of nature has parallels with Gödel’s models of the universe.  Both were intent on considering the ‘bigger picture’, whether spiritual or part of a ‘master program’.  Turing saw order in chaos; Gödel saw God in science. Continue reading