Marcus Hutter - Universal Algorithmic Intelligence: A Mathematical Top→Down Approach (2007) 2015-08-13