{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:36:46Z","timestamp":1740123406038,"version":"3.37.3"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000925","name":"The John Templeton Foundation","doi-asserted-by":"crossref","award":["15619"],"award-info":[{"award-number":["15619"]}],"id":[{"id":"10.13039\/100000925","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1007\/s11229-015-0803-4","type":"journal-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T15:50:58Z","timestamp":1436197858000},"page":"1955-1988","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["The machine as data: a computational view of emergence and definability"],"prefix":"10.1007","volume":"192","author":[{"given":"S. Barry","family":"Cooper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,7]]},"reference":[{"issue":"3","key":"803_CR1","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/s11229-011-9914-8","volume":"186","author":"H Andr\u00e9ka","year":"2012","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., N\u00e9meti, I., & Sz\u00e9kely, G. (2012). A logic road from special relativity to general relativity. Synthese, 186(3), 633\u2013649.","journal-title":"Synthese"},{"issue":"6","key":"803_CR2","doi-asserted-by":"publisher","first-page":"386","DOI":"10.2976\/1.3244985","volume":"3","author":"M Arndt","year":"2009","unstructured":"Arndt, M., Juffmann, T., & Vedral, V. (2009). Quantum physics meets biology. HFSP Journal, 3(6), 386\u2013400.","journal-title":"HFSP Journal"},{"key":"803_CR3","volume-title":"The meme machine","author":"S Blackmore","year":"1999","unstructured":"Blackmore, S. (1999). The meme machine (Vol. 25). Oxford: Oxford University Press."},{"key":"803_CR4","volume-title":"Alan Turing: His work and impact","author":"SB Cooper","year":"2013","unstructured":"Cooper, S. B., & van Leeuwen, J. (2013). Alan Turing: His work and impact. Amsterdam: Elsevier."},{"key":"803_CR5","volume-title":"The feeling of what happens: Body and emotion in the making of consciousness","author":"A Damasio","year":"1999","unstructured":"Damasio, A. (1999). The feeling of what happens: Body and emotion in the making of consciousness. London: Harcourt Brace."},{"key":"803_CR6","volume-title":"Consciousness explained","author":"D Dennett","year":"1991","unstructured":"Dennett, D. (1991). Consciousness explained. Auckland, New Zealand: Penguin."},{"key":"803_CR7","volume-title":"Albert Einstein: Philosopher\u2013scientist","author":"A Einstein","year":"1969","unstructured":"Einstein, A. (1969). Autobiographical notes. In P. A. Schilpp (Ed.), Albert Einstein: Philosopher\u2013scientist. La Salle, IL: Open Court."},{"key":"803_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-94-010-0111-3_9","volume-title":"Revisiting the foundations of relativistic physics: Festschrift in honor of John Stachel","author":"GFR Ellis","year":"2003","unstructured":"Ellis, G. F. R. (2003). The unique nature of cosmology. In A. Ashtekar (Ed.), Revisiting the foundations of relativistic physics: Festschrift in honor of John Stachel (pp. 193\u2013220). Dordrecht: Kluwer Academic."},{"key":"803_CR9","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"RP Feynman","year":"1982","unstructured":"Feynman, R. P. (1982). Simulating physics with computers. International Journal of Theoretical Physics, 21, 467\u2013488.","journal-title":"International Journal of Theoretical Physics"},{"key":"803_CR10","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s11229-007-9163-z","volume":"161","author":"L Floridi","year":"2008","unstructured":"Floridi, L. (2008). A defence of informational structural realism. Synthese, 161, 219\u2013253.","journal-title":"Synthese"},{"key":"803_CR11","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199232383.001.0001","volume-title":"The philosophy of information","author":"L Floridi","year":"2011","unstructured":"Floridi, L. (2011). The philosophy of information. Oxford: Oxford University Press."},{"key":"803_CR12","first-page":"123","volume-title":"The philosophy of Bertrand Russell","author":"K G\u00f6del","year":"1944","unstructured":"G\u00f6del, K. (1944). Russell\u2019s mathematical logic. In P. A. Schilpp (Ed.), The philosophy of Bertrand Russell (3rd ed., pp. 123\u2013153). New York: Tudor. (Reprinted in Benacerraf and Putnam (Eds.), Philosophy of mathematics (2nd ed.) (pp. 447\u2013469). Cambridge: Cambridge University Press and in Pears (Ed.) (1972) Bertrand Russell: A collection of critical essays (pp. 192\u2013226). Garden City, NY: Anchor Books).","edition":"3"},{"key":"803_CR13","volume-title":"The psychology of invention in the mathematical field","author":"J Hadamard","year":"1945","unstructured":"Hadamard, J. (1945). The psychology of invention in the mathematical field. Princeton: Princeton University Press."},{"issue":"1","key":"803_CR14","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/2542504","volume":"57","author":"T Haigh","year":"2014","unstructured":"Haigh, T. (2014). Actually, Turing did not invent the computer. Communications of the ACM, 57(1), 36\u201341.","journal-title":"Communications of the ACM"},{"key":"803_CR15","volume-title":"Alan Turing: The enigma","author":"A Hodges","year":"1992","unstructured":"Hodges, A. (1992). Alan Turing: The enigma. London: Vintage."},{"key":"803_CR16","volume-title":"Surfaces and essences: Analogy as the fuel and fire of thinking","author":"D Hofstadter","year":"2013","unstructured":"Hofstadter, D., & Sander, E. (2013). Surfaces and essences: Analogy as the fuel and fire of thinking. New York: Basic Books."},{"key":"803_CR17","series-title":"Contemporary mathematics","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1090\/conm\/449\/08714","volume-title":"Contemporary mathematics group representations, ergodic theory, and mathematical physics: A tribute to George W. Mackey","author":"A Jaffe","year":"2008","unstructured":"Jaffe, A. (2008). Quantum theory and relativity. In R. S. Doran, C. C. Moore, & R. J. Zimmer (Eds.), Contemporary mathematics group representations, ergodic theory, and mathematical physics: A tribute to George W. Mackey (pp. 209\u2013246)., Contemporary mathematics Providence, RI: American Mathematical Society."},{"key":"803_CR18","volume-title":"Physicalism, or something near enough","author":"J Kim","year":"2005","unstructured":"Kim, J. (2005). Physicalism, or something near enough. Princeton, NJ: Princeton University Press."},{"key":"803_CR19","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. (1970). Church\u2019s thesis: A kind of reducibility axiom for constructive mathematics. In A. Kino, J. Myhill, & R. E. Vesley (Eds.), Intuitionism and proof theory: Proceedings of the summer conference at Buffalo N.Y. 1968 (pp. 121\u2013150). Amsterdam: North-Holland."},{"key":"803_CR20","volume-title":"The plumed serpent","author":"DH Lawrence","year":"1926","unstructured":"Lawrence, D. H. (1926). The plumed serpent. London: Martin Secker."},{"issue":"1971","key":"803_CR21","doi-asserted-by":"publisher","first-page":"3597","DOI":"10.1098\/rsta.2011.0331","volume":"370","author":"S Lloyd","year":"2012","unstructured":"Lloyd, S. (2012). A Turing test for free will. Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, 370(1971), 3597\u20133610.","journal-title":"Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences"},{"key":"803_CR22","unstructured":"Longley, J., & Normann, D. Higher order computability. Springer, to appear."},{"key":"803_CR23","series-title":"Proceedings of the Annual European Summer Meeting of the Association for symbolic logic, held in Paris, France, July 23\u201331, 2000","volume-title":"Logic colloquium 2000","author":"J Longley","year":"2005","unstructured":"Longley, J. (2005). Notions of computability at higher types I. In R. Cori, A. Razborov, S. Todor\u00e9evi\u00e9, & C. Wood (Eds.), Logic colloquium 2000., Proceedings of the Annual European Summer Meeting of the Association for symbolic logic, held in Paris, France, July 23\u201331, 2000 Wesley, MA: A K Peters."},{"key":"803_CR24","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"W McCulloch","year":"1943","unstructured":"McCulloch, W., & Pitts, W. (1943). A logical calculus of the ideas immanent in nervous activity. The Bulletin of Mathematical Biophysics, 5, 115\u2013133.","journal-title":"The Bulletin of Mathematical Biophysics"},{"key":"803_CR25","volume-title":"The master and his emissary: The divided brain and the making of the western world","author":"I McGilchrist","year":"2009","unstructured":"McGilchrist, I. (2009). The master and his emissary: The divided brain and the making of the western world. New Haven, CT: Yale University Press."},{"issue":"1","key":"803_CR26","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1016\/j.amc.2005.09.075","volume":"178","author":"I N\u00e9meti","year":"2006","unstructured":"N\u00e9meti, I., & D\u00e1vid, G. (2006). Relativistic computers and the Turing barrier. Applied Mathematics and Computation, 178(1), 118\u2013142.","journal-title":"Applied Mathematics and Computation"},{"key":"803_CR27","first-page":"105","volume-title":"Quantum implications: Essays in honour of David Bohm","author":"R Penrose","year":"1987","unstructured":"Penrose, R. (1987). Quantum physics and conscious thought. In B. J. Hiley & F. D. Peat (Eds.), Quantum implications: Essays in honour of David Bohm (pp. 105\u2013120). London: Routledge & Kegan Paul."},{"key":"803_CR28","unstructured":"Post, E. (1948). Degrees of recursive unsolvability: preliminary report (abstract). Bulletin of the American Mathematical Society, 54, 641\u2013642. [Reprinted in Davis, M. (Ed.). (1994). Solvability, provability, definability: The collected works of Emil L Post, Contemporary mathematicians. Boston, MA: Birkh\u00e4user Boston Inc.]."},{"key":"803_CR29","doi-asserted-by":"publisher","first-page":"025017","DOI":"10.1088\/1367-2630\/12\/2\/025017","volume":"12","author":"E Rieper","year":"2010","unstructured":"Rieper, E., Anders, J., & Vedral, V. (2010). Entanglement at the quantum phase transition in a harmonic lattice. New Journal of Physics, 12, 025017.","journal-title":"New Journal of Physics"},{"key":"803_CR30","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1162\/106454699568755","volume":"5","author":"EMA Ronald","year":"1999","unstructured":"Ronald, E. M. A., Sipper, M., & Capcarr\u00e8re, M. S. (1999). Design, observation, surprise! A test of emergence. Artificial Life, 5, 225\u2013239.","journal-title":"Artificial Life"},{"key":"803_CR31","first-page":"17","volume-title":"The rhetoric of the human sciences: Language and argument in scholarship and public affairs","author":"R Rorty","year":"1987","unstructured":"Rorty, R. (1987). Science as solidarity. In J. S. Nelson & A. Megill (Eds.), The rhetoric of the human sciences: Language and argument in scholarship and public affairs (Vol. 44, p. 17). Madison, WI: University of Wisconsin Press. (Revised and reprinted in Objectivity, relativism, and truth. Cambridge University Press, 1991)."},{"key":"803_CR32","doi-asserted-by":"crossref","DOI":"10.1515\/9780691190303","volume-title":"The mathematician\u2019s brain","author":"D Ruelle","year":"2007","unstructured":"Ruelle, D. (2007). The mathematician\u2019s brain. Princeton, NJ: Princeton University Press."},{"issue":"5","key":"803_CR33","first-page":"538","volume":"42","author":"DG Saari","year":"1995","unstructured":"Saari, D. G., & Xia, Z. J. (1995). Off to infinity in finite time. Notices of the American Mathematical Society, 42(5), 538\u2013546.","journal-title":"Notices of the American Mathematical Society"},{"key":"803_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12013-2","volume-title":"Higher recursion theory","author":"GE Sacks","year":"1990","unstructured":"Sacks, G. E. (1990). Higher recursion theory. Berlin: Springer."},{"key":"803_CR35","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:osobl\/9780195396171.001.0001","volume-title":"Making the social world: The structure of human civilization","author":"JR Searle","year":"2010","unstructured":"Searle, J. R. (2010). Making the social world: The structure of human civilization. Oxford: Oxford University Press."},{"key":"803_CR36","unstructured":"Slaman, T. A. (1981). Aspects of e-recursion (Doctoral dissertation, Harvard University, Cambridge, MA)."},{"key":"803_CR37","unstructured":"Slaman, T. A. (1990\/1991). Degree structures. In Proceedings of the International Congress of Mathematicians. Kyoto (pp. 303\u2013316)."},{"key":"803_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0140525X00052432","volume":"11","author":"P Smolensky","year":"1988","unstructured":"Smolensky, P. (1988). On the proper treatment of connectionism. Behavioral and Brain Sciences, 11, 1\u201374.","journal-title":"Behavioral and Brain Sciences"},{"key":"803_CR39","volume-title":"The life of the cosmos","author":"L Smolin","year":"1997","unstructured":"Smolin, L. (1997). The life of the cosmos. London: Weidenfeld & Nicolson."},{"key":"803_CR40","volume-title":"The trouble with physics: The rise of string theory, the fall of a science and what comes next","author":"L Smolin","year":"2006","unstructured":"Smolin, L. (2006). The trouble with physics: The rise of string theory, the fall of a science and what comes next. Boston: Houghton Mifflin Harcourt."},{"key":"803_CR41","volume-title":"The singular universe and the reality of time: A proposal in natural philosophy","author":"L Smolin","year":"2014","unstructured":"Smolin, L., & Unger, R. M. (2014). The singular universe and the reality of time: A proposal in natural philosophy. Cambridge: Cambridge University Press."},{"issue":"1","key":"803_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/aphy.1998.5855","volume":"270","author":"Max Tegmark","year":"1998","unstructured":"Tegmark, M. (1993). Is \u201cthe theory of everything\u201d merely the ultimate ensemble theory? Annals of Physics, 270, 1\u201351.","journal-title":"Annals of Physics"},{"key":"803_CR43","volume-title":"Turing\u2019s connectionism. An investigation of neural network architectures","author":"C Teuscher","year":"2002","unstructured":"Teuscher, C. (2002). Turing\u2019s connectionism. An investigation of neural network architectures. London: Springer."},{"issue":"2","key":"803_CR44","first-page":"16","volume":"42","author":"AM Turing","year":"1936","unstructured":"Turing, A. M. (1936). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42(2), 16\u201341. (Reprinted in Cooper and van Leeuwen).","journal-title":"Proceedings of the London Mathematical Society"},{"issue":"2","key":"803_CR45","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"45","author":"AM Turing","year":"1939","unstructured":"Turing, A. M. (1939). Systems of logic based on ordinals. Proceedings of the London Mathematical Society, 45(2), 161\u2013228. (Reprinted in Cooper and van Leeuwen, 2013, pp. 151\u2013197).","journal-title":"Proceedings of the London Mathematical Society"},{"key":"803_CR46","unstructured":"Turing, A. M. (1947). Lecture to the London mathematical society on 20 february 1947. In B. E. Carpenter & R. W. Doran (Eds.), A. M. Turing\u2019s ACE report of 1946 and other papers (1986). Cambridge, Mass.: MIT Press."},{"key":"803_CR47","first-page":"7","volume":"31","author":"AM Turing","year":"1954","unstructured":"Turing, A. M. (1954). Solvable and unsolvable problems. Science News, 31, 7\u201323. (Reprinted in Cooper and van Leeuwen, pp. 322\u2013331).","journal-title":"Science News"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0803-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0803-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0803-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0803-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,27]],"date-time":"2019-08-27T21:21:31Z","timestamp":1566940891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0803-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":47,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2015,7]]}},"alternative-id":["803"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0803-4","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2015,7]]}}}