{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:31:52Z","timestamp":1725532312594},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642020162"},{"type":"electronic","value":"9783642020179"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02017-9_5","type":"book-chapter","created":{"date-parts":[[2009,5,11]],"date-time":"2009-05-11T11:38:06Z","timestamp":1242041886000},"page":"18-28","source":"Crossref","is-referenced-by-count":0,"title":["The Extended Turing Model as Contextual Tool"],"prefix":"10.1007","author":[{"given":"S. Barry","family":"Cooper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"382","volume-title":"100 Years of Relativity \u2014 Space-Time Structure: Einstein and Beyond","author":"M. Bojowald","year":"2006","unstructured":"Bojowald, M.: Loop quantum cosmology. In: Ashtekar, A. (ed.) 100 Years of Relativity \u2014 Space-Time Structure: Einstein and Beyond, pp. 382\u2013414. World Scientific, Singapore (2006)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1103\/PhysRevLett.59.521","volume":"59","author":"L. Bombelli","year":"1987","unstructured":"Bombelli, L., Lee, J., Meyer, D., Sorkin, R.D.: Spacetime as a causal set. Phys. Rev. Lett.\u00a059, 521\u2013524 (1987)","journal-title":"Phys. Rev. Lett."},{"key":"5_CR3","series-title":"London Mathematical Society Lecture Notes Series","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1017\/CBO9780511565670.005","volume-title":"Models and Computability","author":"S.B. Cooper","year":"1999","unstructured":"Cooper, S.B.: Clockwork or Turing U\/universe? - Remarks on causal determinism and computability. In: Cooper, S.B., Truss, J.K. (eds.) Models and Computability. London Mathematical Society Lecture Notes Series, vol.\u00a0259, pp. 63\u2013116. Cambridge University Press, Cambridge (1999)"},{"key":"5_CR4","volume-title":"Computability Theory","author":"S.B. Cooper","year":"2004","unstructured":"Cooper, S.B.: Computability Theory. Chapman & Hall\/CRC, Boca Raton (2004)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.amc.2005.09.072","volume":"178","author":"S.B. Cooper","year":"2006","unstructured":"Cooper, S.B.: Definability as hypercomputational effect. Applied Mathematics and Computation\u00a0178, 72\u201382 (2006)","journal-title":"Applied Mathematics and Computation"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11611257_1","volume-title":"SOFSEM 2006: Theory and Practice of Computer Science","author":"S.B. Cooper","year":"2006","unstructured":"Cooper, S.B.: How Can Nature Help Us Compute? In: Wiedermann, J., Tel, G., Pokorn\u00fd, J., Bielikov\u00e1, M., \u0160tuller, J. (eds.) SOFSEM 2006. LNCS, vol.\u00a03831, pp. 1\u201313. Springer, Heidelberg (2006)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Cooper, S.B.: Computability and emergence. In: Gabbay, M., Goncharov, S.S., Zakharyaschev, M. (eds.) Mathematical Problems from Applied Logic I. Logics for the XXIst Century. Springer International Mathematical Series, vol.\u00a04, pp. 193\u2013231 (2006)","DOI":"10.1007\/0-387-31072-X_4"},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-1-4615-0755-0_6","volume-title":"Computability and Models","author":"S.B. Cooper","year":"2003","unstructured":"Cooper, S.B., Odifreddi, P.: Incomputability in Nature. In: Cooper, S.B., Goncharov, S.S. (eds.) Computability and Models, pp. 137\u2013160. Kluwer Academic\/Plenum, Dordrecht\/New York (2003)"},{"key":"5_CR9","unstructured":"Einstein, A.: Autobiographical Notes. In: Schilpp, P. (ed.) Albert Einstein: Philosopher-Scientist. Open Court Publishing (1969)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1088\/1126-6708\/2003\/10\/063","volume":"JHEP10","author":"D. Friedan","year":"2003","unstructured":"Friedan, D.: A Tentative Theory of Large Distance Physics. J. High Energy Phys.\u00a0JHEP10, 063 (2003)","journal-title":"J. High Energy Phys."},{"key":"5_CR11","unstructured":"Hodges, A., Turing, A.: The Enigma, Vintage, London, Melbourne, Johannesburg (1992)"},{"key":"5_CR12","unstructured":"Kreisel, G.: Mathematical logic: What has it done for the philosophy of mathematics? In: Schoenman, R. (ed.) Bertrand Russell, Philosopher of the Century, Allen and Unwin, London, pp. 201\u2013272 (1967)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0049-237X(08)70746-8","volume-title":"Intuitionism and proof theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968","author":"G. Kreisel","year":"1970","unstructured":"Kreisel, G.: Church\u2019s Thesis: a kind of reducibility axiom for constructive mathematics. In: Kino, A., Myhill, J., Vesley, R.E. (eds.) Intuitionism and proof theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968, pp. 121\u2013150. North-Holland, Amsterdam (1970)"},{"key":"5_CR14","doi-asserted-by":"crossref","DOI":"10.7208\/chicago\/9780226458106.001.0001","volume-title":"The Structure of Scientific Revolutions","author":"T.S. Kuhn","year":"1996","unstructured":"Kuhn, T.S.: The Structure of Scientific Revolutions, 3rd edn. University of Chicago Press, Chicago (1996)","edition":"3"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Newton, I.: Philosophiae Naturalis Principia Mathematica, London (1687)","DOI":"10.5479\/sil.52126.39088015628399"},{"key":"5_CR16","first-page":"105","volume-title":"Quantum Implications: Essays in honour of David Bohm","author":"R. Penrose","year":"1987","unstructured":"Penrose, R.: Quantum physics and conscious thought. In: Hiley, J., Peat, F.D. (eds.) Quantum Implications: Essays in honour of David Bohm, pp. 105\u2013120. Routledge & Kegan Paul, London (1987)"},{"key":"5_CR17","series-title":"Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester","first-page":"183","volume-title":"Sets, Models and Recursion Theory","author":"H. Rogers Jr.","year":"1965","unstructured":"Rogers Jr., H.: Some problems of definability in recursive function theory. In: Crossley, J.N. (ed.) Sets, Models and Recursion Theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, pp. 183\u2013201. North-Holland, Amsterdam (1965)"},{"key":"5_CR18","unstructured":"Smolin, L.: The Trouble With Physics: The Rise of String Theory, the Fall of Science and What Comes Next. Allen Lane\/Houghton Mifflin, London, New York (2006)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"42","author":"A. Turing","year":"1936","unstructured":"Turing, A.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society\u00a042, 230\u2013265 (1936-1937); Turing, A.M.: Collected Works: Mathematical Logic, 18\u201353 (reprint)","journal-title":"Proceedings of the London Mathematical Society"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"45","author":"A. Turing","year":"1939","unstructured":"Turing, A.: Systems of logic based on ordinals. Proceedings of the London Mathematical Society\u00a045, 161\u2013228 (1939); Turing, A.M.: Collected Works: Mathematical Logic, 81\u2013148 (reprint)","journal-title":"Proceedings of the London Mathematical Society"},{"key":"5_CR21","unstructured":"Turing, A.M.: Collected Works: Mathematical Logic. In: Gandy, R.O., Yates, C.E.M. (eds.). Elsevier, Amsterdam (2001)"},{"key":"5_CR22","unstructured":"Woit, P.: Not Even Wrong: The Failure of String Theory and the Continuing Challenge to Unify the Laws of Physics, Jonathan Cape, London (2006)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02017-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T06:17:37Z","timestamp":1619763457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02017-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020162","9783642020179"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02017-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}