## 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

Visit our COVID-19 information website to learn how Warriors protect Warriors.

Please note: The University of Waterloo is closed for all events until further notice.

Monday, October 27, 2014 — 4:00 PM EDT

Every mathematician knows that if 2+2=5 then Bertrand Russell is the pope. Russell is credited with having given a proof of that fact in a lecture, though from the point of view of classical logic, no such proof is needed, since a false statement implies every statement. Contrapositively, every statement implies a given true statement. But we are often interested in questions of implication and nonimplication between true statements. We have all heard and said things like ”Theorems A and B are equivalent,” or ”Theorem C does not just follow from Theorem D.” There is also a wellestablished practice of showing that a given theorem can be proved without using certain methods. These are often crucial things to understand about an area of mathematics, and can also help us make connections between different areas.

Computability theory and proof theory can both be used to analyze, and hence compare, the strength of theorems and constructions. For example, when we have a principle such as ”Every infinite binary tree has an infinite path”, we can ask how difficult it is to compute such a path from a given tree. We can also ask how much axiomatic power is necessary to prove that this principle holds. The first kind of question leads to the program of Computable Mathematics. One version of the second kind of question leads to the program of Reverse Mathematics. I will give an introduction to these research programs, and discuss how close connection between computability and definability yields a fruitful interplay between them.

Please note room - MC 4060.

Refreshments will be served in MC 5158B at 3:30pm.

All are welcome!

Location

MC - Mathematics & Computer Building

4060

200 University Avenue West

Waterloo, ON N2L 3G1

Canada

200 University Avenue West

Waterloo, ON N2L 3G1

Canada

University 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

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1

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 Indigenous Initiatives Office.