Login to generate an author description
| Action | Title | Date | Authors |
|---|---|---|---|
| Computing Machinery and Intelligence (1950) | 2004-09-09 | Alan Turing | |
| Systems of Logic Based on Ordinals (1938) | 2004-09-09 | Alan Turing | |
| On Computable Numbers: Corrections and Critiques | 2004-09-09 | Alan Turing Emil L. Post | |
| Some Calculations of the Riemann Zeta-Function | 1953-01-01 | Alan Turing | |
| A formal theorem in Church's theory of types | 1942-03-24 | M. H. A. Newman Alan Turing |
| Coauthor | Papers Together |
|---|---|
| M. H. A. Newman | 1 |
| Emil L. Post | 1 |
| Action | Title | Date | Authors | # of times referenced |
|---|---|---|---|---|
| An Unsolvable Problem of Elementary Number Theory | 1936-04-01 | Alonzo Church | 3 | |
| The Distribution of Prime Numbers | 1933-11-01 | A. E. Ingham | 1 | |
| Grundzüge der Theoretischen Logik | 1938-01-01 | David Hilbert W. Ackermann | 1 | |
| λ-definability and recursiveness | 1936-06-01 | S. C. Kleene | 1 | |
| Recursively enumerable sets of positive integers and their decision problems | 1944-01-01 | Emil L. Post | 1 | |
| Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I | 2006-09-01 | Kurt Gödel | 1 | |
| Degrees of Unsolvability | 1971-01-01 | 1 | ||
| Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I | 1931-12-01 | Kurt Gödel | 1 | |
| Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme | 1935-01-01 | Ernest Zermelo | 1 | |
| Degrees of Unsolvability: A Survey of Results | 1977-01-01 | Stephen G. Simpson | 1 | |
| Formal definitions in the theory of ordinal numbers | 1937-01-01 | Alonzo Church S. C. Kleene | 1 |