Research topic: Alan Mathison Turing

Alan Mathison Turing 1912-54, British mathematician and computer theorist. While studying at Cambridge Univ. he began work in predicate logic that lead to a proof (1937) that some mathematical problems are not susceptible to solution by automated computation; in arriving at this, he postulated a universal machine, now called a Turing machine , that was the theoretical prototype of the electronic digital computer. After completing a Ph.D. at Princeton Univ. (1938), he returned home to England, where, during World War II, he was instrumental in deciphering German messages encrypted by the Enigma... Read more