GDR PHILOSOPHIE DES MATHEMATIQUES (PHILMATH)
FPMW5 Clermont | FPMW6 Toulouse | FPMW7 Paris | FPMW8 Marseille | FPMW9 Nancy |
FPMW 7
COLLOQUE INTERNATIONAL
Jeudi 5 au samedi 7 novembre 2015
Université Paris Diderot et IHPST, Paris
Comité d’organisation 2015
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). Soutien au comité d’organisation : Nad Fachard (CNRS, SPHERE), Marie Guyot (CNRS, IHPST).
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).
Partenaires institutionnels : le Centre national de la recherche scientifique, l’Université Paris 7 Paris Diderot, et le Groupement de recherche (GDR) 3719 « Philosophie des Mathématiques », dirigé par Jean-Jacques Szczeciniarz (SPHERE, Paris 7).
Unités de recherches partenaires : 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)
La liste des participants peut être consultée ici
PROGRAMME + plans d’accès aux salles en téléchargement
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) |
L’unité des mathématiques comme méthode de découverte | |
11:15 12:45 |
Emily GROSHOLZ (Penn State Univ.) |
Reference and analysis in analytic number theory | résumé |
12:45–14:15 Déjeuner | |||
14:15 15:45 |
Ralf KRÔMER (Univ. Wuppertal) |
Recent developments in the philosophy of category theory | slides |
16:00 17:30 |
Brendan LARVOR (Univ. of Hertfordshire) |
The logic of informal proofs | slides |
vendredi 6 novembre IHPST, salle de conférence, 13, rue du Four, 75006 Paris | |||
9:30 11:00 |
Brice HALIMI (Univ. Paris Ouest, IRePh) |
Mathematical settings | slides |
11:15 12:45 |
Marianna ANTONUTTI MARFORI (Univ. Paris 1, IHPST) et Benedict EASTAUGH (Univ. Aberdeen) |
What is ordinary mathematics ? | slides |
12:45–14:15 Déjeuner | |||
14:15 15:45 |
Alejandro PEREZ CARBALLO (Univ. Massachusetts Amherst) |
Mathematics without representation ? | résumé |
16:00 17:30 |
Julien PAGE (Univ. Paris Diderot, SPHERE) |
Panorama de problèmes d’une approche contemporaine dialectique des théories de Galois | résumé |
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 | slides |
11:15 12:45 |
Giorgio VENTURI (Unicamp & IHPST) | On the naturalness of new axioms in set theory | résumé |
Entrée libre sur inscription pour accéder aux salles avant le jeudi 5/11 16h auprès de fpmw7-2015@sciencesconf.org
- 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
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
Calculer votre itinéraire sur le site de la RATP