跳到内容
The universal Turing machine : a half-century survey 预览资料
关闭预览资料
正在查...

The universal Turing machine : a half-century survey

著者: Rolf Herken; Alan Turing
出版商: Wien [u.a.] : Springer, 1995.
丛书: Computerkultur, 2.
版本/格式:   图书 : 英语 : 2. ed查看所有的版本和格式
数据库:WorldCat
提要:

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  再读一些...

评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

类型/形式: [études diverses]
提及的人: Alan Turing; Alan Mathison Turing
材料类型: 互联网资源
文件类型: 书, 互联网资源
所有的著者/提供者: Rolf Herken; Alan Turing
ISBN: 3211826378 9783211826379
OCLC号码: 299812861
注意: 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.
描述: XVI, 611 S : graph. Darst.
内容: 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.
丛书名: Computerkultur, 2.
责任: Rolf Herken (ed.).
更多信息:

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


<http://www.worldcat.org/oclc/299812861>
library:oclcnum"299812861"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/299812861>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"2. ed."
schema:contributor
schema:contributor
schema:datePublished"1995"
schema:exampleOfWork<http://worldcat.org/entity/work/id/327705919>
schema:inLanguage"en"
schema:name"The universal Turing machine : a half-century survey"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.