Computability Learning Seminar

Elan Roth, University of Waterloo

A Continuation of Random Binary Sequences

We'll return to ML- and 1-Randomness and prove their equivalence. First, we will define some necessary machinery such as information content measures and the KC theorem.

MC 5403