Computability Learning Seminar

Tuesday, October 29, 2019 2:00 pm - 2:00 pm EDT (GMT -04:00)

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Reverse Mathematics (part 2)"

Having heard a brief overview of the basics of reverse mathematics, we will continue to learn about the system RCA_0 and the theorems provable therein. 

Attendance of part 1 is not required, only an interest in logic and computability.

MC 5413