Alan Mathison Turing is known as the father of modern computer science. Of his early achievements he helped to bring the Second World War to a close by deciphering the Nazis’ encryption machine, Enigma. As an undergraduate, Turing developed a new proof of the Central Limit Theorem. This led to graduate work at King’s College, where he wrote what may be his most important work, the 1936 paper entitled ‘On Computable Numbers, with an application to the Entscheidungsproblem’. In this paper, Turing answered the problem posed by German mathematician David Hilbert in 1928 calling for a proof of a decision procedure. His approach to this proof led to the concept of what is now known as Turing Machines.