pular para conteúdo
The universal Turing machine : a half-century survey Ver prévia deste item
FecharVer prévia deste item
Checando...

The universal Turing machine : a half-century survey

Autor: Rolf Herken; Alan Turing
Editora: Wien [u.a.] : Springer, 1995.
Séries: Computerkultur, 2.
Edição/Formato   Print book : Inglês : 2. edVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:

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  Ler mais...

Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Links para este item

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Gênero/Forma: études diverses
Pessoa Denominada: Alan Mathison Turing; Alan Turing
Tipo de Material: Recurso Internet
Tipo de Documento: Livro, Recurso Internet
Todos os Autores / Contribuintes: 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.
Descrição: XVI, 611 S : graph. Darst.
Conteúdos: 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 da Série: Computerkultur, 2.
Responsabilidade: Rolf Herken (ed.).
Mais informações:

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


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://viaf.org/viaf/41887917> ; # Alan Turing
   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://id.worldcat.org/fast/1159283> ; # Turing machines
   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#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://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://worldcat.org/isbn/9783211826379>
    a schema:ProductModel ;
   schema:isbn "3211826378" ;
   schema:isbn "9783211826379" ;
    .


Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.