OxTalks will soon move to the new Halo platform and will become 'Oxford Events.' There will be a need for an OxTalks freeze. This was previously planned for Friday 14th November – a new date will be shared as soon as it is available (full details will be available on the Staff Gateway).
In the meantime, the OxTalks site will remain active and events will continue to be published.
If staff have any questions about the Oxford Events launch, please contact halo@digital.ox.ac.uk
In joint work with Hans-Niels Jahnke (Universität Duisburg-Essen), we investigate the issue of justification of axioms in mathematics, from ancient Greek geometry to current debates on set theory, category theory and the foundations of mathematics. The aim of the talk is not to give a complete history of the phenomenon but to highlight its relevance (not sufficiently taken into account in the existing literature, in our opinion) by focussing on some particular cases. We take a look at Proclus’s discussion of Euclid’s axioms and postulates (especially, but not exclusively, the parallel postulate), at how Archimedes and much later Klein discuss the archimedean axiom, and finally at Penelope Maddy’s account of axioms of set theory, inspired by Zermelo’s remarks on the axiom of choice. The last case leads us to similar considerations concerning the role of category theory in the foundations of mathematics.
