Abstract
The aim of this paper is to propose an alternative behavioural definition of computation (and of a computer) based simply on whether a system is capable of reacting to the environment—the input—as reflected in a measure of programmability. This definition is intended to have relevance beyond the realm of digital computers, particularly vis-à-vis natural systems. This will be done by using an extension of a phase transition coefficient previously defined in an attempt to characterise the dynamical behaviour of cellular automata and other systems. The transition coefficient measures the sensitivity of a system to external stimuli and will be used to define the susceptibility of a system to be (efficiently) programmed.
Similar content being viewed by others
References
Ausländer, S., Ausländer, D., Müller, M., Wieland, M., Fussenegger, M. (2012). Programmable single-cell mammalian biocomputers. Nature, 487(7405), 123-127.
Baiocchi, C. (2001). Three small universal Turing machines. In M. Margenstern, & Y. Rogozhin (Eds.), Machines, computations, and universality (MCU). LNCS (Vol. 2055, pp. 1–10). Heidelberg: Springer.
Berlekamp, E., Conway, K., Guy, R. (1982). Winning ways for your mathematical plays (Vol. 2). New York: Academic.
Blanco, J. (2011). Interdisciplinary workshop with Javier Blanco: Ontological, epistemological and methodological aspects of computer science. Germany: University of Stuttgart.
Chaitin, G.J. (1975). A theory of program size formally identical to information theory. Journal of the Association for Computing Machinery, 22, 329-340.
Chalmers, D.J. (1996). Does a rock implement every finite-state automaton? Synthese, 108(3), 309–333.
Cook, M. (2004). Universality in elementary cellular automata. Complex Systems, 15, 1–40.
Copeland, J. (1996). What is computation? Synthese, 108, 224–359.
Davis, M. (2011). Universality is ubiquitous, invited lecture. History and philosophy of computing (HAPOC11), Ghent, 8 November.
De Millo, R.A., Lipton, R.J., Perlis, A.J. (1979). Social processes and proofs of theorems and programs. Communications of the ACM, 22(5), 271–280.
Dershowitz, N., & Gurevich, Y. (2008). A natural axiomatization of computability and proof of Church’s thesis. Bulletin of Symbolic Logic, 14(3), 299–350.
Deutsch, D. (1998). The fabric of reality: The science of parallel universes and its implications. Baltimore: Penguin.
Feynman, R. (1994). The character of physical law. New York: Modern Library.
Floridi, L. (2005). Is information meaningful data? Philosophy and Phenomenological Research, 70(2), 351–370.
Floridi, L. (2008). The method of levels of abstraction. Minds and Machines, 18(3), 303–329.
Floridi, L. (2010). The philosophy of information as a conceptual framework. Knowledge, Technology & Policy, 23, 1–2.
Fodor, J. (2000). The mind doesn’t work that way: The scope and limits of computational psychology. Cambridge, MA: MIT Press.
Fredkin, E. (1992). Finite nature. In Proceedings of the XXVIIth Rencotre de Moriond.
Gandy, R. (1980). Church’s thesis and principles for mechanisms. In J. Barwise, H.J. Keisler, K. Kunen (Eds.), The Kleene symposium (pp. 123–148). Amsterdam: North-Holland.
Illachinski, A. (2001). Cellular automata: A discrete universe. Singapore: World Scientific Publishing Co.
Kolmogorov, A.N. (1965). Three approaches to the quantitative definition of information. Problems of Information and Transmission, 1(1), 1–7.
Kudlek, M., & Rogozhin, Y. (2002). A universal Turing machine with 3 states and 9 symbols. In W. Kuich, G. Rozenberg, A. Salomaa (Eds.), Developments in language theory (DLT) 2001. LNCS (Vol. 2295, pp. 311–318).
Lloyd, S. (2002). Computational capacity of the universe. Physical Review Letters, 237901, 88.
Lloyd, S. (2006). Programming the universe: a quantum computer scientist takes on the cosmos. New York: Knopf.
Margenstern, M. (2010). Turing machines with two letters and two states. Complex Systems, 19(1).
Margolus, N. (1984). Physics-like models of computation. Physica, 10D, 81–95.
Martinez, G.J., Seck-Touh-Mora, J.C., Zenil, H. (2012). Computation and universality: class IV versus class III cellular automata. Journal of Cellular Automata (in press).
Minsky, M.A. (1960). 6-symbol 7-state universal, Turing machines. Technical Report 54-G-027, MIT.
Neary, T., & Woods, D. (2009). Four small universal Turing machines. Fundamenta Informaticae, 91(1), 123–144.
Perlis, A.J. (1982). Epigrams on programming. SIGPLAN Notices, 17(9), 7–13.
Piccinini, G. (2007). Computing mechanisms. Philosophy of Science, 74, 501–526.
Piccinini, G. (2008). Computation without representation. Philosophical Studies, 137, 2.
Putnam, H. (1988). Representation and reality. Cambridge: MIT Press.
Rogozhin, Y. (1996). Small universal Turing machines. Theoretical Computer Science, 168(2), 215–240.
Scheutz, M. (1999). When physical systems realize functions. Minds and Machines, 9, 161–196.
Scott, D.S. (1970). Outline of a mathematical theory of computation. England: Technical Monograph PRG-2, Oxford University Computing Laboratory.
Searle, J.R. (1980). Minds brains, and programs. Behavioral and Brain Sciences, 3, 417–457.
Shagrir, O. (2006). Why we view the brain as a computer. Synthese, 153, 393–416.
Sieg, W. (2012). Step by recursive step: Church’s analysis of effective calculability (with a postscript). In H. Zenil (Ed.), A computable universe, understanding computation & exploring nature as computation. Singapore: World Scientific.
Smith, A. (2012). The Wolfram 2,3 Turing machine research prize. http://www.wolframscience.com/prizes/tm23/solved.html. Accessed 10 April 2012.
Smith, B.C. (1996). On the origins of objects. Cambridge: MIT Press.
Smith, B.C. (2002). The foundations of computing. http://www.ageofsignificance.org/people/bcsmith/print/smith-foundtns.pdf. Accessed 18 August 2012.
Smith, B.C. (2010). Age of significance. http://www.ageofsignificance.org/. Accessed 18 August 2012.
Sutner, K. (2011). Computational, processes, observers and turing incompleteness. Theoretical Computer Science, 412, 183–190.
Turner, R. (2011). Specification. Minds and Machines, 21(2), 135–152.
Watanabe, S. (1972). 4-Symbol 5-state universal Turing machine. Information Processing Society of Japan Magazine, 13(9), 588–592.
Wheeler, J.A. (1990). Information, physics, quantum: the search for links. In W. Zurek (Ed.), Complexity entropy, and the physics of information. Reading: Addison-Wesley.
Wolfram, S. (1984). Cellular automata as models of complexity. Nature, 311, 419–424.
Wolfram, S. (2002). A new kind of science. Champaign, IL: Wolfram Media.
Zenil, H. (2010). Compression-based investigation of the behaviour of cellular automata and other systems. Complex Systems, 19(2).
Zenil, H. (2012a). On the dynamic qualitative behaviour of universal computation. Complex Systems, 20(3), 265–278.
Zenil, H. (2012b). A Turing test-inspired approach to computation, Turing in context II. Brussels (forthcoming).
Zenil, H. (2012c). Nature-like computation and programmability. In G. Dodig-Crnkovic, & R. Giovagnoli (Eds.), A behavioural foundation for natural computing and a programmability test. Heidelberg: Springer (in press).
Zenil, H. (2012d). Programmability for natural computation and the game of life as a case study. Journal of Experimental and Theoretical Artificial Intelligence (in press).
Zenil, H., Soler-Toscano, F., Joosten, J.J. (2012). Empirical encounters with computational irreducibility and unpredictability. Minds and Machines, 21(3), 149–165.
Acknowledgements
I am indebted to the generous reviewers whose comments have helped improve the presentation of this article. I also wish to thank the FQXi for the mini-grant awarded by way of the Silicon Valley Foundation under the title “Time and Computation”, in connection to behaviour as studied in this project (mini-grant no. 2011-93849 (4661)).
Author information
Authors and Affiliations
Corresponding author
Additional information
Philosophy & Technology, Springer 2012 (special issue on History and Philosophy of Computing).
Rights and permissions
About this article
Cite this article
Zenil, H. What Is Nature-Like Computation? A Behavioural Approach and a Notion of Programmability. Philos. Technol. 27, 399–421 (2014). https://doi.org/10.1007/s13347-012-0095-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13347-012-0095-2