Mathematician:Alan Mathison Turing
Jump to navigation Jump to search
English mathematician who is often considered to be the "father of modern computer science".
Famous for his role in cracking the Enigma cipher in World War II, his conception of the Turing machine and the idea of the Turing test.
Committed suicide as a result of persecution for being different.
- Born: 23 June 1912, London, England
- Died: 7 June 1954, Wilmslow, Cheshire, England
Theorems and Definitions
- Turing Machine
- Turing Test
- Church-Turing Thesis (otherwise known as Church's Thesis) (with Alonzo Church)
- Church-Turing-Deutsch Principle (a stronger version of the Church-Turing Thesis formulated by David Deutsch)
- Good-Turing Frequency Estimation (with Irving John Good)
Results named for Alan Mathison Turing can be found here.
Definitions of concepts named for Alan Mathison Turing can be found here.
- 1935: On the Gaussian error function
- 1936: On Computable Numbers, with an application to the Entscheidungsproblem (in which the Turing machine was introduced)
- 1939: Systems of Logic Based on Ordinals
- 1949: Report of a Conference on High Speed Automatic Calculating Machines
- 1950: Computing Machinery and Intelligence (in which the Turing test was introduced)
- The understanding of the theory of a routine may be greatly aided by providing, at the time of construction one or two statements concerning the state of the machine at well chosen points ... In the extreme form of the theoretical method a watertight mathematical proof is provided for the assertions. In the extreme form of the experimental method the routine is tried out on the machine with a variety of initial conditions and is pronounced fit if the assertions hold in each case. Both methods have their weaknesses.
- -- Ferranti Mark I Programming Manual ($1950$)
- John J. O'Connor and Edmund F. Robertson: "Alan Mathison Turing": MacTutor History of Mathematics archive
- 1997: Donald E. Knuth: The Art of Computer Programming: Volume 1: Fundamental Algorithms (3rd ed.) ... (previous) ... (next): $\S 1.2.1$: Mathematical Induction
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): Turing, Alan Mathison (1912-54)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Turing, Alan Mathison (1912-54)
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): Turing, Alan Mathison (1912-54)