{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:43:55Z","timestamp":1725497035600},"edition-number":"1","reference-count":14,"publisher":"Wiley","isbn-type":[{"type":"print","value":"9780471383932"},{"type":"electronic","value":"9780470050118"}],"license":[{"start":{"date-parts":[[2009,3,16]],"date-time":"2009-03-16T00:00:00Z","timestamp":1237161600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>The history of the computer is unusual, in that the theory in the form of the Universal Turing Machine preceded its physical embodiment by around 10 years. Computability as a research area grew out of the work of pioneers such as Alan Turing in the 1930s, and it is still very much defined by the interests of Turing, with his keen curiosity about patterns and underlying theory, but theory firmly tied to a real\u2010world context. This article reviews some main contemporary research directions with new developments strongly featured. A particular focus is the development and investigation of deep and mathematically interesting computational structures, which tell us more about what can and cannot be computed. Turing's notion of an oracle computing machine provides a natural model of computationally complex environments, structuring information, and hence the real world, in remarkably informative ways. Other important topics include randomness and computability of structures. A useful reading list is given.<\/jats:p>","DOI":"10.1002\/9780470050118.ecse539","type":"other","created":{"date-parts":[[2009,3,9]],"date-time":"2009-03-09T13:48:02Z","timestamp":1236606482000},"page":"490-500","source":"Crossref","is-referenced-by-count":0,"title":["Computability"],"prefix":"10.1002","author":[{"given":"S. Barry","family":"Cooper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2009,3,16]]},"reference":[{"volume-title":"Computability Theory","year":"2004","author":"Cooper S. B.","key":"e_1_2_11_2_1_1"},{"key":"e_1_2_11_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0755-0_6"},{"volume-title":"The Universal Computer: The Road from Leibniz to Turing","year":"2000","author":"Davis M.","key":"e_1_2_11_3_2_1"},{"volume-title":"Handbook of Recursive Mathematics","year":"1998","author":"Ershov Yu. L","key":"e_1_2_11_3_3_1"},{"volume-title":"Handbook of Computability Theory","year":"1999","author":"Griffor E. R.","key":"e_1_2_11_3_4_1"},{"volume-title":"Alan Turing: The Enigma","year":"1992","author":"Hodges A.","key":"e_1_2_11_3_5_1"},{"volume-title":"Hilbert's Tenth Problem","year":"1993","author":"Matiyasevich Y.","key":"e_1_2_11_3_6_1"},{"volume-title":"Classical Recursion Theory","year":"1999","author":"Odifreddi P.","key":"e_1_2_11_3_7_1"},{"volume-title":"Solvability, Provability, Definability: The Collected Works of Emil L. Post","year":"1994","author":"Post E. L.","key":"e_1_2_11_3_8_1"},{"key":"e_1_2_11_3_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4906-1"},{"volume-title":"The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics","year":"2002","author":"Penrose R.","key":"e_1_2_11_3_10_1"},{"volume-title":"Theory of Recursive Functions and Effective Computability","year":"1987","author":"Rogers H.","key":"e_1_2_11_3_11_1"},{"key":"e_1_2_11_3_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"},{"volume-title":"Collected Works: Mathematical Logic","year":"2001","author":"Turing A. M.","key":"e_1_2_11_3_13_1"}],"container-title":["Wiley Encyclopedia of Computer Science and Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/9780470050118.ecse539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T00:43:34Z","timestamp":1692578614000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/9780470050118.ecse539"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,16]]},"ISBN":["9780471383932","9780470050118"],"references-count":14,"alternative-id":["10.1002\/9780470050118.ecse539","10.1002\/9780470050118"],"URL":"https:\/\/doi.org\/10.1002\/9780470050118.ecse539","archive":["Portico"],"relation":{},"subject":[],"published":{"date-parts":[[2009,3,16]]}}}