Gödel Machines: Selbstreferentielle Problemlöser mit beweisbar optimaler Selbstverbesserung 25. September 2003