Compte tenu du confinement qui vient d’être décrété en France, le FPMW 12 (https://fpmw12.sciencesconf.org/program <https://fpmw12.sciencesconf.org/program>), initialement prévu du 5 au 7 novembre à Nancy, sera organisé entièrement en ligne et pour cette raison étendu aux après-midis de 5 jours :
les 5, 6, 7, 12 et 13 novembre.
Programme
Jeudi 5 novembre 2020
Heures / événement
14:15 – 14:30 Allocution de bienvenue – Gerhard Heinzmann (Université de Lorraine)
14:30 – 15:45 Husserl on formal mathematics and how it relates to intuition – Mjria Hartimo (University of Jyväskylä)
<https://fpmw12.sciencesconf.org/data/program/Hartimo_Abstract_1.pdf>
15:45 – 16:00 Pause
16:00 – 17:15 Cantorian Abstraction: Cardinal Numbers as Arbitrary Sets – Nicola Bonatti (University of St Andrews)
<https://fpmw12.sciencesconf.org/data/program/Bonatti_Abstract_1.pdf>
Vendredi 6 novembre 2020
Heures / événement
14:30 – 15:45 Formalisme, intuition et compréhension de l’algèbre abstraite : une approche d’épistémologie expérimentale – Thomas Hausberger (Université de Montpellier)
<https://fpmw12.sciencesconf.org/data/program/Hausberger_Abstract.pdf>
15:45 – 16:00 Pause
16:00 – 17:15 A Constructivist Reading of the Epsilon Calculus – Elio La Rosa (LMU Munich) / Mattia Petrolo (Federal University of ABC)
<https://fpmw12.sciencesconf.org/data/program/La_Rosa_Petrolo_Abstract_1.pdf>
Samedi 7 novembre 2020
Heures / événement
14:30 – 15:45 Bolzano’s Mathematical Infinite – Guillaume Massas (University of California, Berkeley) / Anna Bellomo (University of Amsterdam)
<https://fpmw12.sciencesconf.org/data/program/Massas_Bellomo_Abstract_1.pdf>
15:45 – 16:00 Pause
16:00 – 17:45 How Do Examples Contribute in Modern Mathematical Thought? – Kenneth Manders (University of Pittsburgh)
Jeudi 12 novembre 2020
Heures / événement
14:30 – 15:45 Rigueur heuristique, contrainte, contrôle – Bertrand Remy (Centre de Mathématiques Laurent Schwartz)
<https://fpmw12.sciencesconf.org/data/program/Remy_Abstract_1.pdf>
15:45 – 16:00 Pause
16:00 – 17:15 Informal and absolute provability: from Kreisel and Gödel to Prawitz and Girard – Antonio Piccolomini (Aix-Marseille Université) / Davide Catta (Université de Montpellier)
<https://fpmw12.sciencesconf.org/data/program/Piccolomini_Catta_Abstract_2.pdf>
17:30 Réunion des membres du GDR « Philosophie des mathématiques »
Vendredi 13 novembre 2020
Heures / événement
14:30 – 15:45 The Frege-Hilbert Controversy in Context – Tabea Rohr (Friedrich-Schiller-Universität Jena)
15:45 – 16:00 Pause
16:00 – 17:15 Mathematical Diagrams : A Kaplanian Account ? – Sébastien Gandon (Université Clermont Auvergne) / Gianluca Longa (Université Clermont Auvergne)
<https://fpmw12.sciencesconf.org/data/program/Gandon_Longa_Abstract_1.pdf>
17:15 – 17:30 Conclusions – Valeria Giardino
Pour y assister, veuillez écrire un e-mail à
Baptiste Mélès (baptiste.meles@univ-lorraine.fr <mailto:baptiste.meles@univ-lorraine.fr>),
Andrew Arana (andrew.arana@univ-lorraine.fr <mailto:andrew.arana@univ-lorraine.fr>) ou
Valeria Giardino (valeria.giardino@univ-lorraine.fr <mailto:valeria.giardino@univ-lorraine.fr>), qui vous fourniront les informations nécessaires pour vous connecter aux conférences (veuillez mentionner » FPMW12 « comme « objet » du message).
Comité scientifique : Julien Bernard, Paola Cantù, Emmylou Haffner, Brice Halimi, Jean-Baptiste Joinet, Jean-Pierre Marquis, Sébastien Maronne, Marco Panza, Frédéric Patras, Jean-Jacques Szczeciniarz.
Comité d’organisation : Gerhard Heinzmann, Baptiste Melès, Valeria Giardino, Andrew Arana.
Le colloque est organisé par Les Archives Henri-Poincaré (UMR 7117), et soutenu par le GDR « Philosophie des mathématiques” et le projet ANR/DFG “FFIUM”.