Alan Mathison Turing

Alan Turing's interest in science began early and never wavered. Both at his preparatory schools and later at Sherborne, which he entered in 1926, the contrast between his absorbed interest in science and mathematics, and his indifference to Latin and "English subjects," perplexed and distressed his teachers, bent on giving him a well-balanced education. Many of the characteristics that were strongly marked in his later life can already be clearly seen in remembered incidents of this time: his particular delight in problems, large or small, that enabled him to combine theory with the kind of experiments he could carry out with his own hands, with the help of whatever apparatus was at hand; and his strong preference for working everything out from first principles instead of borrowing from others—a habit which gave freshness and independence to his work, but also undoubtedly slowed him down, and later on made him a difficult author to read.

[1]  Alan M. Turing,et al.  The use of dots as brackets in Church's system , 1942, Journal of Symbolic Logic.

[2]  Alan M. Turing The p-Function in λ-K-Conversion , 1937, J. Symb. Log..

[3]  Harry D. Huskey From ACE to the G-15 , 1984, Annals of the History of Computing.

[4]  L. Harris,et al.  Everglades: The Ecosystem and its Restoration. , 1995 .

[5]  Gian-Carlo Rota,et al.  History of Computing in the Twentieth Century , 1980 .

[6]  Ronald D. Jones,et al.  CARBON MINERALIZATION IN PRISTINE AND PHOSPHORUS‐ENRICHED PEAT SOILS OF THE FLORIDA EVERGLADES , 1995 .

[7]  Robin W. Addie Memories of Alan Turing , 1993 .

[8]  A. Turing Finite Approximations to Lie Groups , 1938 .

[9]  P. Kidwell,et al.  The universal turing machine: a half-century survey , 1996, IEEE Annals of the History of Computing.

[10]  J. Grace,et al.  Effects of Nutrients and Hydroperiod on Typha, Cladium, and Eleocharis: Implications for Everglades Restoration , 1996 .

[11]  A. Turing Equivalence of Left and Right almost Periodicity , 1935 .

[12]  R. Twilley,et al.  A simulation model of organic matter and nutrient accumulation in mangrove wetland soils , 1999 .

[13]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[14]  Robert Slater,et al.  Portraits in silicon , 1987 .

[15]  M. Koch,et al.  Distribution of soil and plant nutrients along a trophic gradient in the Florida Everglades. , 1992 .

[16]  Martin Campbell-Kelly,et al.  Programming the Pilot ACE: Early Programming Activity at the National Physics Laboratory , 1981, Annals of the History of Computing.

[17]  A. M. Turing The þ-function in λ- K -conversion , 1937 .

[18]  A. Turing The extensions of a group , 1938 .

[19]  Cliff B. Jones,et al.  An Early Program Proof by Alan Turing , 1984, Annals of the History of Computing.

[20]  Alan M. Turing,et al.  Practical forms of type theory , 1948, Journal of Symbolic Logic.

[21]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[22]  A. Turing ROUNDING-OFF ERRORS IN MATRIX PROCESSES , 1948 .

[23]  M. H. A. Newman,et al.  A formal theorem in Church's theory of types , 1942, Journal of Symbolic Logic.

[24]  Alan M. Turing,et al.  Systems of Logic Based on Ordinals , 2012, Alan Turing's Systems of Logic.

[25]  James Hardy Wilkinson Turing's Work at the National Physical Laboratory and the Construction of Pilot ACE, DEUCE, and ACE , 1980 .

[26]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[27]  Alan M. Turing,et al.  Computability and λ-definability , 1937, Journal of Symbolic Logic.

[28]  A. Turing THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION , 1950 .

[29]  E. Drea,et al.  Code Breakers: The Inside Story of Bletchley Park. , 2015 .

[30]  M. Koch Rhizophora mangle L. Seedling Development into the Sapling Stage across Resource and Stress Gradients in Subtropical Florida 1 , 1997 .

[31]  A. Turing The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.

[32]  R. Delaune,et al.  Long-Term Nutrient Accumulation Rates in the Everglades , 1993 .

[33]  J. M. Andersen An ignition method for determination of total phosphorus in lake sediments , 1976 .

[34]  C. Richardson,et al.  FORMS OF SOIL PHOSPHORUS ALONG A NUTRIENT ENRICHMENT GRADIENT IN THE NORTHERN EVERGLADES , 1995 .

[35]  A. Turing A method for the calculation of the zeta-function Universal Turing Machine , 2011 .

[36]  John A. N. Lee,et al.  Computer pioneers , 1995 .

[37]  A. Turing Some Calculations of the Riemann Zeta-Function , 1953 .

[38]  Susan Newman,et al.  Factors influencing cattail abundance in the northern Everglades , 1998 .

[39]  Rolf Herken,et al.  The Universal Turing Machine: A Half-Century Survey , 1992 .