visit to national cash register corporation of dayton , ohio .
On Computable Numbers, with an Application to the Entscheidungsproblem.