Programme
$this->view->showPaper = (int)$this->planning->showPapers();
| 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ä) |
|
|
15:45 - 16:00
|
Pause |
|
|
16:00 - 17:15
|
Cantorian Abstraction: Cardinal Numbers as Arbitrary Sets - Nicola Bonatti (LMU Munich) |
|
| 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) |
|
|
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) |
|
| Heures |
événement |
(+)
|
|
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:15
|
How Do Examples Contribute in Modern Mathematical Thought? - Kenneth Manders (University of Pittsburgh) |
|
mercredi 11 novembre 2020
| Heures |
événement |
(+)
|
|
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:15 - 17:30
|
Pause |
|
|
17:30 - 18:30
|
Philosophie des Mathématiques - Réunion GDR |
|
vendredi 13 novembre 2020
| Heures |
événement |
(+)
|
|
14:30 - 15:45
|
The Frege-Hilbert Controversy in Context - Tabea Rohr (Archives Henri-Poincaré) |
|
|
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 |
|
|
