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:

Dept. of Mathematics
523 Smith Hall
Marshall University
1 John Marshall Drive
Huntington, WV 25755

Telephone: 304-696-6482
Facsimile: 304-696-4646
Directory: Faculty & Staff

Need Math Help?

Get a Job with Math:

Math Honor Society:

Student Resources: