Verwandte Artikel zu The Universal Turing Machine: A Half-century Survey

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

 
9780198537410: The Universal Turing Machine: A Half-century Survey

Inhaltsangabe

This volume commemorates the work of Alan Turing, because it was Turing who not only introduced the most persuasive and influential concept of a machine model of effective computability but who also anticipated in his work the diversity of topics brought together here. As Newman put it in his memoir of Turing, "The central problem with which he started and to which he constantly returned is the extent and the limitations of mechanistic explanations of nature." Turing's paper "On computable numbers, with an application to the Entscheidungsproblem" appeared in print in 1937. It contained Turing's thesis that every 'effective' computation can be programmed on a Turing machine. Furthermore, it contained 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. The publication of this idea is acknowledged as a landmark of the computer age. Part 1 of the volume explores the historical aspect with essays on the background, on Turing's work, and on subsequent developments. Part 2 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. Anyone interested in Turing and his ideas; Computer scientists, logicians, mathematicians, AI researchers, physicists, and other scientists; Historians of mathematics, computing, and science; Philosophers.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This volume commemorates the work of Alan Turing, because it was Turing who not only introduced the most persuasive and influential concept of a machine model of effective computability but who also anticipated in his work the diversity of topics brought together here. As Newman put it in his memoir of Turing, "The central problem with which he started and to which he constantly returned is the extent and the limitations of mechanistic explanations of nature." Turing's paper "On computable numbers, with an application to the Entscheidungsproblem" appeared in print in 1937. It contained Turing's thesis that every 'effective' computation can be programmed on a Turing machine. Furthermore, it contained 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. The publication of this idea is acknowledged as a landmark of the computer age. Part 1 of the volume explores the historical aspect with essays on the background, on Turing's work, and on subsequent developments. Part 2 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. Anyone interested in Turing and his ideas; Computer scientists, logicians, mathematicians, AI researchers, physicists, and other scientists; Historians of mathematics, computing, and science; Philosophers.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Zustand: Gut
661pp, no dustjacket, previous...
Diesen Artikel anzeigen

EUR 24,95 für den Versand von Kanada nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0198537743 ISBN 13:  9780198537748
Verlag: OUP Oxford, 1991
Softcover

Suchergebnisse für The Universal Turing Machine: A Half-century Survey

Beispielbild für diese ISBN

HERKEN, Rolf \(editor\)
ISBN 10: 0198537417 ISBN 13: 9780198537410
Gebraucht Hardcover

Anbieter: Rosenbloom Rare Books, Ottawa, ON, Kanada

Verkäuferbewertung 3 von 5 Sternen 3 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Very Good. 661pp, no dustjacket, previous owners name stamp on flyleaf otherwise unmarked. Bestandsnummer des Verkäufers 4446173

Verkäufer kontaktieren

Gebraucht kaufen

EUR 57,11
Währung umrechnen
Versand: EUR 24,95
Von Kanada nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Herken, Rolf (editor)
ISBN 10: 0198537417 ISBN 13: 9780198537410
Gebraucht Hardcover Erstausgabe

Anbieter: About Books, Henderson, NV, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Near Fine EX-LIBRARY. Zustand des Schutzumschlags: 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. Bestandsnummer des Verkäufers 007452

Verkäufer kontaktieren

Gebraucht kaufen

EUR 61,46
Währung umrechnen
Versand: EUR 44,36
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Rolf Herken
Verlag: Oxford University Press, 1988
ISBN 10: 0198537417 ISBN 13: 9780198537410
Gebraucht Hardcover

Anbieter: Vellum is the GOAT, San Rafael, CA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Very Good. xiv, 661 pages : illustrations ; 25 cm. Bestandsnummer des Verkäufers CNH0005917

Verkäufer kontaktieren

Gebraucht kaufen

EUR 57,11
Währung umrechnen
Versand: EUR 85,30
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Herken, Rolf
ISBN 10: 0198537417 ISBN 13: 9780198537410
Gebraucht Hardcover

Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Good. Good. book. Bestandsnummer des Verkäufers D8S0-3-M-0198537417-2

Verkäufer kontaktieren

Gebraucht kaufen

EUR 280,60
Währung umrechnen
Versand: EUR 28,97
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb