On Computable Numbers, with an Application to the Entscheidungsproblem

1937 Proceedings of the London Mathematical Society 7,959 citations

Keywords

TuringComputer scienceCitationTuring machineMathematicsInformation retrievalLibrary scienceAlgorithmProgramming language

Affiliated Institutions

Related Publications

Quantum circuit complexity

We propose a complexity model of quantum circuits analogous to the standard (acyclic) Boolean circuit model. It is shown that any function computable in polynomial time by a qua...

2002 Proceedings of 1993 IEEE 34th Annual ... 633 citations

Machines and Thought

Abstract This is the first of two volumes of essays in commemoration of Alan Turing, whose pioneering work in the theory of artificial intelligence and computer science continue...

1996 59 citations

Publication Info

Year
1937
Type
article
Volume
s2-42
Issue
1
Pages
230-265
Citations
7959
Access
Closed

External Links

Social Impact

Social media, news, blog, policy document mentions

Citation Metrics

7959
OpenAlex

Cite This

Alan Turing (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society , s2-42 (1) , 230-265. https://doi.org/10.1112/plms/s2-42.1.230

Identifiers

DOI
10.1112/plms/s2-42.1.230