A. M. Turing

Available identifiers

zbMath Open turing.alan-mDBLPt/AlanMTuringWikidataQ7251 ScholiaQ7251MaRDI QIDQ2593897

List of research outcomes

Publication	Date of Publication	Type
Computing machinery and intelligence	2024-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5075259	2022-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q5075267	2022-05-12	Paper
The chemical basis of morphogenesis	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*	1998-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4023938	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4002815	1992-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4002816	1992-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q5624687	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3272474	1960-01-01	Paper
Some Calculations of the Riemann Zeta-Function	1953-01-01	Paper
The word problem in semi-groups with cancellation	1950-01-01	Paper
ROUNDING-OFF ERRORS IN MATRIX PROCESSES	1948-01-01	Paper
Practical forms of type theory	1948-01-01	Paper
A Method for the Calculation of the Zeta-Function	1943-01-01	Paper
A formal theorem in Church's theory of types	1942-01-01	Paper
The use of dots as brackets in Church's system	1942-01-01	Paper
Systems of Logic Based on Ordinals†	1939-01-01	Paper
Systems of logic based on ordinals.	1939-01-01	Paper
Finite approximations to Lie groups	1938-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5769735	1938-01-01	Paper
The extensions of a group.	1938-01-01	Paper
Finite approximations to Lie groups.	1938-01-01	Paper
On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction	1937-01-01	Paper
The þ-function in λ-K-conversion	1937-01-01	Paper
Computability and λ-definability	1937-01-01	Paper
On computable numbers, with an application to the Entscheidungsproblem. A correction.	1937-01-01	Paper
Computability and \(\lambda\)-definability.	1937-01-01	Paper
The \(p\)-function in \(\lambda\)-\(K\)-conversion.	1937-01-01	Paper
On Computable Numbers, with an Application to the Entscheidungsproblem	1936-01-01	Paper
On computable numbers, with an application to the Entscheidungsproblem.	1936-01-01	Paper
Equivalence of left and right almost periodicity.	1935-01-01	Paper
Equivalence of Left and Right almost Periodicity	1935-01-01	Paper

Research outcomes over time

This page was built for person: A. M. Turing