Wiley The Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper

Anyone who has explored the history, technology, or theory of Computers has likely encountered the concept of the Turing Machine. The Turing Machine is an imaginary ? not even quite hypothetical ? computer invented in 1936 by English mathematician Alan Turing to help solve a question in mathematical logic. As a byproduct, Turing also founded the field of computability theory ? the study of the abilities and limitations of Digital computers. Although the concept of the Turing Machine is well known, Turing?s original 1936 Paper is only rarely read. That?s too bad, because the paper is not only a fascinating read but a milestone in the history of computing and 20th century intellectual thought in general. This book presents Turing?s original 36-page paper (and a follow-up 3-page correction) with background chapters and extensive annotations. This book explains many of Turing?s statements, clarifies his discussions, and provides numerous examples. The Annotated Turing is an important addition to any Computer Science curriculum. It can be used in the study of the Theory of Computation, History of Computing, Computability, Theoretical Computer Science, and mathematical topics relevant to computer science. Turing's secret work in cryptanalysis during World War II His years at Cambridge and Princeton His involvement in seminal computer projects His arrest and prosecution for the crime of ?gross indecency? His early death by apparent suicide at the age of 41 His speculations about artificial intelligence Parts I and II together cover the first 60% of Turing?s paper, encompassing the Turing Machine and computability topics Part III is a fast paced look at the remainder of Turing?s paper, which involves the implications for mathematical logic Part IV shows how the Turing Machine has become a vital tool in un