I am interested in the idea of Goedel machine, proposed by Jurgen Schmidthuber (http://people.idsia.ch/~juergen/goedelmachine.html).
It is described by the author as "self-referential universal problem solver". I am trying to clarify the concepts in order to implement the Goedel machine for machine learning of robots. Could you point out any practical applications of Goedel machine (as simple as possible) and their realizations? Thank you in advance!