PROGRAMME
| Heures |
événement |
|
|
09:30 - 11:00
|
Jean Petitot
"L'unité des mathématiques comme méthode de découverte" (amphi Buffon, Univ. Paris Diderot, 15 rue Hélène Brion, Paris 13e) |
|
|
11:00 - 11:15
|
Pause café (amphi Buffon, Univ. Paris Diderot, 15 rue Hélène Brion, Paris 13e) |
|
|
11:15 - 12:45
|
Emily Grosholz
"Reference and analysis in analytic number theory" |
|
|
12:45 - 14:15
|
Déjeuner |
|
|
14:15 - 15:45
|
Ralf Krömer
"Recent developments in the philosophy of category theory" |
|
|
15:45 - 16:00
|
Pause café (amphi Buffon, Univ. Paris Diderot, 15 rue Hélène Brion, Paris 13e) |
|
|
16:00 - 17:30
|
Brendan Larvor
"The logic of informal proofs" (amphi Buffon, Univ. Paris Diderot, 15 rue Hélène Brion, Paris 13e) |
|
| Heures |
événement |
|
|
09:30 - 11:00
|
Brice Halimi
"Mathematical settings" (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
|
11:00 - 11:15
|
Pause café (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
|
11:15 - 12:45
|
Marianna Antonutti Marfori
and
Benedict Eastaugh
"What is ordinary mathematics?" (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
|
12:45 - 14:15
|
Déjeuner |
|
|
14:15 - 15:45
|
Alejandro Pérez Carballo
"Mathematics without representation" (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
|
15:45 - 16:00
|
Pause café (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
|
16:00 - 17:30
|
Julien Page
"Panorama de problèmes d’une approche contemporaine dialectique des théories de Galois" (Salle de conférences, IPHST, 13, rue du Four, Paris 6e) |
|
| Heures |
événement |
|
|
09:30 - 11:00
|
Sean Walsh
"Predicativity, the Russell-Myhill paradox, and Church’s intensional logic" (salle 454A, bâtiment Condorcet, Université Paris Diderot, 10 rue Alice Domon et Léonie Duquet, Paris 13e) |
|
|
11:00 - 11:15
|
Pause café (salle 454A, bâtiment Condorcet, Université Paris Diderot, 10 rue Alice Domon et Léonie Duquet, Paris 13e) |
|
|
11:15 - 12:30
|
Giorgio Venturi
"On the naturalness of new axioms in set theory" (salle 454A, bâtiment Condorcet, Université Paris Diderot, 10 rue Alice Domon et Léonie Duquet, Paris 13e) |
|
|
