Acknowledgments

Hutter's frequently mentioned work was funded through the author's SNF grant 2000-061847 ``Unification of universal inductive inference and sequential decision theory.'' Over the past three decades, numerous discussions with Christof Schmidhuber (a theoretical physicist) helped to crystallize the ideas on computable universes--compare his notion of ``mathscape'' [45].