Computability Learning Seminar

Joey Lakerdas-Gayle, University of Waterloo

Fundamentals of Computability Theory 1

This semester in the Computablility Theory Learning Seminar, we will be learning general Computability Theory following Robert Soare's textbook. This week, we will prove some of the fundamental theorems about Turing machines in Chapter 1 and 2.