Acknowledgments

Thanks to Alexey Chernov, Marcus Hutter, Jan Poland, Sepp Hochreiter, Ray Solomonoff, Leonid Levin, Shane Legg, Alex Graves, Matteo Gagliolo, Viktor Zhumatiy, Ben Goertzel, Will Pearson, and Faustino Gomez, for useful comments on drafts or summaries or earlier versions of this paper. I am also grateful to many others who asked questions during Gödel machine talks or sent comments by email. Their input helped to shape Section 6.7 on frequently asked questions.