A thesis about theoretical models of super intelligent machines. Includes Hutter's AIXI model, Solomonoff induction, the Universal Intelligence Measure, and the relationship between Goedel incompleteness and artificial intelligence algorithms.