PREHISTORY / PRECURSOR
On Computable Numbers, with an Application to the Entscheidungsproblem
Alan Turing's paper On Computable Numbers, with an Application to the Entscheidungsproblem was received on May 28, 1936 and is recorded by Oxford Academic as published on January 1, 1937. The paper formalized computability using abstract machines and applied the framework to the Entscheidungsproblem.
Historical classification
This verified record predates the 1956 beginning of artificial intelligence as a recognized research field and is preserved as historical prehistory/foundation.
Evidence / resource
Record identity
LINEAiGE IDturing-computable-numbers-1937