Comité scientifique
- Andrew Arana (University of Illinois),
- Mark van Atten (Université Paris 4-Sorbonne, SND),
- Denis Bonnay (Université Paris X - Nanterre),
- Paola Cantù (CNRS, CEPERC),
- Gabriella Crocco (Aix-Marseille Université, CEPERC),
- Michael Detlefsen (Notre Dame University),
- Jacques Dubucs (CNRS, IHPST),
- Viviane Durand-Guerrier (Université de Montpellier 2, I3M),
- Henri Galinon (Université Blaise Pascal),
- Sebastien Gandon (Université Blaise Pascal, PHIER),
- Brice Halimi (Université Paris-Ouest, IREPh),
- Gerhard Heinzmann (Université de Lorraine, Archives Poincaré),
- Jean-Baptiste Joinet (Université jean Moulin, IRPhil),
- Vincent Jullien (Université de Nantes, CAPHI),
- Paolo Mancosu (Université de Berkeley),
- Sébastien Maronne (Université Paul Sabatier, IMT),
- Joël Merker (Université Paris-Sud, LMO),
- Philippe Nabonnand (Université de Lorraine, Archives Poincaré),
- Marco Panza (CNRS, IHPST),
- Fabrice Pataut (Université Paris 1 - Panthéon-Sorbonne, IHPST),
- Fréderic Patras (CNRS, Laboratoire Jean-Alexandre Dieudonné),
- Dominique Pradelle (Université Paris Sorbonne-Paris IV)
- David Rabouin (CNRS, SPHERE),
- Shahid Rahman (Université Lille 3, STL),
- Andrei Rodin (Institute of Philosophy of Russian Academy of Sciences),
- Stewart Shapiro (Ohio State University),
- Ivahn Smadja (Université Paris Diderot, SPHERE),
- Jean-Jacques Szczeciniarz (Université Paris Diderot, SPHERE),
- Claudine Tiercelin (Collège de France),
- Sean Walsh (University of California, Irvine).
Comité d'organisation
- Andrew Arana,
- Alberto Naibo (Université Paris 1 Panthéon-Sorbonne, IHPST),
- Marco Panza,
- David Rabouin,
- Ivahn Smadja,
- Jean-Jacques Szczeciniarz (directeur du GdR),
- Pierre Wagner (Université Paris 1 Panthéon-Sorbonne, IHPST).
Programme
Résumés en ligne prochainement
Jeudi 5 novembre,
Université Paris Diderot, salle des thèses, 580F (5e), hall E, puis hall F, bâtiment Halle aux farines, 10 rue Françoise Dolto, 75013 Paris"
- 9:30-11:00 Jean Petitot (EHESS)
- 11:15-12:45Emily Grosholz (Penn State Univ.), Reference and analysis in analytic number theory
- 12:45–14:15 Lunch break
- 14:15-15:45 Ralf Krömer (Univ. Wuppertal) Recent developments in the philosophy of category theory
- 16:00-17:30 Brendan Larvor (Univ. of Hertfordshire) The logic of informal proofs
Vendredi 6 novembre
salle de conférence, IHPST*
- 9:30-11:00 Brice Halimi (Univ. Paris Ouest, IRePh) Mathematical settings
- 11:15-12:45 Marianna Antonutti Marfori (Univ. Paris 1, IHPST) and Benedict Eastaugh (Univ. Aberdeen) What is ordinary mathematics ?
- 12:45–14:15 Lunch break
- 14:15-15:45 Alejandro Pérez Carballo (Univ. Massachusetts Amherst) Mathematics without representation
- 16:00- 17:30 Julien Page, (Univ. Paris Diderot, SPHERE) Panorama de problèmes d’une approche contemporaine dialectique des théories de Galois
Samedi 7 novembre
Université Paris Diderot, salle Luc Valentin, 454A*
- 9:30-11:00 Sean Walsh (UC Irvine) Predicativity, the Russell-Myhill paradox, and Church’s intensional logic
- 11:15-12:45 Giorgio Venturi (UNICAMP) On the naturalness of new axioms in set theory
Inscription
Entrée libre sur inscription auprès de fpmw7-2015@sciencesconf.org