Hutter's definition because one may bias the distribution of environments within the latter by considering different Turing machines underlying the Kohnogorov complexity. However this is not a general equivalence because the Solomonoff-Levin measure intrinsically EFTA00623914 7.3 Toward a Formal Charact