Schmidhuber, Juergen (2003) Gödel machines: self-referential universal problem solvers making provably optimal self-improvements. Technical Report UNSPECIFIED