{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:54Z","timestamp":1750307634923,"version":"3.41.0"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319587400"},{"type":"electronic","value":"9783319587417"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58741-7_2","type":"book-chapter","created":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T16:59:28Z","timestamp":1494521968000},"page":"14-23","source":"Crossref","is-referenced-by-count":1,"title":["Is there any Real Substance to the Claims for a \u2018New Computationalism\u2019?"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Hern\u00e1ndez-Espinosa","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Hern\u00e1ndez-Quiroz","sequence":"additional","affiliation":[]},{"given":"H\u00e9ctor","family":"Zenil","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,12]]},"reference":[{"key":"2_CR1","unstructured":"Aaronson, S.: The Toaster-Enhanced Turing Machine, Blog entry. http:\/\/www.scottaaronson.com\/blog\/?p=1121 . Accessed 11 Feb 2017"},{"key":"2_CR2","series-title":"Monographs in Computer Science","volume-title":"Super-Recursive Algorithms","author":"M Burgin","year":"2005","unstructured":"Burgin, M.: Super-Recursive Algorithms. Monographs in Computer Science. Springer, New York (2005)"},{"key":"2_CR3","unstructured":"Clinger, W.D.: Foundations of actor semantics. AITR-633 (1981)"},{"key":"2_CR4","volume-title":"AI: The Tumultuous History of the Search for Artificial Intelligence","author":"D Crevier","year":"1993","unstructured":"Crevier, D.: AI: The Tumultuous History of the Search for Artificial Intelligence. Basic Books, New York (1993)"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-3-662-05642-4_8","volume-title":"Alan Turing: Life and Legacy of a Great Thinker","author":"M Davis","year":"2004","unstructured":"Davis, M.: The myth of hypercomputation. In: Teuscher, C. (ed.) Alan Turing: Life and Legacy of a Great Thinker, pp. 195\u2013211. Springer, Heidelberg (2004)"},{"issue":"2","key":"2_CR6","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/s11023-011-9235-1","volume":"21","author":"G Dodig-Crnkovic","year":"2011","unstructured":"Dodig-Crnkovic, G.: Significance of models of computation, from turing model to natural computation. Minds Mach. 21(2), 301\u2013322 (2011)","journal-title":"Minds Mach."},{"key":"2_CR7","series-title":"Studies in Applied Philosophy, Epistemology and Rational Ethics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-41375-9","volume-title":"Physical Computation and Cognitive Science","author":"N Fresco","year":"2014","unstructured":"Fresco, N.: Physical Computation and Cognitive Science. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol. 12. Springer, Heildeberg (2014)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Froese, T.: Life is precious because it is precarious: Individuality, mortality, and the problem of meaning. In: Dodig-Crnkovic, G., Giovagnoli, R. (eds.) Representation and Reality: Humans, Animals and Machines, Springer (in press)","DOI":"10.1007\/978-3-319-43784-2_3"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Gandy, R.: Church\u2019s thesis and the principles for mechanisms. In: Barwise, H.J., Keisler, H.J., Kunen, K. (eds.) The Kleene Symposium, pp. 123\u2013148. North-Holland Publishing Company (1980)","DOI":"10.1016\/S0049-237X(08)71257-6"},{"issue":"1","key":"2_CR10","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract state machines capture sequential algorithms. ACM Trans. Comput. Log. 1(1), 77\u2013111 (2000)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"2_CR11","doi-asserted-by":"crossref","first-page":"299","DOI":"10.2178\/bsl\/1231081370","volume":"14","author":"Y Gurevich","year":"2008","unstructured":"Gurevich, Y., Dershowitz, N.: A natural axiomatization of computatbility and proof of the church\u2019s thesis. Bull. Symbolic Logic. 14(3), 299\u2013350 (2008)","journal-title":"Bull. Symbolic Logic."},{"key":"2_CR12","series-title":"Studies in Applied Philosophy, Epistemology and Rational Ethics","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-3-642-37225-4_14","volume-title":"Computing Nature Turing Centenary Perspective","author":"A Hern\u00e1ndez-Espinosa","year":"2013","unstructured":"Hern\u00e1ndez-Espinosa, A., Hern\u00e1ndez-Quiroz, F.: Does the principle of computational equivalence overcome the objections against computationalism? In: Dodig-Crnkovic, G., Giovagnoli, R. (eds.) Computing Nature Turing Centenary Perspective. Studies in Applied Philosophy, Epistemology and Rational Ethics, pp. 225\u2013233. Springer, Heidelberg (2013)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Hewitt, C.: What is computation? Actor model versus turing\u2019s model. In: A Computable Universe, Understanding Computation and Exploring Nature as Computation. World Scientific Publishing Company\/Imperial College Press, Singapore (2013)","DOI":"10.1142\/9789814374309_0009"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF02940589","volume":"1","author":"D Hilbert","year":"1922","unstructured":"Hilbert, D.: Neubegrndung der Mathematik: Erste Mitteilung. Abhandlungen ausdem Seminar der Hamburgischen Universit\u00e4t 1, 157\u2013177 (1922)","journal-title":"Abhandlungen ausdem Seminar der Hamburgischen Universit\u00e4t"},{"key":"2_CR15","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"issue":"1\u20133","key":"2_CR16","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1016\/0167-2789(86)90237-X","volume":"22","author":"CG Langton","year":"1986","unstructured":"Langton, C.G.: Studying artificial life with cellular automata. Physica D: Nonlinear Phenom. 22(1\u20133), 120\u2013149 (1986)","journal-title":"Physica D: Nonlinear Phenom."},{"issue":"137","key":"2_CR17","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1017\/S0031819100057983","volume":"36","author":"JR Lucas","year":"1961","unstructured":"Lucas, J.R.: Minds, machines and G\u00f6del. Philosophy 36(137), 112\u2013127 (1961)","journal-title":"Philosophy"},{"key":"2_CR18","unstructured":"Maldonado, C.E., G\u00f3mez-Cruz, N.A.: Biological hypercomputation: A concept is introduced (2012). arXiv preprint arXiv:1210.4819"},{"issue":"4","key":"2_CR19","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1002\/cplx.21535","volume":"20","author":"CE Maldonado","year":"2015","unstructured":"Maldonado, C.E., G\u00f3mez-Cruz, N.A.: Biological hypercomputation: A new research problem in complexity theory. Complexity 20(4), 8\u201318 (2015)","journal-title":"Complexity"},{"key":"2_CR20","volume-title":"Communicating, Mobile Systems: The Pi Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating, Mobile Systems: The Pi Calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"1","key":"2_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Inf. Comput. 100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"issue":"1\u20133","key":"2_CR22","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/j.tcs.2007.01.005","volume":"374","author":"J Mycka","year":"2007","unstructured":"Mycka, J., Costa, J.F.: A new conceptual framework for analog computation. Theoret. Comput. Sci. 374(1\u20133), 277\u2013290 (2007)","journal-title":"Theoret. Comput. Sci."},{"issue":"12","key":"2_CR23","doi-asserted-by":"crossref","first-page":"1214","DOI":"10.1119\/1.16207","volume":"58","author":"R Penrose","year":"1990","unstructured":"Penrose, R., Mermin, D.: The emperor\u2019s new mind: Concerning computers, minds, and the laws of physics. Am. J. Phys. 58(12), 1214\u20131216 (1990)","journal-title":"Am. J. Phys."},{"key":"2_CR24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5891.001.0001","volume-title":"Representation and Reality","author":"H Putnam","year":"1988","unstructured":"Putnam, H.: Representation and Reality. A Bradford Book, Cambridge (1988)"},{"issue":"3","key":"2_CR25","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/S0140525X00005756","volume":"3","author":"JR Searle","year":"1980","unstructured":"Searle, J.R.: Minds, brains, and programs. Behav. Brain Sci. 3(3), 417\u2013424 (1980)","journal-title":"Behav. Brain Sci."},{"issue":"3","key":"2_CR26","doi-asserted-by":"crossref","first-page":"21","DOI":"10.2307\/3130074","volume":"64","author":"JR Searle","year":"1990","unstructured":"Searle, J.R.: Is the brain a digital computer? Proc. Addresses Am. Philos. Assoc. 64(3), 21\u201337 (1990). American Philosophical Association","journal-title":"Proc. Addresses Am. Philos. Assoc."},{"key":"2_CR27","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-0-387-68546-5_7","volume-title":"New Computational Paradigms","author":"W Sieg","year":"2008","unstructured":"Sieg, W.: Church without dogma: Axioms for computability. In: Cooper, S.B., L\u00f6we, B., Sorbi, A. (eds.) New Computational Paradigms, pp. 139\u2013152. Springer, New York (2008)"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Sieg, W.: Axioms for computability: Do they allow a proof of church\u2019s thesis? In: Zenil, H. (ed.) A Computable Universe: Understanding and Exploring Nature as Computation. World Scientific Publishing Press, Singapore (2013)","DOI":"10.1142\/9789814374309_0006"},{"issue":"4","key":"2_CR29","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1111\/j.1467-8640.1996.tb00277.x","volume":"12","author":"HT Siegelmann","year":"1996","unstructured":"Siegelmann, H.T.: Recurrent neural networks and finite automata. Comput. Intell. 12(4), 567\u2013574 (1996)","journal-title":"Comput. Intell."},{"issue":"42","key":"2_CR30","first-page":"230","volume":"2","author":"AM Turing","year":"1936","unstructured":"Turing, A.M.: On Computable Numbers, with an Application to the Entscheidungsproblem. Proc. London Math. Soc. 2(42), 230\u2013265 (1936)","journal-title":"Proc. London Math. Soc."},{"key":"2_CR31","unstructured":"Turing, A.M.: On Computable Numbers, with an application to the Entscheidungsproblem: A correction. Proc. London Math. Soc. vol. 2 (published 1937). 43(6), 544\u2013546 (1938)"},{"issue":"1","key":"2_CR32","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"2","author":"AM Turing","year":"1939","unstructured":"Turing, A.M.: Systems of logic based on ordinals. Proc. London Math. Soc. 2(1), 161\u2013228 (1939)","journal-title":"Proc. London Math. Soc."},{"issue":"5","key":"2_CR33","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P Wegner","year":"1997","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. Commun. ACM 40(5), 80\u201391 (1997)","journal-title":"Commun. ACM"},{"issue":"2","key":"2_CR34","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/S0304-3975(97)00154-0","volume":"192","author":"P Wegner","year":"1998","unstructured":"Wegner, P.: Interactive foundations of computing. Theoret. Comput. Sci. 192(2), 315\u2013351 (1998)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR35","volume-title":"A New Kind of Science","author":"S Wolfram","year":"2002","unstructured":"Wolfram, S.: A New Kind of Science. Wolfram Media, Champaign (2002)"},{"key":"2_CR36","doi-asserted-by":"crossref","first-page":"23","DOI":"10.7717\/peerj-cs.23","volume":"1","author":"H Zenil","year":"2015","unstructured":"Zenil, H., Soler-Toscano, F., Delahaye, J.P., Gauvrit, N.: Two-dimensional kolmogorov complexity and validation of the coding theorem method by compressibility. Peer J. Comput. Sci. 1, 23 (2015)","journal-title":"Peer J. Comput. Sci."},{"key":"2_CR37","unstructured":"Zenil, H., Schmidt, A., Tegn\u00e9r, J.: Causality, information and biological computation. In: Walker, S.I., Davies, P.C.W., Ellis, G. (eds.) Information and Causality: From Matter to Life. Cambridge University Press (in press)"}],"container-title":["Lecture Notes in Computer Science","Unveiling Dynamics and Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58741-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:59:51Z","timestamp":1750251591000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58741-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319587400","9783319587417"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58741-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}