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.
"synopsis" may belong to another edition of this title.
'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
"About this title" may belong to another edition of this title.
Shipping:
US$ 10.00
Within U.S.A.
Seller: Vellum is the GOAT, San Rafael, CA, U.S.A.
Hardcover. Condition: Very Good. xiv, 661 pages : illustrations ; 25 cm. Seller Inventory # CNH0005917
Quantity: 1 available
Seller: About Books, Henderson, NV, U.S.A.
Hardcover. Condition: Near Fine EX-LIBRARY. Dust Jacket Condition: No dust jacket. First Edition. Oxford: Oxford University Press, 1988. A very nice copy. Near Fine EX-LIBRARY. Bright, clean, square, and reasonably tight. Inner hinges are perfect. WITHDRAWN stamp, and a few other library markings. Text pages are fresh and crisp. No underlining. No highlighting. No margin notes. Bibliographical references. Handsomely bound in the original blue cloth, stamped in red shiny gold on the spine and front cover. Among the international specialists in logic, computability, mathematics, biology, physics, linguistics, and cognitive science who contributed to this volume are: Andrew Hodges, Stephen C. Kleene, Robin Gandy, Solomon Feferman, Martin Davis, Michael A. Arbib, Michael J. Beeson, Charles H. Bennett, Allen H. Brady, Gregory J. Chaitin, Michael Conrad, Elias Dahlhaus, Johann A. Makowsky, Jens Erik Fenstad, David Finkelstein, Oded Goldreich, Yuri Gurevich, Brosl Hasslacher, Moshe Koppel, Oswald Wiener, etc. From the preface: "The papers in this volume were written on the occasion of the fiftieth anniversary of the publication of Alan Turing's paper ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM in 1937. Turing's paper contained what may now be called Turing's Thesis, namely that every 'effective' computation can be programmed on a Turing machine. Furthermore it proved the unsolvability of the halting problem and of the decision problem for first order logic, and it presented the invention of the universal Turing machine. It is that publication of this idea that will presumably be acknowledged as marking sub specie aeternitatis the beginning of the 'computer age.'" . First Edition. Hardcover. Near Fine EX-LIBRARY/No dust jacket. 8vo. xiv, 661pp. [675 total pages]. Great Packaging, Fast Shipping. Seller Inventory # 007452
Quantity: 1 available
Seller: Rosenbloom Rare Books, Ottawa, ON, Canada
Condition: Very Good. 661pp, no dustjacket, previous owners name stamp on flyleaf otherwise unmarked. Seller Inventory # 4446173
Quantity: 1 available
Seller: dsmbooks, Liverpool, United Kingdom
Hardcover. Condition: Acceptable. Acceptable. book. Seller Inventory # D8S0-3-M-0198537417-2
Quantity: 1 available