Solomonoff's theory of inductive inference