Thomas comments on Mathematics for AIXI and Gödel machine

[Thomas]

I think you have to invent, not just to learn this.