跳至内容
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 Mathison Turing; Alan 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的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


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

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.