Chères toutes et chers tous,
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 ([email protected] <mailto:[email protected]>), Andrew Arana ([email protected] <mailto:[email protected]>) ou Valeria Giardino ([email protected] <mailto:[email protected]>), 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”. Bien cordialement Gerhard Heinzmann -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html
