The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability
Aritra Sarkar

TL;DR
This paper demonstrates that under resource constraints, self-replicating programs naturally emerge as stable fixed points in program space, explaining the spontaneous appearance of life-like systems without explicit objectives.
Contribution
It formalizes the computational inevitability of self-replication using algorithmic information theory under resource bounds, linking life to constrained universal induction.
Findings
Self-replicating programs act as attractors in program space.
Resource bounds lead to stable self-constructing programs.
Empirical results align with the theoretical model.
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEvolutionary Algorithms and Applications · Computability, Logic, AI Algorithms · Machine Learning and Algorithms
