The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914275758440448 |
|---|---|
| author | Sarkar, Aritra |
| author_facet | Sarkar, Aritra |
| contents | Recent computational experiments have demonstrated the spontaneous emergence of self-replicating programs across universal automata, artificial chemistries, and self-modifying code systems. Remarkably, these results arise without explicit fitness functions, reward shaping, or predefined objectives, indicating a gap in our formal understanding of the underlying computational process.
In this work, we argue that self-replication is computationally inevitable under resource-bounded automata. Building on algorithmic information theory, we show that when universal inductive bias is applied under finite constraints of time, memory, and description length, programs that construct descriptions of themselves, i.e., quines, emerge as stable fixed points of nested algorithmic probability. We formalize this argument and demonstrate that self-replicating programs act as attractors in program space, independent of external optimization criteria. Thus, resource bounds transform universal induction into a competitive ecological process over programs, in which self-constructing programs dominate by stabilizing their own measure under resampling.
We reinterpret recent results from computational life experiments and self-improving artificial agents as empirical realizations of this theoretical principle. More broadly, we propose that life is the simplest persistent structure available to constrained computation. A living system remembers itself because doing so is algorithmically and thermodynamically unavoidable. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2010_09646 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability Sarkar, Aritra Logic in Computer Science Formal Languages and Automata Theory Information Theory Recent computational experiments have demonstrated the spontaneous emergence of self-replicating programs across universal automata, artificial chemistries, and self-modifying code systems. Remarkably, these results arise without explicit fitness functions, reward shaping, or predefined objectives, indicating a gap in our formal understanding of the underlying computational process. In this work, we argue that self-replication is computationally inevitable under resource-bounded automata. Building on algorithmic information theory, we show that when universal inductive bias is applied under finite constraints of time, memory, and description length, programs that construct descriptions of themselves, i.e., quines, emerge as stable fixed points of nested algorithmic probability. We formalize this argument and demonstrate that self-replicating programs act as attractors in program space, independent of external optimization criteria. Thus, resource bounds transform universal induction into a competitive ecological process over programs, in which self-constructing programs dominate by stabilizing their own measure under resampling. We reinterpret recent results from computational life experiments and self-improving artificial agents as empirical realizations of this theoretical principle. More broadly, we propose that life is the simplest persistent structure available to constrained computation. A living system remembers itself because doing so is algorithmically and thermodynamically unavoidable. |
| title | The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability |
| topic | Logic in Computer Science Formal Languages and Automata Theory Information Theory |
| url | https://arxiv.org/abs/2010.09646 |