** Next:** How Difficult is it
** Up:** Global Optimality Theorem
** Previous:** Alternative Relaxed Target Theorem

##

Global Optimality and Recursive Meta-Levels

One of the most important
aspects of our fully self-referential set-up is the following.
Any proof of a target theorem automatically proves
that the corresponding self-modification is good for all
further self-modifications affected by the present one,
in recursive fashion.
In that sense all possible ``meta-levels'' of the self-referential
system are collapsed into one.

Juergen Schmidhuber
2005-01-03