Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
Luke MacLean, Department of Pure Mathematics, University of Waterloo
"REVERSE MATHEMATICS"
While most of mathematics is concerned with using a set of axioms to prove theorems, reverse mathematics is a relatively new form of mathematical logic that seeks to determine which axioms are required to prove certain theorems. This gives a notion of the “strength” of a certain theorem by looking at which theorems imply it, and which are implied by it.
This will be the first in a series of talks that will follow “Slicing the Truth” by Denis Hirschfeldt with brief digressions to aid in clarity. No knowledge of computability theory is presupposed and the level of the talk will adjust according to the audience.
MC 5413
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.