Solomonoff induction: an algorithm for
intelligence whose only fault is inefficiency
 

Predict "world" by summing over Turing
machine models of observed world behavior,
then behave to optimze future rewards
 

All AI theory is just ways to do this efficiently