Acknowledgments

Thanks to Marcus Hutter and Sepp Hochreiter for independently checking all theorems, to Ray Solomonoff, Christof Schmidhuber, Leonid Levin and Peter Gács, for useful comments, and to Marcus Hutter for the unsolicited proof of Theorem 4.2.