am turing ’ s original proposal for the development of an electronic computer : reprinted with a foreword by dw davies .
On Computable Numbers, with an Application to the Entscheidungsproblem.