Previously referred to as 'miraculous' in the scientific literature because of its powerful properties and its wide application as optimal solution to the problem of induction/inference, (approximations to) Algorithmic Probability (AP) and the associated Universal Distribution are (or should be) of the greatest importance in science. Here we investigate the emergence, the rates of emergence and convergence, and the Coding-theorem like behaviour of AP in Turing-subuniversal models of computation. We investigate empirical distributions of computing models in the Chomsky hierarchy. We introduce measures of algorithmic probability and algorithmic complexity based upon resource-bounded computation, in contrast to previously thoroughly investigated distributions produced from the output distribution of Turing machines. This approach allows for numerical approximations to algorithmic (Kolmogorov-Chaitin) complexitybased estimations at each of the levels of a computational hierarchy. We demonstrate that all these estimations are correlated in rank and that they converge both in rank and values as a function of computational power, despite fundamental differences between computational models. In the context of natural processes that operate below the Turing universal level because of finite resources and physical degradation, the investigation of natural biases stemming from algorithmic rules may shed light on the distribution of outcomes. We show that up to 60% of the simplicity/complexity bias in distributions produced even by the weakest of the computational models can be accounted for by Algorithmic Probability in its approximation to the Universal Distribution.
We discuss a notion of forcing that characterises enumeration 1genericity and we investigate the immunity, lowness and quasiminimality properties of enumeration 1-generic sets and their degrees. We construct an enumeration operator ∆ such that, for any A, the set ∆ A is enumeration 1-generic and has the same jump complexity as A. We deduce from this and other recent results from the literature that, not only does every degree a bound an enumeration 1-generic degree b such that a ′ = b ′ , but also that, if a is nonzero, then we can find such b satisfying 0e < b < a. We conclude by proving the existence of both a nonzero low and a properly Σ 0 2 nonsplittable enumeration 1-generic degree hence proving that the class of 1-generic degrees is properly subsumed by the class of enumeration 1-generic degrees.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.