The annotated Turing. A guided tour through Alan Turing's historic paper on computability and the Turing machine (Q2889269)

This volume reprints and builds upon \textit{A. M. Turing}'s classic 1936 paper [``On computable numbers, with an application to the Entscheidungsproblem'', Proc. Lond. Math. Soc., II. Ser. 42, 230--265 (1936; Zbl 0016.09701; JFM 62.1059.03)] providing background mathematical and historical material, commentary on Turing's text, and discussion of some subsequent developments in the field. A typical reader Petzold envisions for the book is a computer programmer, lacking or having forgotten prior collegiate mathematical experience, but comfortable with abstract arguments and symbolic manipulations. The mathematical explanations are often detailed, although not always totally accurate.