Mathematics with a Human Face (II)
The conference has the aim to showcase recent work in the philosophy of mathematics.
Main content
Program
Tuesday 21 May
9.45 Coffee & welcome
10.00 - 11.15 Georg Schiemer (Vienna): Hilbert’s conservativity program and the method of ideal elements
11.20 - 12.35 Line Edslev Andersen (Vrije Univ. Brussels): Can mathematics tell us about the nature of collective knowledge? (Joint work with Yacin Hamami, ETH Zurich)
Lunch
14.00 - 15.15 Carolin Antos (Konstanz): Exploring exemplary reasoning in mathematics
15.20 - 16.35 Otávio Bueno (Miami): Why a Mathematical Fictionalist Should Be a Structuralist about Mathematics
Coffee break
16.45 - 18.00 Jamie Tappenden (U. Michigan Ann Arbor): Definition, vagueness and conceptual development in mathematical practice
***
Wednesday 22 May
9.15 Coffee
9.30 - 10.45 Gabriel Sandu (Helsinki): Ramsey and the notion of arbitrary function
10.50 - 12.05 David Waszek (Ecole Normale Superieure, Paris): Structure-preservation and notations in applications of mathematics to mathematics
Lunch
13.30 - 14.45 Benedict Eastaugh (Warwick): Mathematical premises in philosophical arguments: some considerations from reverse mathematics
14.50 - 16.05 Ben Martin (Padova): Modelling with Derivations (Joint work with Andreas Fjellstad)
Coffee break
16.15 - 17.30 Marianna Antonutti Marfori (IHPST/University of Paris 1 Panthéon-Sorbonne): Mathematical Naturalism and Revisionism About Mathematics