Interesting theorems
Universal enumerable measure (Levin, 1970)
Theorem 4.2: There is no universal approximable measure (Hutter, 2000)
Theorem 4.1: There is a universal cumulatively enumerable measure CEM (Schmidhuber, 2000)
Example: ?E(1100)= C?E(1100) - C?E(1101)
Lemma 4.2: CEM ? EOM with random input
Back to J. Schmidhuber's Theory of Everything page