GDR PHILOSOPHY OF MATHEMATICS (PHILMATH)
FPMW5 Clermont | FPMW6 Toulouse | FPMW7 Paris | FPMW8 Marseille | FPMW9 Nancy |
FPMW 8
INTERNATIONAL WORKSHOP
November 2016, Thursday 3 to Saturday 5
University Aix-Marseille
The three-day conference will be held from Thursday November 3 to Saturday November 5, 2016 at the University of Aix-Marseille in Marseille (campus Saint-Charles).
Support Committee 2016
Valeria Giardino (AHP/CNRS), Gerhard Heinzmann (AHP/UL), Baptiste Mélès (AHP/CNRS), Philippe Nabonnand (AHP/UL)
Organizing Committee 2016
Paola Cantù (Ceperc/CNRS), Gabriella Crocco (Ceperc/AMU), Philippe Abgrall (Ceperc/CNRS ), Marie Anglade (Ceperc/AMU), Valérie Débuiche (Ceperc/AMU), Mathilde Bouquet (Ceperc/CNRS), Julie Humeau (Ceperc/CNRS), Anaïs Mauriceau (Ceperc/CNRS), Sylvie Pons (Ceperc/CNRS).
Scientific Commitee
Andrew Arana (IHPST/Paris 1), Paola Cantu (Ceperc/CNRS), Gabriella Crocco (Ceperc/AMU), Michael Detlefsen (University of Notre Dame), Viviane Durand-Guerrier (IMAG/Université de Montpellier), Sébastien Gandon (Université Blaise Pascal, Clermont), Valeria Giardino (AHP/CNRS), Brice Halimi (IRePh/Université Paris Ouest-Nanterre), Gerhard Heinzmann (AHP/UL), Jean-Baptiste Joinet (IRPhil/Université Jean Moulin – Lyon 3), Vincent Jullien (CAPHI/Université de Nantes), Giuseppe Longo (ENS/CNRS), Colin MacLarty (Case Western Reserve University), Paolo Mancosu (UC Berkeley), Jean-Pierre Marquis (Université de Montréal), Sébastien Maronne (Institut de Mathématiques de Toulouse/Université de Toulouse Paul Sabatier), Baptiste Mélès (AHP/CNRS), Joël Merker (LMO/Université Paris-Sud), Philippe Nabonnand (AHP, Nancy), Alberto Naibo (IHPST/Paris 1), Marco Panza (IHPST/CNRS), Fabrice Pataut (SND, Paris 1), Fréderic Patras (Laboratoire Jean-Alexandre Dieudonné/CNRS), Francesca Poggiolesi (IHPST/CNRS), David Rabouin (SPHERE/CNRS), Shahid Rahman (STL/Université Lille 3), Andrei Rodin (Institute of Philosophy of Russian Academy of Sciences), Stewart Shapiro (The Ohio State University), Jean-Jacques Szczeciniarz (SPHERE/Paris 7), Mark Van Atten (SND/Paris 1), Pierre Wagner (IHPST/Paris 1)
Main Institutional Partners : le Centre national de la recherche scientifique, l’Université d’Aix-Marseille,et le Groupement de recherche (GDR) 3719 « Philosophie des Mathématiques », dirigé par Jean-Jacques Szczeciniarz (SPHERE, Paris 7).
Other research partners : AHP (UMR 7117), CAPHI (EA 2163), CEPERC (UMR 7304), IMAG (UMR 5149), IHP (UMR 8163), IHPST (UMR 8590), IMT (UMR 5219), IREPh (EA 373), IRPhil (EA 4187), Laboratoire Jean-Alexandre Dieudonné (UMR 7351), LMO (UMR 8628-STL), PHIER (EA 3297), SND (FRE 3593), SPHERE (UMR 7219)
The list of participants is online here : https://fpmw8-2016.sciencesconf.org/resource/page/id/1
PROGRAM
University Aix-Marseille, amphitheater Massiani AMU, venue Saint Charles | ||||
Thursday November 3, 2016 | ||||
9:00 9:30 |
Welcome | |||
9:30 11:00 |
Jeremy AVIGAD (Carnegie Mellon University) |
Mathematical understanding | slides | |
11:00 11:30 |
Coffee break | |||
11:15 13:00 |
Gabriel TARZIU (Institute for Research in Humanities, Univ. of Bucharest) |
Can we have mathematical understanding of physical phenomena ? | slides | |
13:00–14:30 Lunch | ||||
14:30 15:15 |
David WASZEK (Univ. Paris I Panthéon-Sorbonne, Institut d’Histoire et de Philosophie des Sciences et des Techniques) | On the autonomy of formulae : a case study around Leibniz and Johann Bernoulli | slides | |
15:15 16:45 |
Sébastien MARONNE (Univ. Toulouse III Paul Sabatier, IMT & SPHERE) |
Philosophy of mathematics between history of mathematics and philosophy. Geometrical problem solving in early modern mathematics and practical reasoning | slides | |
16:45 17:15 |
Coffee break | |||
15:15 16:45 |
Jack WOODS (Univ. of Leeds) |
What Should we Render unto Caesar ? | ||
FRIDAY NOVEMBER 4, 2016 | ||||
9:30 11:00 |
Christophe ECKES (Archives Henri Poincaré, Nancy) |
Albert Lautman lecteur de Hermann Weyl | ||
11:00 11:30 |
Coffee break | |||
11:30 13:00 |
Francesca BIAGIOLI (Univ. Konstanz) |
Arithmetization as a tool of discovery in Felix Klein’s research program and epistemological writings | slides | |
13:00–14:30 Lunch | ||||
14:30 15:15 |
Antonio PICCOLOMINI d’ARAGONA (Univ. Aix-Marseille, Univ. of Rome “La Sapienza”) |
A case of BHK decidability : Dag Prawitz’s proof- and ground-theoretic semantics | slides | |
15:15 16:45 |
Claudio BARTOCCI (Università di Genova) |
Points. From Euclid to F_1-geometry | ||
SATURDAY NOVEMBER 5, 2016 | ||||
9:30 11:00 |
Jean-Michel SALANSKIS (Univ. Paris Ouest) |
Category Theory and Philosophy of Mathematics | slides | |
11:00 11:30 |
Coffee break | |||
11:30 13:00 |
Simon HEWITT (Dept of Philosophy, Univ. of Leed |
Linguistic Reinterpretation and Inde nite Extensibility | slides |
VENUE
L’amphitheatre Massiani se trouve dans le batiment de Chimie (numéro 7). Téléchargez ici le plan du site Saint-Charles de l’Université Aix-Marseille.
L’Université se trouve juste en face de la Gare Marseille Saint-Charles, qui est reliée à l’aeroport par un service navette. La Gare Saint-Charles se trouve sur la ligne du metro M1, arret SAINT-CHARLES, ainsi que sur la ligne du metro M2, arret Saint-Charles.
Telechargez ici le plan du metro et tram de la ville de Marseille (http://www.rtm.fr/).