University of Delaware
Discrete Mathematics Seminar

What Can Mathematical Logic Do For You?
Eric Moorhouse
University of Wyoming
Friday, April 6, 2012
Ewing Hall 336 4.45 - 5.45 pm

Abstract: Model theory provides a logical foundation for all of modern mathematics. It clarifies the nature of truth and provability (these being distinct concepts), thereby highlighting both the power and the limitations of the axiomatic method. These formal methods are the bread and butter of set theory, much of point-set topology, etc. However, logic also has some spectacular applications to discrete mathematics. I will describe some of my favorite results from graph theory, combinatorics and number theory which are proved using the formal methods of mathematical logic (if not the only available proof, then at least a simpler proof, an easier proof, or a more enlightening proof than other known proofs). As time permits, I will also mention current projects.