The Universal Turing Machine A Half-Century Survey

The Universal Turing Machine A Half-Century Survey

Andrew Hodges (auth.), Rolf Herken (eds.)
Bu kitabı ne kadar beğendiniz?
İndirilen dosyanın kalitesi nedir?
Kalitesini değerlendirmek için kitabı indirin
İndirilen dosyaların kalitesi nedir?
"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.
Yıl:
1995
Baskı:
2nd ed.
Yayımcı:
Springer Vienna
Dil:
english
Sayfalar:
610
ISBN 10:
3709165970
ISBN 13:
9783709165973
Seriler:
Computerkultur 2
Dosya:
PDF, 40.25 MB
IPFS:
CID , CID Blake2b
english, 1995
İndir (pdf, 40.25 MB)
'e dönüştürme devam ediyor
dosyasına dönüştürme başarısız oldu

Anahtar ifadeler