7th FPMW 2015
Il s’agit de la SEPTIÈME ÉDITION du COLLOQUE ANNUEL DE PHILOSOPHIE DES MATHÉMATIQUES organisé par une équipe de chercheurs français et étrangers.
Cette édition est la première organisée par le GdR de Philosophie des Mathématiques (CNRS – INSHS). Le programme du dernier colloque peut être consulté ici : http://www.math.univ-toulouse.fr/FPMW6/.
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).
Accès libre et open mais vous devez vous inscrire : fpmw7-2015@sciencesconf.org
|
PROGRAMME 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 |
(EHESS) |
L’unité des mathématiques comme méthode de découverte |
|
11:15 12:45 |
(Penn State Univ.) |
Reference and analysis in analytic number theory |
|
12:45–14:15 Déjeuner |
||
|
14:15 15:45 |
(Univ. Wuppertal) |
Recent developments in the philosophy of category theory |
|
16:00 17:30 |
(Univ. of Hertfordshire) |
The logic of informal proofs |
|
VENDREDI 6 NOVEMBRE Salle de conférence, IHPST, 13, rue du Four, 75006 Paris |
||
|
9:30 11:00 |
(Univ. Paris Ouest, IRePh) |
Mathematical settings |
|
11:15 12:45 |
(Univ. Paris 1, IHPST) and Benedict Eastaugh (Univ. Aberdeen) |
What is ordinary mathematics ? |
|
12:45–14:15 Déjeuner |
||
|
14:15 15:45 |
(Univ. Massachusetts Amherst) |
Mathematics without representation |
|
16:00 17:30 |
(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 (4e), bâtiment Condorcet, 10 rue Alice Domon et Léonie Duquet, 75013 Paris |
||
|
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 |
INFORMATIONS PRATIQUES
Entrée libre sur inscription auprès de fpmw7-2015@sciencesconf.org Calculer votre itinéraire sur le site de la RATP
- IHPST, 13, rue du Four, 75006 Paris Métro ligne 4 / Stop : Odéon ; ligne 10 / Stop : Mabillon. Bus 70, 87, 86, 96
- UNIVERSITE PARIS DIDEROT Plan. Métro ligne 14 & RER C / Stop : Bibliothèque François Mitterrand ; ligne 6 / Stop : Quai de la Gare Bus 64 / Stop : Bibliothèque rue Mann ; bus 62 & 89 / Stop : Bibliothèque rue Mann ; bus 325 / Stop : Watt