9th FPMW 2017
PROGRAMME
mercredi 4 octobre 2017
HEURES | ÉVÉNEMENT | (+) |
10:15 – 11:15 | De Re Knowledge in Mathematics (Salle Internationale (324)) – Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy) | |
11:15 – 12:15 | Philosophy in practice, problem complexity and hard instances: Some foundational work for philosophers of mathematics (Salle Internationale (324)) – Cyrille Imbert (CNRS/LHSP-AHP) | |
12:15 – 13:30 | Déjeuner (hall) | |
13:30 – 14:30 | Formal Proof in Mathematical Practice (Salle Internationale (324)) – Danielle Macbeth (Haverford College) | |
14:30 – 15:30 | Visual Impact on Spatial Reasoning in Mathematics (Salle Internationale (324)) – Irina Starikova (University of São Paulo) | |
15:30 – 16:00 | Pause (Salle Internationale (324)) | |
16:00 – 17:00 | Do the roads to the higher infinite lead anywhere? (Salle Internationale (324)) – Casper Storm Hansen (The Van Leer Jerusalem Institute) | |
17:00 – 17:30 | Pause (Salle Internationale (324)) | |
17:45 – 18:45 | Frege was non Logicist (A04) – Marco Panza (CNRS/IHPST) | |
20:00 – 23:00 | Dîner pour les orateurs (A04) |
jeudi 5 octobre 2017
HEURES | ÉVÉNEMENT | (+) |
09:30 – 10:15 | Enregistrement – Café | |
10:15 – 10:30 | Accueil des participants (Salle Internationale (324)) | |
10:30 – 12:00 | Representation vs projection: two views on the nature of mathematical knowledge (Salle Internationale (324)) – David Rabouin (CNRS/SPHERE) | |
12:00 – 13:30 | Cognitive complexity and mathematical problem solving (Salle Internationale (324)) – Markus Pantzar (University of Helsinki) | |
13:30 – 14:45 | Déjeuner (hall) | |
14:45 – 16:15 | Virtual temporality of geometric objects. (Around the Ricci flow). (Salle Internationale (324)) – Yves André (CNRS/ Institut des Mathématiques Jussieu-Paris Rive Gauche) | |
16:15 – 16:30 | Pause (Salle Internationale (324)) | |
16:30 – 18:00 | Weyl, sets and arithmetical properties (Salle Internationale (324)) – Laura Crosilla (University of Leeds) | |
20:00 – 23:00 | Dîner pour les orateurs |
vendredi 6 octobre 2017
HEURES | ÉVÉNEMENT | (+) |
09:30 – 11:00 | Deducing false propositions from true ideas: Nieuwentijt on mathematical reasoning (Salle Internationale (324)) – Sylvia Pauw (Universiteit Gent) | |
11:00 – 11:15 | Pause (Salle Internationale (324)) | |
11:15 – 12:45 | Semantic Indeterminacy, Classical Mathematics, and the Sorites (Salle Internationale (324)) – Hannes Leitgeb (University of Munich) | |
12:45 – 14:00 | Déjeuner (hall) | |
14:00 – 15:30 | Frege’s Begriffsschrift and logicism (Salle Internationale (324)) – Bertran San Millán (The Czech Academy of Sciences) | |
15:30 – 17:00 | The Axiomatization of Space in the Early Modern Age (Salle Internationale (324)) – Vincenzo de Risi (Max Planck Institute for the History of Science) | |
17:00 – 17:15 | Pause (Salle Internationale (324)) | |
17:15 – 19:00 | Organisation du 10e FPMW (2018) – Réunion | |
20:00 – 23:00 | Dîner de gala |
samedi 7 octobre 2017
HEURES | ÉVÉNEMENT | (+) |
09:30 – 11:00 | Set theory and univalent foundations and their relative positions in the foundations of mathematics (G04) – Mirna Dzamonja (East Anglia Univ., Norwich) | |
11:00 – 11:15 | Pause (G04) | |
11:15 – 12:45 | Rationality in Mathematical Proofs (G04) – Yacin Hamami (Université Libre de Bruxelles) (joint work with Rebecca Morris, Stanford University) |