Gödel Machines: Self-Referential Universal Problem Solvers (2006)