Alan Mathison Turing, 1912-1954

  title={Alan Mathison Turing, 1912-1954},
  author={M. H. A. Newman},
  journal={Biographical Memoirs of Fellows of the Royal Society},
  pages={253 - 263}
  • M. Newman
  • Published 1 November 1955
  • History
  • Biographical Memoirs of Fellows of the Royal Society
The sudden death of Alan Turing on 7 June 1954 deprived mathematics and science of a great original mind at the height of its power. After some years of scientific indecision, since the end of the war, Turing had found, in his chemical theory of growth and form, a theme that gave the fullest scope for his rare combination of abilities, as a mathematical analyst with a flair for machine computing, and a natural philosopher full of bold original ideas. The preliminary report of 1952, and the… 

Alan Turing: Founder of Computer Science

A biographical overview of Alan Turing, the 20th century mathematician, philosopher and early computer scientist, is presented and his subsequent influence is considered, both scientifically and culturally.

Alan Turing and the Mathematical Objection

Logico-mathematical reasons, stemming from his own work, helped to convince Alan Turing that it should be possible to reproduce human intelligence, and eventually compete with it, by developing the appropriate kind of digital computer.

The Impact of Alan Turing: Formal Methods and Beyond

The influence and reputation of Alan Turing since his death in 1954 is discussed, specifically in the field of formal methods, especially for program proving, but also in a much wider context.

Turing on “Common Sense”: Cambridge Resonances

Turing was a philosopher of logic and mathematics, as well as a mathematician. His work throughout his life owed much to the Cambridge milieu in which he was educated and to which he returned

Alan turing and the other theory of computation

  • L. Blum
  • Computer Science
    ITiCSE '12
  • 2012
This talk recognizes Turing's work in the foundations of numerical computation, and indicates its role in complexity theory today, and how it provides a unifying concept for the two major traditions in the Theory of Computation.

Alan Turing: ¿personaje del siglo XX?

“Time” magazine chose Albert Einstein as “Person of the Century.” This was undoubtedly a reasonable choice, but as I will argue in this article, there are also good reasons for contending that Turing

A Turing Enigma

I describe my investigations into the highly-secret role that Alan Turing played during World War II, after his pre-war theoretical work on computability and the concept of a universal machine, in

Review of Biographies of Alan Turing

2012 was the centennial of the birth of Alan Turing (1912–1954), and the centennial was the occasion for various celebrations, conferences, workshops, lectures, festivals, exhibitions, performances,

Dystopian or Utopian? Two Images of Alan Turing

Turing made intriguing statements about the future of artificial intelligence (AI) in society. He predicted that machines would eventually ‘compete with men in all purely intellectual fields,’ and

Dystopia or utopia? Alan Turing’s Promethean ambition about intelligent machines

Writing in 1948, Turing felt compelled to confront a “religious belief” that “any attempt” to construct intelligent machines was seen “a sort of Promethean irreverence.” And yet he has been



A formal theorem in Church's theory of types

A formal proof of Y α is now given for all types α containing ι, but the proof uses, in addition to Axioms 1 to 7 and Y ι , also Axiom 9 (in connection with Def. 4), and Axiom 10 (in Theorem 9).

Some Calculations of the Riemann Zeta-Function

The Manchester University Mark 1 Electronic Computer was used to do some calculations concerned with the distribution of the zeros of the Riemann zeta-function, intended in fact to determine whether there are any zeros not on the critical line in certain particular intervals.

Practical forms of type theory

  • A. Turing
  • Computer Science
    Journal of Symbolic Logic
  • 1948
The present paper is an attempt to present the theory of types in forms in which the types themselves only play a rather small part, as they do in ordinary mathematical argument.

The use of dots as brackets in Church's system

  • A. Turing
  • Mathematics
    Journal of Symbolic Logic
  • 1942
The present note has been written in the belief that Church's formulation of the simple theory of types' is particularly suitable as a basis for work on that theory, and that it is therefore worth while introducing special conventions which take into account the needs of this particular system.

Computability and λ-definability

  • A. Turing
  • Computer Science, Mathematics
    Journal of Symbolic Logic
  • 1937
The purpose of the present paper is to show that the computable functions introduced by the author are identical with the λ-definable functions of Church and the general recursive functions due to Herbrand and Gödel and developed by Kleene.

The chemical basis of morphogenesis

  • A. Turing
  • Environmental Science
    Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences
  • 1952
A possible mechanism by which the genes of a zygote may determine the anatomical structure of the resulting organism is discussed, suggesting that certain well-known physical laws are sufficient to account for many of the facts.

The þ-function in λ-K-conversion

  • A. Turing
  • Mathematics, Philosophy
    Journal of Symbolic Logic
  • 1937
In the theory of conversion it is important to have a formally defined function which assigns to any positive integer n the least integer not less than n which has a given property. The definition of

On computable numbers, with an application to the Entscheidungsproblem

  • A. Turing
  • Computer Science
    Proc. London Math. Soc.
  • 1937
This chapter discusses the application of the diagonal process of the universal computing machine, which automates the calculation of circle and circle-free numbers.

Finite Approximations to Lie Groups

A certain sense in which a finite group may be said to approximate the structure of a metrical group will be discussed. On account of Jordan's theorem on finite groups of linear transformations' it


It will be shown that the word problem in semi-groups with cancellation is not solvable. The method depends on reducing the unsolvability of the problem in question to a known unsolvable problem