- ... modified
^{1} - As pointed out
by M. Hutter (14 Nov. 2000, personal communication) and even
earlier by A. Fujiwara (1998, according to P. M. B. Vitányi,
personal communication, 21 Nov. 2000), the proof on the bottom of
p. 249 of [#!LiVitanyi:97!#] should be slightly modified. For
instance, the sum could be taken over
.
The
sequence of inequalities
is then satisfiable by a suitable
*x*_{i}sequence, since . The basic idea of the proof is correct, of course, and very useful.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Related links: In the beginning was the code! - Zuse's thesis - Life, the universe, and everything - Generalized Algorithmic Information - Speed Prior - The New AI