The universal Turing machine : a half-century survey
著者
書誌事項
The universal Turing machine : a half-century survey
(Computerkultur, v. 2)
Springer-Verlag, c1994
大学図書館所蔵 件 / 全14件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
First published 1988 by Verlag Kammerer & Unverzagt and Oxford University Press
Includes bibliographical references
内容説明・目次
内容説明
"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 the 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.
「Nielsen BookData」 より