Alan M. Turing

Years Active: 1937-2012
Publications (10 Years): 0

Princeton University, NJ, USA (PHD)

Education History

Princeton University, NJ, USA

PHD

Publications

Alan M. Turing, D. Bayley
Report on Speech Secrecy System DELILAH, a Technical Description Compiled by A. M. Turing and Lieutenant D. Bayley REME, 1945-1946. Cryptologia 36 (4) (2012)
Alan M. Turing
Alan M. Turing's Critique of Running Short Cribs on the U. S. Navy Bombe. Cryptologia 27 (1) (2003)
Alan M. Turing
Visit to National Cash Register Corporation of Dayton, Ohio. Cryptologia 25 (1) (2001)
Alan M. Turing
Computing machinery and intelligence. Mind (236) (1950)
Alan M. Turing
Practical Forms of Type Theory. J. Symb. Log. 13 (2) (1948)
M. H. A. Newman, Alan M. Turing
A Formal Theorem in Church's Theory of Types. J. Symb. Log. 7 (1) (1942)
Alan M. Turing
The Use of Dots as Brackets in Church's System. J. Symb. Log. 7 (4) (1942)
Alan M. Turing
On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. (1) (1937)
Alan M. Turing
-Function in λ-K-Conversion. J. Symb. Log. 2 (4) (1937)
Alan M. Turing
Computability and λ-Definability. J. Symb. Log. 2 (4) (1937)

Alan M. Turing.css-eqlu8i{font-size:small;padding-left:4px;}