Page may be out of date
This page has not been updated in the last 5 years. The content on this page may be incorrect. If you have any questions please contact the web team.

Colloquium: “Reverse Mathematics, Graphs, and Matchings”

Marshall University Math Colloquium
March 10, 2014

Dr. Jeffry Hirst
Appalachian State University

How can we tell if two theorems are essentially the same? If we can prove that they are equivalent, then they are in some sense interchangeable. If our equivalence proof relies on a particularly small set of assumptions, then our claim of similarity is even stronger. This is the fundamental motivation of reverse mathematics, a program in the foundations of mathematics initiated by Harvey Friedman and Stephen Simpson. This talk will illustrate some results and techniques of the program.

Contact Us

Department of Mathematics & Physics

Office: Smith Hall 523

Office Hours: Mon – Fri, 8:00am – 4:30pm


Phone: 304-696-6482

Need Math Help?

Get a Job with Math

Math Honor Society

Student Resources