Planning
Thursday, November 3, 2016
| Time |
Event |
|
|
08:30 - 09:00
|
Reception and registration - Reception and registration of participants |
|
|
09:00 - 09:30
|
Welcome (Amphithéâtre Massiani AMU, Site Saint Charles ) |
|
|
09:30 - 11:00
|
Mathematical Understanding (Amphithéâtre Massiani AMU, Site Saint Charles ) - Jeremy Avigad (Carnegie Mellon University) |
|
|
11:00 - 11:30
|
Coffee break |
|
|
11:30 - 13:00
|
Can we have mathematical understanding of physical phenomena? (Amphithéâtre Massiani AMU, Site Saint Charles ) - Gabriel Tarziu (Institute for Research in Humanities, University of Bucharest) |
|
|
13:00 - 14:30
|
Lunch |
|
|
14:30 - 15:15
|
On the autonomy of formulae: a case study around Leibniz and Johann Bernoulli (Amphithéâtre Massiani AMU, Site Saint Charles ) - David Waszek (University Paris I Panthéon-Sorbonne, Institut d'Histoire et de Philosophie des Sciences et des Techniques) |
|
|
15:15 - 16:45
|
Philosophy of mathematics between history of mathematics and philosophy. Geometrical problem solving in early modern mathematics and practical reasoning (Amphithéâtre Massiani AMU, Site Saint Charles ) - Sébastien Maronne (Univ. Toulouse III Paul Sabatier, IMT & SPHERE) |
|
|
16:45 - 17:15
|
Coffee break |
|
|
17:15 - 18:45
|
What Should we Render unto Caesar? (Amphithéâtre Massiani AMU, Site Saint Charles ) - Francesca Boccuni (Università San Raffaele, Milan) – Jack Woods (University of Leeds) |
|
| Time |
Event |
|
|
09:30 - 11:00
|
Albert Lautman lecteur de Hermann Weyl (Amphithéâtre Massiani AMU, Site Saint Charles ) - Christophe Eckes (Archives Henri Poincaré, Nancy) |
|
|
11:00 - 11:30
|
Coffee break |
|
|
11:30 - 13:00
|
Arithmetization as a tool of discovery in Felix Klein’s research program and epistemological writings (Amphithéâtre Massiani AMU, Site Saint Charles ) - Francesca Biagioli (Universität Konstanz) |
|
|
13:00 - 14:30
|
Lunch |
|
|
14:30 - 15:15
|
A case of BHK decidability: Dag Prawitz's proof- and ground-theoretic semantics (Amphithéâtre Massiani AMU, Site Saint Charles ) - Antonio Piccolomini d'Aragona (Aix-Marseille University, University of Rome “La Sapienza”) |
|
|
15:15 - 16:45
|
From Euclid to F_1-geometry (Amphithéâtre Massiani AMU, Site Saint Charles ) - Claudio Bartocci (Università di Genova) |
|
|
20:30 - 23:00
|
Dinner |
|
Saturday, November 5, 2016
| Time |
Event |
|
|
09:30 - 11:00
|
Category Theory and Philosophy of Mathematics (Amphithéâtre Massiani AMU, Site Saint Charles ) - Jean-Michel Salanskis (Université Paris Ouest) |
|
|
11:00 - 11:30
|
Coffee break |
|
|
11:30 - 13:00
|
Linguistic Reinterpretation and Inde nite Extensibility (Amphithéâtre Massiani AMU, Site Saint Charles ) - Simon Hewitt (Department of Philosophy, University of Leeds) |
|
|
