Articles liés à The Universal Turing Machine A Half-Century Survey:...

The Universal Turing Machine A Half-Century Survey: A Half-Century Survey (Computerkultur) - Couverture souple

 
9783211826379: The Universal Turing Machine A Half-Century Survey: A Half-Century Survey (Computerkultur)
Couverture souple
ISBN 10 : 3211826378 ISBN 13 : 9783211826379
Editeur : Springer Verlag GmbH, 2013

Synopsis

"On Computable Numbers, with an Application to the Entscheidungsproblem , 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. Furthermore it proved the unsolvability of the halting problem and of the decision problem for first order logic, and it presented the invention of the universal Turing machine. It is that publication that will presumably be acknowledged as marking sub specie aeternitatis the beginning of the "computer age .This volume recognizes the still continuing influence of the Turing machine concept by collecting contributions from international specialists in logic, computability, mathematics, biology, physics, linguistics, and cognitive science, thus signalling the exceptionally wide scope of that concept.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

On Computable Numbers, with an Application to the Entscheidungsproblem 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. Furthermore it proved the unsolvability of the halting problem and of the decision problem for first order logic, and it presented the invention of the universal Turing machine. It is that publication that will presumably be acknowledged as marking sub specie aeternitatis the beginning of the "computer age" This volume recognizes the still continuing influence of the Turing machine concept by collecting contributions from international specialists in logic, computability, mathematics, biology, physics, linguistics, and cognitive science, thus signalling the exceptionally wide scope of that concept.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Verlag GmbH
Date d'édition
2013
Langue
anglais
ISBN 10 
3211826378
ISBN 13 
9783211826379
Reliure
Broché
Numéro d'édition
2
Nombre de pages
611
Éditeur
Herken Rolf
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne