Computability Learning Seminar

Elan Roth, University of Waterloo

A Continuation of Random Binary Sequences

We will build on the notions of ML-random and 1-random by defining a third interpretation of unpredictability using martingales. We will then prove the equivalence of these definitions and discuss some of their nice properties. Then, we will see how randomness is spread among the Turing degrees.

MC 5403