Reference numberEC/1951/24
TitleTuring, Alan Mathison: certificate of election to the Royal Society
CitationDistinguished for his contributions to mathematical logic. His papers on "Computable numbers" in 1936 and following years in which he gave precise meaning to the notion of a "constructive process" in terms of the abstract specification of a computing machine, have had a profound influence, first in mathematical logic in this and other countries (U.S.A., U.S.S.R.) by shewing the impossibility of solving certain problems such as Hilbert's "Entscheidungs problem"; and secondly in the use and design of actual automatic computing machines on which he has worked since 1945.
ProposersFrom Personal Knowledge. M H A Newman; Russell; J H C Whitehead; W V D Hodge; A S Besicovitch; A E Ingham; P Hall; C G Darwin
Access statusOpen

Turing, Alan Mathison: certificate of election to the Royal Society

Fellows associated with this archive
NA1673Turing; Alan Mathison (1912 - 1954)1912 - 1954
Add to My Items

    Collection highlights

    Browse the records of some of our collections, which cover all branches of science and date from the 12th century onwards. These include the published works of Fellows of the Royal Society, personal papers of eminent scientists, letters and manuscripts sent to the Society or presented at meetings, and administrative records documenting the Society's activities since our foundation in 1660.

    The Royal Society

    The Royal Society is a Fellowship of many of
    the world's most eminent scientists and is the
    oldest scientific academy in continuous existence.
    Registered charity number 207043

    Website design ©CalmView


    + 44 207 451 2500
    (Lines open Mon-Fri, 9:00-17:00. Excludes bank holidays)

    6-9 Carlton House Terrace, London SW1Y 5AG

    Email Us →


    Subscribe to our newsletters to be updated with the
    latest news on innovation, events, articles and reports.

    Subscribe →

    © CalmView