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