skip to content
The Universal Turing machine : a half-century survey Preview this item
ClosePreview this item
Checking...

The Universal Turing machine : a half-century survey

Author: Rolf Herken
Publisher: Oxford ; New York : Oxford University Press, 1988.
Series: Oxford science publications.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Alan Turing's 1937 paper `On computable numbers' was a landmark of the coming computer age. This volume of essays pays tribute to him, examining aspects of his work and its influence and applications.  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Aufgabensammlung
Aufsatzsammlung
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Rolf Herken
ISBN: 0198537417 9780198537410 0198537743 9780198537748
OCLC Number: 20296444
Description: xiv, 661 pages : illustrations ; 25 cm.
Contents: List of contributors; Preface; PART 1: A. Hodges: Alan Turing and the Turing Machine; S.C. Kleene: Turing's analysis of computability, and major applications of it; R. Gandy: The confluence of ideas in 1936; S. Feferman: Turing in the Land of O(z); M. Davis: Mathematical logic and the origin of modern computing. PART 2: M.A. Arbib: From universal Turing machines to self-reproduction; M.J. Beeson: Computerizing mathematics: Logic and computation; C.H. Bennett: Logical depth and physical complexity; A.H. Brady: The busy beaver game and the meaning of life; G.J. Chaitin: An algebraic equation for the halting probability; M. Conrad: The price of programmability; E. Dahlhaus & J.A. Makowsky: Gandy's principles for mechanisms as a model of parallel computation; M. Davis: Influences of mathematical logic on computer science; J.E. Fenstad: Language and computations; D. Finkelstein: Finite physics; O. Goldreich: Randomness, interactive proofs, and zero-knowledge - a survey; Y. Gurevich: Algorithms in the world of bounded resources; B. Hasslacher: Beyond the Turing machine; M. Koppel: Structure; J.A. Makowsky: Mental images and the architecture of concepts; D. Michie: The fifth generation's unbridged gap; R. Penrose: On the physics and mathematics of thought; R. Rosen: Effective processes and natural law; H. Schnelle: Turing naturalized: Von Neumann's unfinished project; U. Sch ning: Complexity theory and interaction; J.C. Shepherdson: Mechanisms for computing over arbitrary structures; B.A. Trakhtenbrot: Comparing the Church and Turing approaches: two prophetical messages; O. Wiener: Form and content in thinking Turing machines; Appendix.
Series Title: Oxford science publications.
Responsibility: edited by Rolf Herken.
More information:

Reviews

Editorial reviews

Publisher Synopsis

'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. Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/20296444> # The Universal Turing machine : a half-century survey
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "20296444" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/327705919#Place/oxford> ; # Oxford
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://dewey.info/class/004/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/aufsatzsammlung> ; # Aufsatzsammlung
    schema:about <http://id.worldcat.org/fast/1159283> ; # Turing machines
    schema:about <http://dewey.info/class/511.3/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/turingmachines> ; # Turingmachines
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/turing_machine_de> ; # Turing, Machine de
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/turing_maschine> ; # Turing-Maschine
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/turing_machines_de> ; # Turing, Machines de
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/aufgabensammlung> ; # Aufgabensammlung
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/49325926> ; # Rolf Herken
    schema:datePublished "1988" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/327705919> ;
    schema:genre "Aufgabensammlung"@en ;
    schema:genre "Aufsatzsammlung"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/327705919#Series/oxford_science_publications> ; # Oxford science publications.
    schema:name "The Universal Turing machine : a half-century survey"@en ;
    schema:productID "20296444" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/20296444#PublicationEvent/oxford_new_york_oxford_university_press_1988> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/327705919#Agent/oxford_university_press> ; # Oxford University Press
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0636/88213652-t.html> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9780198537748.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780198537748> ;
    schema:workExample <http://worldcat.org/isbn/9780198537410> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/20296444> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/327705919#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
    schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/327705919#Series/oxford_science_publications> # Oxford science publications.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/20296444> ; # The Universal Turing machine : a half-century survey
    schema:name "Oxford science publications." ;
    .

<http://experiment.worldcat.org/entity/work/data/327705919#Topic/turing_machine_de> # Turing, Machine de
    a schema:Intangible ;
    schema:name "Turing, Machine de"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/327705919#Topic/turing_machines_de> # Turing, Machines de
    a schema:Intangible ;
    schema:name "Turing, Machines de"@fr ;
    .

<http://id.worldcat.org/fast/1159283> # Turing machines
    a schema:Intangible ;
    schema:name "Turing machines"@en ;
    .

<http://viaf.org/viaf/49325926> # Rolf Herken
    a schema:Person ;
    schema:familyName "Herken" ;
    schema:givenName "Rolf" ;
    schema:name "Rolf Herken" ;
    .

<http://worldcat.org/isbn/9780198537410>
    a schema:ProductModel ;
    schema:isbn "0198537417" ;
    schema:isbn "9780198537410" ;
    .

<http://worldcat.org/isbn/9780198537748>
    a schema:ProductModel ;
    schema:isbn "0198537743" ;
    schema:isbn "9780198537748" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.