research
∙
12/22/2021
Computable Model Discovery and High-Level-Programming Approximations to Algorithmic Complexity
Motivated by algorithmic information theory, the problem of program disc...
share
research
∙
11/06/2017
Coding-theorem Like Behaviour and Emergence of the Universal Distribution from Resource-bounded Algorithmic Probability
Previously referred to as 'miraculous' because of its surprisingly power...
research
∙
06/06/2016
Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence
Is undecidability a requirement for open-ended evolution (OEE)? Using me...
research
∙
06/14/2015
Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value
We show that strategies implemented in automatic theorem proving involve...
research
∙
05/15/2006