doorgaan naar inhoud
The universal Turing machine : a half-century survey Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

The universal Turing machine : a half-century survey

Auteur: Rolf Herken; Alan Turing
Uitgever: Wien : Springer, 1995.
Serie: Computerkultur, 2.
Editie/Formaat:   Gedrukt boek : Engels : 2. ed
Samenvatting:

Alan Turing's paper of 1937, contained his thesis that every effective computation can be programmed on such an automation as that called Turing machine. This work recognizes the influence of the  Meer lezen...

Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre/Vorm: études diverses
Genoemd persoon: Alan Mathison Turing; Alan Turing
Genre: Internetbron
Soort document Boek, Internetbron
Alle auteurs / medewerkers: Rolf Herken; Alan Turing
ISBN: 3211826378 9783211826379
OCLC-nummer: 299812861
Opmerkingen: Literaturangaben.
Paper contained in this volume were written on the occasion of the fiftieth anniversary of the publication of Alan Turings's paper "On computable numbers, with an application to the Entscheidungsproblem" in 1937.
Beschrijving: XVI, 611 Seiten : Diagramme.
Inhoud: I.- Alan Turing and the Turing Machine.- Turing's Analysis of Computability, and Major Applications of It.- The Confluence of Ideas in 1936.- Turing in the Land of O(z).- Mathematical Logic and the Origin of Modern Computing.- II.- From Universal Turing Machines to Self-Reproduction.- Computerizing Mathematics: Logic and Computation.- Logical Depth and Physical Complexity.- The Busy Beaver Game and the Meaning of Life.- An Algebraic Equation for the Halting Probability.- The Price of Programmability.- Gandy's Principles for Mechanisms as a Model of Parallel Computation.- Influences of Mathematical Logic on Computer Science.- Language and Computations.- Finite Physics.- Randomness, Interactive Proofs, and Zero-Knowledge - A Survey.- Algorithms in the World of Bounded Resources.- Beyond the Turing Machine.- Structure.- Mental Images and the Architecture of Concepts.- The Fifth Generation's Unbridged Gap.- On the Physics and Mathematics of Thought.- Effective Processes and Natural Law.- Turing Naturalized: Von Neumann's Unfinished Project.- Complexity Theory and Interaction.- Mechanisms for Computing Over Arbitrary Structures.- Comparing the Church and Turing Approaches: Two Prophetical Messages.- Form and Content in Thinking Turing Machines.
Serietitel: Computerkultur, 2.
Verantwoordelijkheid: Rolf Herken (ed.).
Meer informatie

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


Primary Entity

<http://www.worldcat.org/oclc/299812861> # The universal Turing machine : a half-century survey
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "299812861" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4916899387#Place/wien> ; # Wien
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/au> ;
    schema:about <http://dewey.info/class/511.3/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4916899387#Topic/informationstheorie_geschichte> ; # Informationstheorie--Geschichte
    schema:about <http://viaf.org/viaf/41887917> ; # Alan Turing
    schema:about <http://experiment.worldcat.org/entity/work/data/4916899387#Topic/universelle_turing_maschine_swd_id_42035235> ; # Universelle Turing-Maschine ; SWD-ID: 42035235
    schema:about <http://experiment.worldcat.org/entity/work/data/4916899387#Topic/geschichte> ; # Geschichte
    schema:about <http://experiment.worldcat.org/entity/work/data/4916899387#Topic/automatentheorie_geschichte> ; # Automatentheorie--Geschichte
    schema:about <http://id.worldcat.org/fast/1159283> ; # Turing machines
    schema:about <http://experiment.worldcat.org/entity/work/data/4916899387#Topic/codierungstheorie_geschichte> ; # Codierungstheorie--Geschichte
    schema:about <http://experiment.worldcat.org/entity/work/data/4916899387#Topic/turing_maschine> ; # Turing-Maschine
    schema:about <http://experiment.worldcat.org/entity/work/data/4916899387#Topic/universelle_turing_maschine> ; # Universelle Turing-Maschine
    schema:bookEdition "2. ed." ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/49325926> ; # Rolf Herken
    schema:contributor <http://viaf.org/viaf/41887917> ; # Alan Turing
    schema:datePublished "1995" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4916899387> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4916899387#Series/computerkultur> ; # Computerkultur ;
    schema:name "The universal Turing machine : a half-century survey" ;
    schema:productID "299812861" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/299812861#PublicationEvent/wien_springer_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4916899387#Agent/springer> ; # Springer
    schema:url <http://www.gbv.de/dms/bowker/toc/9783211826379.pdf> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0815/95001814-d.html> ;
    schema:workExample <http://worldcat.org/isbn/9783211826379> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/299812861> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4916899387#Series/computerkultur> # Computerkultur ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/299812861> ; # The universal Turing machine : a half-century survey
    schema:name "Computerkultur ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4916899387#Topic/automatentheorie_geschichte> # Automatentheorie--Geschichte
    a schema:Intangible ;
    schema:name "Automatentheorie--Geschichte" ;
    .

<http://experiment.worldcat.org/entity/work/data/4916899387#Topic/codierungstheorie_geschichte> # Codierungstheorie--Geschichte
    a schema:Intangible ;
    schema:name "Codierungstheorie--Geschichte" ;
    .

<http://experiment.worldcat.org/entity/work/data/4916899387#Topic/informationstheorie_geschichte> # Informationstheorie--Geschichte
    a schema:Intangible ;
    schema:name "Informationstheorie--Geschichte" ;
    .

<http://experiment.worldcat.org/entity/work/data/4916899387#Topic/universelle_turing_maschine> # Universelle Turing-Maschine
    a schema:Intangible ;
    schema:name "Universelle Turing-Maschine" ;
    .

<http://experiment.worldcat.org/entity/work/data/4916899387#Topic/universelle_turing_maschine_swd_id_42035235> # Universelle Turing-Maschine ; SWD-ID: 42035235
    a schema:Intangible ;
    schema:name "Universelle Turing-Maschine ; SWD-ID: 42035235" ;
    .

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

<http://viaf.org/viaf/41887917> # Alan Turing
    a schema:Person ;
    schema:familyName "Turing" ;
    schema:givenName "Alan" ;
    schema:givenName "Alan Mathison" ;
    schema:name "Alan Turing" ;
    schema:name "Alan Mathison Turing" ;
    .

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

<http://worldcat.org/isbn/9783211826379>
    a schema:ProductModel ;
    schema:isbn "3211826378" ;
    schema:isbn "9783211826379" ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.