Computability Learning Seminar

Monday, February 9, 2026 1:00 pm - 2:30 pm EST (GMT -05:00)

Beining Mu, University of Waterloo

Algorithmic randomness and Turing degrees 4

In this seminar we will talk about the Hyperimmune-Free Basis Theorem and its application to understanding the distribution of 1-random Turing degrees. In addition, we will also cover Demuth's Theorem and its applications.

MC 5403