'a generally well-written account of Turing's work which manages to convey the broad scope of his influence on later developments in mathematical logic, computer science, and artificial intelligence. I would recommend the book to anyone who has an interest in computability theory or mathematical logic and its applications in computer science... One of the great merits of the book is that it is relatively self-contained and the material is largely expository and
consequently the book will also attract the lay reader who is interested in the development of mathematical ideas... this collection is to be welcomed as a fitting tribute to the work of one of the most influential figures in mathematical logic and computer science.' Journal of Logic and
Computation
List of contributors; Preface; PART 1: A. Hodges: Alan Turing and the Turing Machine; S.C. Kleene: Turing's analysis of computability, and major applications of it; R. Gandy: The confluence of ideas in 1936; S. Feferman: Turing in the Land of O(z); M. Davis: Mathematical logic and the origin of modern computing. PART 2: M.A. Arbib: From universal Turing machines to self-reproduction; M.J. Beeson: Computerizing mathematics: Logic and computation; C.H. Bennett: Logical
depth and physical complexity; A.H. Brady: The busy beaver game and the meaning of life; G.J. Chaitin: An algebraic equation for the halting probability; M. Conrad: The price of programmability; E. Dahlhaus & J.A. Makowsky: Gandy's principles for mechanisms as a model of parallel computation; M.
Davis: Influences of mathematical logic on computer science; J.E. Fenstad: Language and computations; D. Finkelstein: Finite physics; O. Goldreich: Randomness, interactive proofs, and zero-knowledge - a survey; Y. Gurevich: Algorithms in the world of bounded resources; B. Hasslacher: Beyond the Turing machine; M. Koppel: Structure; J.A. Makowsky: Mental images and the architecture of concepts; D. Michie: The fifth generation's unbridged gap; R. Penrose: On the physics and mathematics of
thought; R. Rosen: Effective processes and natural law; H. Schnelle: Turing naturalized: Von Neumann's unfinished project; U. Schöning: Complexity theory and interaction; J.C. Shepherdson: Mechanisms for computing over arbitrary structures; B.A. Trakhtenbrot: Comparing the Church and Turing approaches: two
prophetical messages; O. Wiener: Form and content in thinking Turing machines; Appendix.