CNRS
Suivez-nous sur

Rechercher





Accueil > Agenda > Archives agenda > Archives 2020

WORKSHOP FPMW 12

FPMW 12

Douzième Rencontre Française de Philosophie des Mathématiques

L’après-midi des jours suivants : 5-6-7 et 12-13 nov. 2020 - Université de Lorraine, Nancy. Exclusivement en visio-conférence.

Le programme des précédentes éditions du colloque peut être consulté ici :

https://philmath.hypotheses.org/fpmw

Le site de la conférence se trouve à l’adresse suivante :
https://fpmw12.sciencesconf.org/


Compte tenu du confinement qui vient d’être décrété en France, le FPMW 12 (https://fpmw12.sciencesconf.org/program) sera organisé entièrement en ligne et pour cette raison étendu aux après-midi de 5 jours :
les 5, 6, 7, 12 et 13 novembre.


Programme :

- Jeudi 5 novembre 2020

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ä)
15:45 - 16:00 Pause
16:00 - 17:15 Cantorian Abstraction : Cardinal Numbers as Arbitrary Sets - Nicola Bonatti (University of St Andrews)

- Vendredi 6 novembre 2020

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)
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)

- Samedi 7 novembre 2020

14:30 - 15:45 Bolzano’s Mathematical Infinite - Guillaume Massas (University of California, Berkeley) / Anna Bellomo (University of Amsterdam)
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

14:30 - 15:45 Rigueur heuristique, contrainte, contrôle - Bertrand Remy (Centre de Mathématiques Laurent Schwartz)
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)
17:30 Réunion des membres du GDR "Philosophie des mathématiques"

- Vendredi 13 novembre 2020

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)
17:15 - 17:30 Conclusions - Valeria Giardino


Pour y assister, veuillez écrire un e-mail à

  • Baptiste Mélès (baptiste.meles@univ-lorraine.fr),
  • Andrew Arana (andrew.arana@univ-lorraine.fr) ou
  • Valeria Giardino (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”.



Twelfth French PhilMath Workshop (FPMW 12)

Given the lockdown just started in France, FPMW 12 https://fpmw12.sciencesconf.org/program) will be organized totally on-line and for this reason extended to the afternoons of 5 days :
November 5, 6, 7, 12, 13.


Programme :

- Jeudi 5 novembre 2020

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ä)
15:45 - 16:00 Pause
16:00 - 17:15 Cantorian Abstraction : Cardinal Numbers as Arbitrary Sets - Nicola Bonatti (University of St Andrews)

- Vendredi 6 novembre 2020

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)
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)

- Samedi 7 novembre 2020

14:30 - 15:45 Bolzano’s Mathematical Infinite - Guillaume Massas (University of California, Berkeley) / Anna Bellomo (University of Amsterdam)
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

14:30 - 15:45 Rigueur heuristique, contrainte, contrôle - Bertrand Remy (Centre de Mathématiques Laurent Schwartz)
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)
17:30 Réunion des membres du GDR "Philosophie des mathématiques"

- Vendredi 13 novembre 2020

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)
17:15 - 17:30 Conclusions - Valeria Giardino

To attend, please write an e-mail to

  • Baptiste Mélès (baptiste.meles@univ-lorraine.fr),
  • Andrew Arana (andrew.arana@univ-lorraine.fr) or
  • Valeria Giardino (valeria.giardino@univ-lorraine.fr),
    who will provide you with the necessary information to connect you to the conference (please mention « FPMW12 » in the body of the message).

Scientific Committee : 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.

Organizing Committee : Gerhard Heinzmann, Baptiste Mélès, Valeria Giardino, Andrew Arana.

The conference is organized by “The Henri-Poincaré Archives” (UMR 7117), and supported by the project “FFIUM” (ANR/DFG) and the GDR “Philosophie des mathématiques”.

Agenda

Ajouter un événement iCal