Abstract
In this paper we shall relate computational complexity to the principle of natural selection. We shall do this by giving a philosophical account of complexity versus universality. It seems sustainable to equate universal systems to complex systems or at least to potentially complex systems. Post’s problem on the existence of (natural) intermediate degrees (between decidable and universal \(\Sigma _1^0\)) then finds its analog in the Principle of Computational Equivalence (\(\mathbf{PCE }\)). In this paper we address possible driving forces—if any—behind \(\mathbf{PCE }\). Both the natural aspects as well as the cognitive ones are investigated. We postulate a principle \(\mathbf{GNS }\) that we call the Generalized Natural Selection principle that together with the Church-Turing thesis is seen to be in close correspondence to a weak version of \(\mathbf{PCE }\). Next, we view our cognitive toolkit in an evolutionary light and postulate a principle in analogy with Fodor’s language principle. In the final part of the paper we reflect on ways to provide circumstantial evidence for \(\mathbf{GNS }\) by means of theorems, experiments or, simulations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This requirement can be relaxed as a universal CA can mimic any other CA too.
References
C.S. Calude, G. Paun, Computing with Cells and Atoms: An Introduction to Quantum, DNA and Membrane Computing (CRC Press, Leiden, 2000)
S.B. Cooper, Computability Theory (Chapman & Hall/CRC, 2004) ISBN 1-58488-237-9
J. Delahaye, H. Zenil, Numerical evaluation of algorithmic complexity for short strings: a glance into the innermost structure of randomness. Appl. Math. Comput. 218(24) (2012). Elsevier
R. Dawkins, The Selfish Gene (Oxford University Press, New York, 1976). ISBN 0-19-286092-5
J.A. Fodor, Modules, Frames, Fridgeons, Sleeping Dogs, and the Music of the Spheres, ed. by Z.W. Pylyshyn (1987)
J.J. Joosten, On the necessity of complexity. in Irreducibility and Computational Equivalence: 10 Years After the Publication of Wolfram’s A New Kind of Science, ed. by H. Zenil (ed.), to be published in 2012/2013
R. Keefe, Theories of Vagueness (Cambridge University Press, Cambridge, 2000)
M.A. Nielsen, I.L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2000)
G. Paun, G. Rozenberg, A. Salomaa, DNA Computing: New Computing Paradigms (Springer, Berlin, 2010)
E. Post, Recursively enumerable sets of positive integers and their decision problems. Bull. Amer. Math. Soc. 50, 284–316 (1944)
M. Shanahan, Solving the Frame Problem; A Mathematical Investigation of the Common Sense Law of Intertia (MIT Press, Cambridge, 1997)
S.G. Simpson, Subsystems of Second Order Arithmetic, 2nd edn. Perspectives in Logic (Cambridge University Press, New York, 2009)
K. Sutner, Computational processes, observers and Turing incompleteness. Theor. Comput. Sci. 412(1–2), 183–190 (2011)
S. Wolfram, A New Kind of Science (Wolfram Media, 2002)
L.A. Zadeh, Fuzzy Sets, Fuzzy Logic, Fuzzy Systems, ed. by G.J. Klir, B. Yuan (World Scientific Press, 1996)
H. Zenil, Compression-based investigation of the dynamical properties of cellular automata and other systems. J. Complex Syst. 19(1), 1–28 (2010)
Acknowledgments
I would like to thank Barry Cooper and Hector Zenil for fruitful discussions on the subject.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Joosten, J.J. (2014). Complexity Fits the Fittest. In: Zelinka, I., Sanayei, A., Zenil, H., Rössler, O. (eds) How Nature Works. Emergence, Complexity and Computation, vol 5. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-00254-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-00254-5_3
Published:
Publisher Name: Springer, Heidelberg
Print ISBN: 978-3-319-00253-8
Online ISBN: 978-3-319-00254-5
eBook Packages: EngineeringEngineering (R0)