Alan M. Turing

According to our database, Alan M. Turing authored at least 13 papers between 1937 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Report on Speech Secrecy System DELILAH, a Technical Description Compiled by A. M. Turing and Lieutenant D. Bayley REME, 1945-1946.

Alan M. Turing, D. Bayley

Cryptologia, 2012

2003

Alan M. Turing's Critique of Running Short Cribs on the U. S. Navy Bombe.

Alan M. Turing

Cryptologia, 2003

2001

Visit to National Cash Register Corporation of Dayton, Ohio.

Alan M. Turing

Cryptologia, 2001

1990

Computing Machinery and Intelligence.

Alan M. Turing

Proceedings of the Philosophy of Artificial Intelligence., 1990

1954

Summary of Unfinished Work

Alan M. Turing, Robin O. Gandy

Collected Works, June, 1954

1950

Computing machinery and intelligence.

Alan M. Turing

Mind, 1950

1948

Practical Forms of Type Theory.

Alan M. Turing

J. Symb. Log., 1948

1942

The Use of Dots as Brackets in Church's System.

Alan M. Turing

J. Symb. Log., 1942

A Formal Theorem in Church's Theory of Types.

M. H. A. Newman, Alan M. Turing

J. Symb. Log., 1942

1938

Systems of Logic Based on Ordinals.

Alan M. Turing

PhD thesis, 1938

1937

On computable numbers, with an application to the Entscheidungsproblem.

Alan M. Turing

Proc. London Math. Soc., 1937

The <i>p</i>-Function in λ-K-Conversion.

Alan M. Turing

J. Symb. Log., 1937

Computability and λ-Definability.

Alan M. Turing

J. Symb. Log., 1937