Alan Mathison Turing, 1912-1954

@article{Newman1955AlanMT,
  title={Alan Mathison Turing, 1912-1954},
  author={M. Newman},
  journal={Biographical Memoirs of Fellows of the Royal Society},
  year={1955},
  pages={253 - 263}
}
  • M. Newman
  • Published 1955
  • Mathematics
  • 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… CONTINUE READING
    View on Royal Society
    rsbm.royalsocietypublishing.org
    38 Citations
    Highly Influencial Citations
    1
    Background Citations
    9
    Methods Citations
    1
    38 Citations
    Citation Type

    Citation Type

    Alan Turing: Founder of Computer Science
    • 2
    • PDF
    Alan Turing and the Mathematical Objection
    • 40
    • PDF
    The Impact of Alan Turing: Formal Methods and Beyond
    Turing on “Common Sense”: Cambridge Resonances
    • 9
    • PDF
    Alan turing and the other theory of computation
    • L. Blum
    • Computer Science
    • ITiCSE '12
    • 2012
    • 6
    • PDF
    Alan Turing: ¿personaje del siglo XX?
    A Turing Enigma
    • 2
    • PDF
    Review of Biographies of Alan Turing
    • 2
    Dystopia or utopia? Alan Turing’s Promethean ambition about intelligent machines
    • PDF
    On Mathematicians Who Liked Logic - The Case of Max Newman

    References

    SHOWING 1-10 OF 13 REFERENCES
    A Formal Theorem in Church's Theory of Types
    • 12
    • PDF
    The Use of Dots as Brackets in Church's System
    • A. Turing
    • Mathematics, Computer Science
    • J. Symb. Log.
    • 1942
    • 172
    • PDF
    The chemical basis of morphogenesis
    • A. Turing
    • Mathematics
    • Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences
    • 1952
    • 5,242
    Computability and λ-Definability
    • A. Turing
    • Mathematics, Computer Science
    • J. Symb. Log.
    • 1937
    • 355
    • PDF
    The þ-function in λ- K -conversion
    • 41
    • PDF
    On Computable Numbers, with an Application to the Entscheidungsproblem
    • 7,259
    • PDF
    Finite Approximations to Lie Groups
    • 184
    THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION
    • 209
    Practical Forms of Type Theory
    • A. Turing
    • Philosophy, Computer Science
    • J. Symb. Log.
    • 1948
    • 179
    • PDF
    Some Calculations of the Riemann Zeta-Function
    • 160