On the Foundations of Universal Artificial Intelligence