omitir hasta el contenido
The universal Turing machine : a half-century survey Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

The universal Turing machine : a half-century survey

Autor: Rolf Herken; Alan Turing
Editorial: Wien [u.a.] : Springer, 1995.
Serie: Computerkultur, 2.
Edición/Formato:   Print book : Inglés (eng) : 2. edVer todas las ediciones y todos los formatos
Base de datos:WorldCat
Resumen:

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  Leer más

Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en línea

Enlaces a este material

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Género/Forma: études diverses
Persona designada: Alan Mathison Turing; Alan Turing
Tipo de material: Recurso en Internet
Tipo de documento: Libro/Texto, Recurso en Internet
Todos autores / colaboradores: Rolf Herken; Alan Turing
ISBN: 3211826378 9783211826379
Número OCLC: 299812861
Notas: 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.
Descripción: XVI, 611 S : graph. Darst.
Contenido: 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.
Título de la serie: Computerkultur, 2.
Responsabilidad: Rolf Herken (ed.).
Más información:

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


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://id.loc.gov/vocabulary/countries/au> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/327705919#Place/wien_u_a> ; # Wien u.a.
    schema:about <http://dewey.info/class/511.3/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Person/turing_alan> ; # Alan Turing
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/turing_machines> ; # Turing machines
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/geschichte> ; # Geschichte
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/automatentheorie_geschichte> ; # Automatentheorie--Geschichte
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/informationstheorie_geschichte> ; # Informationstheorie--Geschichte
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/universelle_turing_maschine_swd_id_42035235> ; # Universelle Turing-Maschine ; SWD-ID: 42035235
    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/universelle_turing_maschine> ; # Universelle Turing-Maschine
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Person/turing_alan_mathison> ; # Alan Mathison Turing
    schema:about <http://experiment.worldcat.org/entity/work/data/327705919#Topic/codierungstheorie_geschichte> ; # Codierungstheorie--Geschichte
    schema:bookEdition "2. ed." ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/327705919#Person/herken_rolf> ; # Rolf Herken
    schema:contributor <http://viaf.org/viaf/41887917> ; # Alan Turing
    schema:datePublished "1995" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/327705919> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/327705919#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_u_a_springer_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/327705919#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/327705919#Person/herken_rolf> # Rolf Herken
    a schema:Person ;
    schema:familyName "Herken" ;
    schema:givenName "Rolf" ;
    schema:name "Rolf Herken" ;
    .

<http://experiment.worldcat.org/entity/work/data/327705919#Person/turing_alan> # Alan Turing
    a schema:Person ;
    schema:familyName "Turing" ;
    schema:givenName "Alan" ;
    schema:name "Alan Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/327705919#Person/turing_alan_mathison> # Alan Mathison Turing
    a schema:Person ;
    schema:familyName "Turing" ;
    schema:givenName "Alan Mathison" ;
    schema:name "Alan Mathison Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/327705919#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/327705919#Topic/automatentheorie_geschichte> # Automatentheorie--Geschichte
    a schema:Intangible ;
    schema:name "Automatentheorie--Geschichte" ;
    .

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

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

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

<http://experiment.worldcat.org/entity/work/data/327705919#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://viaf.org/viaf/41887917> # Alan Turing
    a schema:Person ;
    schema:familyName "Turing" ;
    schema:givenName "Alan" ;
    schema:name "Alan Turing" ;
    .

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


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.