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