ithin the latter by considering different Turing machines underlying the Kolmogorov complexity. However this is not a general equivalence because the Solomonoff-Levin measure intrinsically HOUSE_OVERSIGHT_013054 --- PAGE BREAK --- 7.3 Toward a Formal Characterization of Real-World General Intelligence 139