The Unity of Mathematics -- A Foundational Touchstone?

John Dawson


This talk will address the issues: How has the oft-extolled unity of mathematics been construed by philosophers and practitioners? How well do familiar philosophies of mathematics account for such unity? And are there obstacles to proof-theoretic criteria for distinguishing different proofs of the "same" theorem?