| Publication | Date of Publication | Type |
|---|
Computing machinery and intelligence
Mind. New Series | 2024-12-20 | Paper |
scientific article; zbMATH DE number 7526254 (Why is no real title available?)
| 2022-05-12 | Paper |
scientific article; zbMATH DE number 7526262 (Why is no real title available?)
| 2022-05-12 | Paper |
The chemical basis of morphogenesis
Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences | 2018-03-27 | Paper |
Collected works of A. M. Turing. Mathematical logic. Edited by R. O. Gandy and C. E. M. Yates. Including prefaces by Solomon Feferman
| 2002-01-17 | Paper |
Intelligent Machinery, A Heretical Theory*
Philosophia Mathematica | 1998-01-27 | Paper |
scientific article; zbMATH DE number 108484 (Why is no real title available?)
| 1993-01-23 | Paper |
scientific article; zbMATH DE number 52515 (Why is no real title available?)
| 1992-09-18 | Paper |
scientific article; zbMATH DE number 52516 (Why is no real title available?)
| 1992-09-18 | Paper |
scientific article; zbMATH DE number 3349336 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3154797 (Why is no real title available?)
| 1960-01-01 | Paper |
Some Calculations of the Riemann Zeta-Function
Proceedings of the London Mathematical Society | 1953-01-01 | Paper |
The word problem in semi-groups with cancellation
Annals of Mathematics. Second Series | 1950-01-01 | Paper |
ROUNDING-OFF ERRORS IN MATRIX PROCESSES
The Quarterly Journal of Mechanics and Applied Mathematics | 1948-01-01 | Paper |
Practical forms of type theory
Journal of Symbolic Logic | 1948-01-01 | Paper |
A Method for the Calculation of the Zeta-Function
Proceedings of the London Mathematical Society | 1943-01-01 | Paper |
A formal theorem in Church's theory of types
Journal of Symbolic Logic | 1942-01-01 | Paper |
The use of dots as brackets in Church's system
Journal of Symbolic Logic | 1942-01-01 | Paper |
Systems of Logic Based on Ordinals†
Proceedings of the London Mathematical Society | 1939-01-01 | Paper |
Systems of logic based on ordinals.
Proceedings of the London Mathematical Society. Second Series | 1939-01-01 | Paper |
Finite approximations to Lie groups
Annals of Mathematics. Second Series | 1938-01-01 | Paper |
scientific article; zbMATH DE number 3029883 (Why is no real title available?)
| 1938-01-01 | Paper |
The extensions of a group.
Compositio Mathematica | 1938-01-01 | Paper |
Finite approximations to Lie groups.
Annals of Mathematics. Second Series | 1938-01-01 | Paper |
On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
Proceedings of the London Mathematical Society | 1937-01-01 | Paper |
The þ-function in λ-K-conversion
Journal of Symbolic Logic | 1937-01-01 | Paper |
Computability and λ-definability
Journal of Symbolic Logic | 1937-01-01 | Paper |
On computable numbers, with an application to the Entscheidungsproblem. A correction.
Proceedings of the London Mathematical Society. Second Series | 1937-01-01 | Paper |
Computability and \(\lambda\)-definability.
Journal of Symbolic Logic | 1937-01-01 | Paper |
The \(p\)-function in \(\lambda\)-\(K\)-conversion.
Journal of Symbolic Logic | 1937-01-01 | Paper |
On Computable Numbers, with an Application to the Entscheidungsproblem
Proceedings of the London Mathematical Society | 1936-01-01 | Paper |
On computable numbers, with an application to the Entscheidungsproblem.
Proceedings of the London Mathematical Society. Second Series | 1936-01-01 | Paper |
Equivalence of left and right almost periodicity.
Journal of the London Mathematical Society | 1935-01-01 | Paper |
Equivalence of Left and Right almost Periodicity
Journal of the London Mathematical Society | 1935-01-01 | Paper |
