{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T04:55:36Z","timestamp":1768280136927,"version":"3.49.0"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,2,2]],"date-time":"2011-02-02T00:00:00Z","timestamp":1296604800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds &amp; Machines"],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1007\/s11023-011-9235-1","type":"journal-article","created":{"date-parts":[[2011,2,1]],"date-time":"2011-02-01T02:24:17Z","timestamp":1296527057000},"page":"301-322","source":"Crossref","is-referenced-by-count":51,"title":["Significance of Models of Computation, from Turing Model to Natural Computation"],"prefix":"10.1007","volume":"21","author":[{"given":"Gordana","family":"Dodig-Crnkovic","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,2,2]]},"reference":[{"key":"9235_CR1","first-page":"1","volume-title":"Proceedings of the 1996 CLiCS Summer School, Isaac Newton Institute","author":"S Abramsky","year":"1997","unstructured":"Abramsky, S. (1997). Semantics of interaction: An introduction to game semantics. In P. Dybjer & A. Pitts (Eds.), Proceedings of the 1996 CLiCS Summer School, Isaac Newton Institute (pp. 1\u201331). Cambridge: Cambridge University Press."},{"key":"9235_CR2","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1017\/S0960129503003980","volume":"13","author":"S Abramsky","year":"2003","unstructured":"Abramsky, S. (2003). Sequentiality versus concurrency in games and logic. Mathematical Structures in Computer Science, 13, 531\u2013565.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9235_CR3","first-page":"11","volume-title":"Texts in logic and games, Vol. 1","author":"S Abramsky","year":"2007","unstructured":"Abramsky, S. (2007). A compositional game semantics for multi-agent logics of imperfect information in interactive logic. In J. van Benthem, D. Gabbay, & B. Lowe (Eds.), Texts in logic and games, Vol. 1 (pp. 11\u201348). Amsterdam: Amsterdam University Press."},{"key":"9235_CR4","doi-asserted-by":"crossref","unstructured":"Abramsky, S. (2008). Petri nets, discrete physics, and distributed quantum computation. In P. Degano, R. De Nicola and J. Meseguer (Eds.), Concurrency, graphs and models, essays dedicated to Ugo Montanari on the occasion of his 65th birthday, Vol. 5065 of lecture notes in computer science. Springer, 527\u2013543.","DOI":"10.1007\/978-3-540-68679-8_33"},{"issue":"3","key":"9235_CR5","first-page":"179","volume":"3","author":"S Abramsky","year":"2007","unstructured":"Abramsky, S., & Coecke, B. (2007). Physics from computer science, Int. Journal of Unconventional Computing, 3(3), 179\u2013197.","journal-title":"Journal of Unconventional Computing"},{"key":"9235_CR6","first-page":"41","volume-title":"Computation, information, cognition: The Nexus and the Liminal","author":"P Allo","year":"2007","unstructured":"Allo, P. (2007). Formalising semantic information. Lessons from logical pluralism. In G. Dodig-Crnkovic & S. Stuart (Eds.), Computation, information, cognition: The Nexus and the Liminal (pp. 41\u201352). Cambridge: Cambridge Scholars Publishing."},{"key":"9235_CR7","volume-title":"An introduction to cybernetics","author":"WR Ashby","year":"1964","unstructured":"Ashby, W. R. (1964). An introduction to cybernetics. London: Methuen."},{"key":"9235_CR8","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1080\/00048400012349751","volume":"78","author":"JC Beall","year":"2000","unstructured":"Beall, J. C., & Restall, G. (2000). Logical pluralism. Australasian Journal of Philosophy, 78, 475\u2013493.","journal-title":"Australasian Journal of Philosophy"},{"key":"9235_CR9","unstructured":"Beall, J.C., Restall, G. (2005). Logical Consequence, The Stanford Encyclopedia of Philosophy (Winter 2005 Edition). In: Edward N. Zalta (ed.). URL\u00a0=\u00a0< http:\/\/plato.stanford.edu\/archives\/win2005\/entries\/logical-consequence\/ >."},{"key":"9235_CR10","unstructured":"Benthem van, J. (2001). Extensive games as process models. In M. Pauly & P. Dekker, (Eds.), Special issue of Journal of logic, language and information, 11, 289\u2013313."},{"key":"9235_CR11","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1023\/A:1026296600182","volume":"13","author":"J Benthem van","year":"2003","unstructured":"Benthem van, J. (2003). Logic and the dynamics of information. Minds and Machines, 13, 503\u2013519.","journal-title":"Minds and Machines"},{"key":"9235_CR12","doi-asserted-by":"crossref","first-page":"182","DOI":"10.26686\/ajl.v6i0.1801","volume":"6","author":"J Benthem van","year":"2008","unstructured":"Benthem van, J. (2008). Logical pluralism meets logical dynamics? The Australasian Journal of Logic, 6, 182\u2013209.","journal-title":"The Australasian Journal of Logic"},{"key":"9235_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/B:MIND.0000005133.87521.5c","volume":"14","author":"P Bohan Broderick","year":"2004","unstructured":"Bohan Broderick, P. (2004). On communication and computation. Minds and Machines, 14, 1\u201319.","journal-title":"Minds and Machines"},{"key":"9235_CR14","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/BF00974171","volume":"4","author":"S Bringsjord","year":"1994","unstructured":"Bringsjord, S. (1994). Computation, among other things, is beneath us. Minds and Machines, 4, 469\u2013488.","journal-title":"Minds and Machines"},{"key":"9235_CR15","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1015651216328","volume":"12","author":"S Bringsjord","year":"2002","unstructured":"Bringsjord, S., & Zenzen, M. (2002). Toward a formal philosophy of hypercomputation. Minds and Machines, 12, 241\u2013258.","journal-title":"Minds and Machines"},{"key":"9235_CR16","unstructured":"Burgin, M. (1999). Super-recursive algorithms as a tool for high performance computing. In Proceedings of high performance computing symposium, San Diego, 224\u2013228. http:\/\/www.math.ucla.edu\/~mburgin\/res\/compsc\/res2\/highperfcomp.html"},{"key":"9235_CR17","unstructured":"Burgin, M. (2005). Super-recursive algorithms. Springer Monographs in Computer Science."},{"key":"9235_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5128.001.0001","volume-title":"On the origin of objects","author":"B Cantwell Smith","year":"1996","unstructured":"Cantwell Smith, B. (1996). On the origin of objects. Cambridge, MA: MIT Press."},{"key":"9235_CR19","first-page":"27","volume":"1","author":"GJ Chaitin","year":"2006","unstructured":"Chaitin, G. J. (2006). Epistemology as information theory: From Leibniz to \u2126. Collapse, 1, 27\u201351.","journal-title":"Collapse"},{"key":"9235_CR64","unstructured":"Church, A. (1935). Abstract no. 204. Bulletin of the American Mathematical Society, 41, 332\u2013333."},{"key":"9235_CR65","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A Church","year":"1936","unstructured":"Church, A. (1936). An unsolvable problem of elementary number theory. American Journal of Mathematics, 58, 345\u2013363.","journal-title":"American Journal of Mathematics"},{"key":"9235_CR20","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1016\/j.jal.2008.09.005","volume":"6","author":"TR Colburn","year":"2008","unstructured":"Colburn, T. R., & Shute, G. M. (2008). Metaphor in computer science. Journal of Applied Logic, 6, 526\u2013533.","journal-title":"Journal of Applied Logic"},{"key":"9235_CR22","unstructured":"Cooper, S. B., L\u00f6we, B., & Sorbi, A., Eds. (2008). New computational paradigms: Changing conceptions of what is computable. Springer."},{"key":"9235_CR23","unstructured":"Copeland, B. J. (1997). \u2018The Church\u2013Turing thesis\u2019. In E. Zalta (Ed.), Stanford encyclopedia of philosophy, < http:\/\/plato.stanford.edu >."},{"key":"9235_CR24","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1002\/(SICI)1099-0526(199809\/10)4:1<30::AID-CPLX9>3.0.CO;2-8","volume":"4","author":"BJ Copeland","year":"1998","unstructured":"Copeland, B. J. (1998). Super Turing-machines. Complexity, 4, 30\u201332.","journal-title":"Complexity"},{"key":"9235_CR25","doi-asserted-by":"crossref","first-page":"5","DOI":"10.2307\/2678472","volume":"96","author":"BJ Copeland","year":"2000","unstructured":"Copeland, B. J. (2000). Narrow versus wide mechanism. Journal of Philosophy, 96, 5\u201332.","journal-title":"Journal of Philosophy"},{"key":"9235_CR26","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1023\/A:1021105915386","volume":"12","author":"BJ Copeland","year":"2002","unstructured":"Copeland, B. J. (2002). Hypercomputation. Minds and Machines, 12, 461\u2013502.","journal-title":"Minds and Machines"},{"key":"9235_CR27","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1038\/scientificamerican0499-98","volume":"280","author":"BJ Copeland","year":"1999","unstructured":"Copeland, B. J., & Proudfoot, D. (1999). Alan Turing\u2019s forgotten ideas in computer science. Scientific American, 280, 76\u201381.","journal-title":"Scientific American"},{"key":"9235_CR28","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/s11023-007-9058-2","volume":"17","author":"BJ Copeland","year":"2007","unstructured":"Copeland, B. J., & Shagrir, O. (2007). Physical computation: How general are Gandy\u2019s principles for mechanisms? Minds and Machines, 17, 217\u2013223.","journal-title":"Minds and Machines"},{"key":"9235_CR29","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1080\/00048409912348801","volume":"77","author":"BJ Copeland","year":"1999","unstructured":"Copeland, B. J., & Sylvan, R. (1999). Beyond the universal Turing machine. Australian Journal of Philosopy, 77, 46\u201367.","journal-title":"Australian Journal of Philosopy"},{"key":"9235_CR30","unstructured":"Denning, P. (2007). Computing is a natural science, communications of the ACM, 50(7), 13\u201318. http:\/\/cs.gmu.edu\/cne\/pjd\/PUBS\/CACMcols\/cacmJul07.pdf ."},{"key":"9235_CR31","unstructured":"Dodig-Crnkovic, G. (2003). \u2018Shifting the paradigm of the philosophy of science: The philosophy of information and a new renaissance\u2019. Minds and Machines, 13(4), 521\u2013536. http:\/\/www.springerlink.com\/content\/g14t483510156726\/fulltext.pdf ."},{"key":"9235_CR32","unstructured":"Dodig-Crnkovic, G. (2006). Investigations into information semantics and ethics of computing. M\u00e4lardalen University Press http:\/\/www.idt.mdh.se\/personal\/gdc\/work\/publications.html ."},{"key":"9235_CR33","unstructured":"Dodig-Crnkovic, G. (2010). The cybersemiotics and info-computationalist research programmes as platforms for knowledge production in organisms and machines, entropy 12, 878\u2013901. http:\/\/www.mdpi.com\/1099-4300\/12\/4\/878\/pdf"},{"key":"9235_CR34","unstructured":"Dodig-Crnkovic, G., & M\u00fcller, V. (2010). A dialogue concerning two world systems: Info-computational versus mechanistic. In Information and computation. World Scientific, Singapore. Preprint available at: http:\/\/arxiv.org\/abs\/0910.5001"},{"key":"9235_CR35","volume-title":"Computation, information, cognition\u2013The Nexus and the Liminal","year":"2007","unstructured":"Dodig-Crnkovic, G., & Stuart, S. (Eds.). (2007). Computation, information, cognition\u2013The Nexus and the Liminal. Cambridge: Cambridge Scholar Press."},{"key":"9235_CR36","doi-asserted-by":"crossref","unstructured":"Floridi, L. (2004). Open problems in the philosophy of information. Metaphilosophy, 35.4, 554\u2013582.","DOI":"10.1111\/j.1467-9973.2004.00336.x"},{"key":"9235_CR38","unstructured":"Goldin, D., Smolka, S., & Wegner P. (Eds.). (2006). Interactive computation: The new paradigm. Springer-Verlag."},{"key":"9235_CR39","unstructured":"Goldin, D., & Wegner, P. (2002). Paraconsistency of interactive computation, PCL 2002 (Workshop on paraconsistent computational logic). Denmark."},{"key":"9235_CR40","volume-title":"Logic, language-games and information: Kantian themes in the philosophy of logic","author":"J Hintikka","year":"1973","unstructured":"Hintikka, J. (1973). Logic, language-games and information: Kantian themes in the philosophy of logic. Oxford: Clarendon Press."},{"issue":"2","key":"9235_CR41","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1305\/ndjfl\/1093883627","volume":"23","author":"J Hintikka","year":"1982","unstructured":"Hintikka, J. (1982). Game-theoretical semantics: Insights and prospects. Notre Dame Journal of Formal Logic, 23(2), 219\u2013241.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9235_CR42","unstructured":"Hodges, W. (2004). Logic and Games, The Stanford encyclopedia of philosophy (Winter 2004 Edition). Edward N. Zalta (Ed.). URL\u00a0=\u00a0< http:\/\/plato.stanford.edu\/archives\/win2004\/entries\/logic-games\/ >."},{"key":"9235_CR43","unstructured":"Hodges, A. (2009). Alan Turing, The Stanford encyclopedia of philosophy (Winter 2009 Edition). In Edward N. Zalta (Ed.). URL\u00a0=\u00a0< http:\/\/plato.stanford.edu\/archives\/win2009\/entries\/turing\/ >."},{"key":"9235_CR44","volume-title":"Logic and games: Foundational perspectives","author":"G Japaridze","year":"2006","unstructured":"Japaridze, G. (2006). In the beginning was game semantics. In O. Majer, A.-V. Pietarinen, & T. Tulenheimo (Eds.), Logic and games: Foundational perspectives. Berlin: Springer Verlag."},{"key":"9235_CR45","volume-title":"Self-modifying systems in biology and cognitive science: A new framework for dynamics, information and complexity","author":"G Kampis","year":"1991","unstructured":"Kampis, G. (1991). Self-modifying systems in biology and cognitive science: A new framework for dynamics, information and complexity. Pergamon: Pergamon Press."},{"key":"9235_CR46","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/j.tcs.2003.12.013","volume":"317","author":"KT Kelly","year":"2004","unstructured":"Kelly, K. T. (2004). Uncomputability: The problem of induction internalized. Theoretical Computer Science, 317, 227\u2013249.","journal-title":"Theoretical Computer Science"},{"key":"9235_CR47","unstructured":"Kuipers, T. A. F. (2006). Theories looking for domains. Fact or fiction? Structuralist truth approximation by revision of the domain of intended applications, to appear. In L. Magnani (ed.), Model-based reasoning in science and engineering."},{"key":"9235_CR48","unstructured":"Lloyd, S. (2006). Programming the universe: A quantum computer scientist takes on the cosmos. In Alfred A. Knopf."},{"key":"9235_CR49","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.tcs.2003.12.008","volume":"317","author":"B MacLennan","year":"2004","unstructured":"MacLennan, B. (2004). Natural computation and non-Turing models of computation. Theoretical Computer Science, 317, 115\u2013145.","journal-title":"Theoretical Computer Science"},{"key":"9235_CR50","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R. (1989). Communication and concurrency. Prentice-Hall: International Series in Computing Science."},{"issue":"1","key":"9235_CR51","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1080\/00048400601176494","volume":"85","author":"G Piccinini","year":"2007","unstructured":"Piccinini, G. (2007). Computational modeling versus computational explanation: Is everything a Turing machine, and does it matter to the philosophy of mind? Australasian Journal of Philosophy, 85(1), 93\u2013115.","journal-title":"Australasian Journal of Philosophy"},{"key":"9235_CR52","unstructured":"Priest, G., & Tanaka, K. (2004). Paraconsistent Logic, The Stanford encyclopedia of philosophy (Winter 2004 Edition). In Edward N. Zalta (Ed.). URL\u00a0=\u00a0< http:\/\/plato.stanford.edu\/archives\/win2004\/entries\/logic-paraconsistent\/ >."},{"key":"9235_CR53","first-page":"72","volume":"51","author":"G Rozenberg","year":"2008","unstructured":"Rozenberg, G., & Kari, L. (2008). The many facets of natural computing. Communications of the ACM, 51, 72\u201383.","journal-title":"Communications of the ACM"},{"issue":"1","key":"9235_CR54","doi-asserted-by":"crossref","first-page":"37","DOI":"10.5840\/monist19998217","volume":"82","author":"V Schachter","year":"1999","unstructured":"Schachter, V. (1999). How does concurrency extend the paradigm of computation? Monist, 82(1), 37\u201358.","journal-title":"Monist"},{"key":"9235_CR55","first-page":"18","volume-title":"New computational paradigms: Changing conceptions of what is computable","author":"W Sieg","year":"2007","unstructured":"Sieg, W. (2007). Church without dogma\u2013Axioms for computability. In B. L\u00f6we, A. Sorbi, & S. B. Cooper (Eds.), New computational paradigms: Changing conceptions of what is computable (pp. 18\u201344). Heidelberg: Springer."},{"key":"9235_CR56","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0707-8","volume-title":"Neural networks and analog computation","author":"HT Siegelman","year":"1999","unstructured":"Siegelman, H. T. (1999). Neural networks and analog computation. Berlin: Birkhauser."},{"key":"9235_CR57","doi-asserted-by":"crossref","unstructured":"Sloman, A. (1996). Beyond Turing equivalence. In P.J.R. Millican & A. Clark (Eds.), Machines and thought: The legacy of Alan Turing, vol I, OUP(The Clarendon Press) pp 179\u2013219, Revised version of paper presented to Turing Colloquium, University of Sussex, 1990. http:\/\/www.cs.bham.ac.uk\/research\/projects\/cogaff\/96-99.html#1","DOI":"10.1093\/oso\/9780198235934.003.0011"},{"key":"9235_CR58","unstructured":"Turing A. M. (1936). On computable numbers, with an application to the Entscheidungsproblem. In Proceedings of the London mathematical society, Vol. 42, pp. 230\u2013265; reprinted in A. M. Turing, Collected works: mathematical logic, 18\u201353."},{"key":"9235_CR59","unstructured":"Turing A. M. (1939). Systems of logic based on ordinals.In Proceedings of the London mathematical society, ser. 2, Vol. 45, 162\u2013228."},{"key":"9235_CR60","unstructured":"Turing, A. M. (1948). \u2018Intelligent machinery\u2019. National Physical Laboratory Report. In B. Meltzer, D. Michie (Eds.), 1969. Machine intelligence 5. Edinburgh: Edinburgh University Press. http:\/\/www.AlanTuring.net\/intelligent_machinery ."},{"key":"9235_CR61","unstructured":"Turing, A. M. (1950). Computing machinery and intelligence, Mind LIX, 433\u201360. http:\/\/cogprints.org\/499\/0\/turing.html"},{"key":"9235_CR62","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. (1998). Interactive foundations of computing. Theoretical Computer Science, 192, 315\u2013351.","journal-title":"Theoretical Computer Science"},{"key":"9235_CR63","doi-asserted-by":"crossref","unstructured":"Wolfram, S. (2002) A new kind of science. Wolfram Science.","DOI":"10.1115\/1.1553433"}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-011-9235-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-011-9235-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-011-9235-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T08:13:46Z","timestamp":1740903226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-011-9235-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,2]]},"references-count":63,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["9235"],"URL":"https:\/\/doi.org\/10.1007\/s11023-011-9235-1","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,2]]}}}