Recently one of my colleagues was reading Alan Turing‘s groundbreaking 1936 article “On Computable Numbers with an Application to the Entscheidungsproblem.” This is the article in which Turing introduced the turing machine, solved Hilbert’s Entscheidungsproblem (`decision problem’), and proved that the halting problem is undecidable. It is viewed by many as the foundation of computer…