Cover von The Universal Turing Machine wird in neuem Tab geöffnet

The Universal Turing Machine

a Half-Century Survey
Suche nach Verfasser*in
Verfasser*innenangabe: Rolf Herken (ed.)
Jahr: 1995
Verlag: Wien [u.a.], Springer
Mediengruppe: Buch
verfügbar

Exemplare

AktionZweigstelleStandorteStatusFristVorbestellungen
Vorbestellen Zweigstelle: 07., Urban-Loritz-Pl. 2a Standorte: NT.EI FS.E Univ / College 6x - Magazin: bitte wenden Sie sich an die Infotheke Status: Verfügbar Frist: Vorbestellungen: 0

Inhalt

This volume commemorates the work of Alan Turing, who not only introduced the most persuasive and influential concept of a machine model of effective computability but also anticipated in his work contemporary debates about the extent and limitations of mechanistic explanations of nature. Turing's paper "On Computable Numbers, With an Application to the Entscheidungsproblem" appeared in 1937. It contained Turing's thesis that every "effective" computation can be programmed on a Turing machine. Furthermore it contained the unsolvability of both the halting problem and the decision problem for first-order logic, and it presented the invention of the universal Turing machine. The publication of this paper is acknowledged as a landmark of the computer age. Part I of this volume explores the historical aspect with essays on the background, on Turing's work, and subsequent developments. Part II contains an extensive series of essays on the influence and applications of these ideas in mathematics, philosophy, computer science, artificial intelligence, and physics. The book will interest a wide range of readers in these fields, in addition to historians of science and ideas.
Verlagstext

Details

Suche nach Verfasser*in
Verfasser*innenangabe: Rolf Herken (ed.)
Jahr: 1995
Verlag: Wien [u.a.], Springer
opens in new tab
Systematik: Suche nach dieser Systematik NT.EI, FS.E
Interessenkreis: Suche nach diesem Interessenskreis Englisch [Sprache]
ISBN: 3-211-82637-8
Beschreibung: 2. Aufl., XVI,611 S. : Ill.
Schlagwörter: Aufsatzsammlung, Geschichte 1945-1995, Turing-Maschine
Beteiligte Personen: Suche nach dieser Beteiligten Person Herken, Rolf [Hrsg.]
Mediengruppe: Buch