"Computable numbers with an application to the Entscheidungsproblem" - Alan Turing