The Universal Turing Machine: A Half-Century Survey - Hardcover

Hardcover

ISBN 10: 0198537417 ISBN 13: 9780198537410

Publisher: Oxford University Press, 1988

Synopsis

This volume commemorates the work of Alan Turing, who not only introduced the most influential concept of a machine model of effective computability, but who also anticipated in his work the diversity of topics brought together here. Among his major contributions, Turing's "On Computable Numbers, With an Application to the Entscheidungsproblem," first published in 1937, is acknowledged as a landmark of the computer age. Part I of this volume explores historical aspects with essays on background, on Turing's work, and on subsequent developments. Part II contains an extensive series of essays on the influence and applications of these ideas in mathematics, mathematical logic, philosophy of mathematics, computer science, artificial intelligence, philosophy of language, philosophy of mind, and physics.

About this title

Review

'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 '... a fitting tribute to one of the most influential figures in mathematical logic and computer science.' Journal of Logic and Computation

Edition details

• Publisher: Oxford University Press
• Publication date: 1988
• Language: English
• ISBN 10: 0198537417
• ISBN 13: 9780198537410
• Binding: Hardcover
• Number of pages: 674
• Editor: Herken Rolf