The Unity of Mathematics -- A Foundational Touchstone?
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?