#48

Most Influential Person

British mathematician, logician, cryptanalyst, and computer scientist

According to Wikipedia, Alan Mathison Turing was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general-purpose computer. Turing is widely considered to be the father of theoretical computer science and artificial intelligence.

- On Computable Numbers, with an Application to the Entscheidungsproblem (1937) (7925)
- The chemical basis of morphogenesis (1952) (5858)
- Systems of Logic Based on Ordinals (1938) (678)
- On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction (1938) (604)
- ROUNDING-OFF ERRORS IN MATRIX PROCESSES (1948) (408)
- Computability and λ-Definability (1937) (373)
- THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION (1950) (234)
- A Method for the Calculation of the Zeta‐Function (1945) (228)
- Finite Approximations to Lie Groups (1938) (206)
- Equivalence of Left and Right almost Periodicity (1935) (203)
- Practical Forms of Type Theory (1948) (199)
- The Use of Dots as Brackets in Church's System (1942) (192)
- Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers (1953) (185)
- Some Calculations of the Riemann Zeta-Function (1953) (183)
- Solvable and Unsolvable Problems (1954) (177)
- The $\mathfrak{p}$-Function in $\lambda-K$-Conversion (1937) (122)
- PSYCHOLOGY AND PHILOSOPHY (1950) (48)
- The þ-function in λ- K -conversion (1937) (43)
- The extensions of a group (1938) (21)
- APPENDIX One (A) – On Computable Numbers, with an Application to the Entscheidungsproblem (1960) (18)
- A Formal Theorem in Church's Theory of Types (1942) (12)
- The p-Function in λ-K-Conversion (1937) (12)
- APPENDIX One (B) – On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction (1960) (0)
- Arthur W. Burks. The logic of programming electronic digital computers. Industrial mathematics (Detroit), vol. 1 (1950), pp. 36–52. (1953) (0)
- Computing Machinery and Intelligence 1. the Imitation Game (0)

This paper list is powered by the following services:

Alan Turing is affiliated with the following schools:

This website uses cookies to enhance the user experience. Read the Privacy Policy for more.

Subscribe To Newsletter?Yes!