Computability Theory Learning Seminar

Thursday, March 23, 2023 2:30 pm - 2:30 pm EDT
Export this event to calendar
iCal

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Metatheorems (Part 2)"

We will introduce the game metatheorem of Antonio Montalban and discuss its function. Several examples of its usefulness will be given.

MC 5403