| Alan Turing OBE FRS | … |
|---|---|
| Turing in 1951 | … |
| Born | Alan Mathison Turing 23 June 1912 Maida Vale, London, England |
| Died | 7 June 1954 (aged 41) Wilmslow, Cheshire, England |
| Cause of death | Suicide by cyanide poisoning1 |
| Education | • University of Cambridge (MA) • Princeton University (PhD) |
| Known for | • Cryptanalysis of the Enigma • Turing’s proof • Turing machine • Turing test • unorganised machine • Turing pattern • Turing reduction • ” The Chemical Basis of Morphogenesis ” • Turing paradox |
| Awards | Smith’s Prize (1936) |
| Scientific career | … |
| Fields | • Logic • mathematics • cryptanalysis • computer science • mathematical and theoretical biology 2 |
| Institutions | • University of Manchester • Government Code and Cypher School • National Physical Laboratory |
| Thesis | Systems of Logic Based on Ordinals (1938) |
| Doctoral advisor | Alonzo Church3 |
| Doctoral students | • Robin Gandy 3 4 • Beatrice Worsley 5 |
| Signature | … |
(echo:: @ ᯤ)
Footnotes
-
Turing’s death was officially determined as a suicide by an inquest, but this has been disputed. ↩
-
Alan Turing publications indexed by Google Scholar ↩
-
Gandy, Robin Oliver (1953). On axiomatic systems in mathematics and theories in physics (PhD thesis). University of Cambridge. doi:10.17863/CAM.16125. EThOS uk.bl.ethos.590164. Archived from the original on 9 December 2017. Retrieved 9 December 2017. ↩
-
Bowen, Jonathan P. (2019). “The Impact of Alan Turing: Formal Methods and Beyond”. In Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (eds.). Engineering Trustworthy Software Systems (PDF). Lecture Notes in Computer Science. Vol. 11430. Cham: Springer. pp. 202–235. doi:10.1007/978-3-030-17601-3_5. ISBN 978-3-030-17600-6. S2CID 121295850. Archived (PDF) from the original on 9 October 2022. ↩