Alan Turing: The EnigmaA gripping story of mathematics, science, computing, war history, cryptography, and homosexual persecution and liberation. Hodges tells how Turing's revolutionary idea of 1936-- the concept of a universal machine-- laid the foundation for the modern computer. Turing brought the idea to practical realization in 1945 with his electronic design. This work was directly related to Turing's leading role in breaking the German Enigma ciphers during World War II, a scientific triumph that was critical to Allied victory in the Atlantic. Despite his wartime service, Turing was eventually arrested, stripped of his security clearance, and forced to undergo a humiliating treatment program-- all for trying to live honestly in a society that defined homosexuality as a crime. This New York Times bestselling biography of the founder of computer science and artificial intelligence is the definitive account of an extraordinary mind and life. --Excerpted from 2014 version, published by Princeton University Press. |
From inside the book
Results 1-3 of 39
Page 93
... theorem , and thus brought Alan up to the frontiers of knowledge . The third of Hilbert's questions still remained open , although it now had to be posed in terms of ' provability ' rather than ' truth ' . Gödel's results did not rule ...
... theorem , and thus brought Alan up to the frontiers of knowledge . The third of Hilbert's questions still remained open , although it now had to be posed in terms of ' provability ' rather than ' truth ' . Gödel's results did not rule ...
Page 106
... theorem at a glance by its number . But if the paper was very long , we might reach Theorem 157767733443477 ; then , further on in the paper , we might find ' ... hence ( applying Theorem 157767734443477 ) we have ... ' . In order to ...
... theorem at a glance by its number . But if the paper was very long , we might reach Theorem 157767733443477 ; then , further on in the paper , we might find ' ... hence ( applying Theorem 157767734443477 ) we have ... ' . In order to ...
Page 143
... theorem would still apply to show that there were still unprovable assertions . However , there was a more subtle question . In his ' ordinal logics ' , the rule for generating the axioms was given in terms of substituting an ' ordinal ...
... theorem would still apply to show that there were still unprovable assertions . However , there was a more subtle question . In his ' ordinal logics ' , the rule for generating the axioms was given in terms of substituting an ' ordinal ...
Other editions - View all
Common terms and phrases
Alan Turing Alan Turing's Alan wrote Alan's American AMT's arithmetic Bletchley Bletchley Park Bombe boys brain Britain British calculation called Cambridge cathode ray tube chess Christopher cipher Computable Numbers cryptanalytic Darwin delay line Delilah differential analyser digits discussion Don Bayley Donald Michie EDVAC electronic enciphered engineering ENIAC Enigma machine explained fact G.H. Hardy German Hanslope Hilbert homosexual human idea instructions intelligence interest kind King's knew letter logical Manchester mathematician mathematics Max Newman mechanical messages method mind Morcom naval Enigma Neumann never Newman operations organisation paper perhaps Peter Hilton physical play plugboard position possible Princeton principle problem question Robin Gandy rotor scientific secret Shaun Wylie Sherborne signals symbols talk tape teleprinter theorem theory thing thought took Turing machine U-boat universal machine Womersley word writing