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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
EUR 24,83 per la spedizione da Canada a Italia
Destinazione, tempi e costiDa: Rosenbloom Rare Books, Ottawa, ON, Canada
Condizione: Very Good. 661pp, no dustjacket, previous owners name stamp on flyleaf otherwise unmarked. Codice articolo 4446173
Quantità: 1 disponibili
Da: About Books, Henderson, NV, U.S.A.
Hardcover. Condizione: Near Fine EX-LIBRARY. Condizione sovraccoperta: 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. Codice articolo 007452
Quantità: 1 disponibili
Da: Vellum is the GOAT, San Rafael, CA, U.S.A.
Hardcover. Condizione: Very Good. xiv, 661 pages : illustrations ; 25 cm. Codice articolo CNH0005917
Quantità: 1 disponibili
Da: dsmbooks, Liverpool, Regno Unito
Hardcover. Condizione: Good. Good. book. Codice articolo D8S0-3-M-0198537417-2
Quantità: 1 disponibili