Alan Mathison Turing, 1912-1954
Open Access
- 1 November 1955
- journal article
- Published by The Royal Society in Biographical Memoirs of Fellows of the Royal Society
- Vol. 1, 253-263
- https://doi.org/10.1098/rsbm.1955.0019
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The chemical basis of morphogenesisPhilosophical Transactions of the Royal Society of London. B, Biological Sciences, 1952
- The Word Problem in Semi-Groups With CancellationAnnals of Mathematics, 1950
- Practical forms of type theoryThe Journal of Symbolic Logic, 1948
- The use of dots as brackets in Church's systemThe Journal of Symbolic Logic, 1942
- A formal theorem in Church's theory of typesThe Journal of Symbolic Logic, 1942
- Finite Approximations to Lie GroupsAnnals of Mathematics, 1938
- The þ-function in λ-K-conversionThe Journal of Symbolic Logic, 1937
- Computability and λ-definabilityThe Journal of Symbolic Logic, 1937