Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence

Is undecidability a requirement for open-ended evolution (OEE)? Using methods derived from algorithmic complexity theory, we propose robust computational definitions of open-ended evolution and the adaptability of computable dynamical systems. Within this framework, we show that decidability imposes absolute limits to the stable growth of complexity in computable dynamical systems. Conversely, systems that exhibit (strong) open-ended evolution must be undecidable, establishing undecidability as a requirement for such systems. Complexity is assessed in terms of three measures: sophistication, coarse sophistication and busy beaver logical depth. These three complexity measures assign low complexity values to random (incompressible) objects. As time grows, the stated complexity measures allow for the existence of complex states during the evolution of a computable dynamical system. We show, however, that finding these states involves undecidable computations. We conjecture that for similar complexity measures that assign low complexity values, decidability imposes comparable limits to the stable growth of complexity, and that such behaviour is necessary for non-trivial evolutionary systems. We show that the undecidability of adapted states imposes novel and unpredictable behaviour on the individuals or populations being modelled. Such behaviour is irreducible. Finally, we offer an example of a system, first proposed by Chaitin, that exhibits strong OEE.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/05/2018

Some results relating Kolmogorov complexity and entropy of amenable group actions

It was proved by Brudno that entropy and Kolmgorov complexity for dynami...
research
04/26/2023

The physical Church thesis and the sensitivity to initial conditions

The physical Church thesis is a thesis about nature that expresses that ...
research
05/23/2023

Robust non-computability and stability of dynamical systems

In this paper, we examine the relationship between the stability of the ...
research
07/27/2012

Measuring the Complexity of Ultra-Large-Scale Adaptive Systems

Ultra-large scale (ULS) systems are becoming pervasive. They are inheren...
research
02/16/2020

Relativity of Depth and Sophistication

Logical depth and sophistication are two quantitative measures of the no...
research
03/16/2022

The Outlier Theorem Revisited

An outlier is a datapoint that is set apart from a sample population. Th...
research
07/06/2016

Formal Definitions of Unbounded Evolution and Innovation Reveal Universal Mechanisms for Open-Ended Evolution in Dynamical Systems

Open-ended evolution (OEE) is relevant to a variety of biological, artif...

Please sign up or login with your details

Forgot password? Click here to reset