Planning
$this->view->showPaper = (int)$this->planning->showPapers();
Thursday, November 5, 2020
| Time |
Event |
(+)
|
|
14:15 - 14:30
|
Welcoming address - 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
|
Break |
|
|
16:00 - 17:15
|
Cantorian Abstraction: Cardinal Numbers as Arbitrary Sets - Nicola Bonatti (LMU Munich) |
|
| Time |
Event |
(+)
|
|
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
|
Break |
|
|
16:00 - 17:15
|
A Constructivist Reading of the Epsilon Calculus - Elio La Rosa (LMU Munich) / Mattia Petrolo (Federal University of ABC) |
|
Saturday, November 7, 2020
| Time |
Event |
(+)
|
|
14:30 - 15:45
|
Bolzano’s Mathematical Infinite - Guillaume Massas (University of California, Berkeley) / Anna Bellomo (University of Amsterdam) |
|
|
15:45 - 16:00
|
Break |
|
|
16:00 - 17:15
|
How Do Examples Contribute in Modern Mathematical Thought? - Kenneth Manders (University of Pittsburgh) |
|
Tuesday, November 10, 2020
Wednesday, November 11, 2020
Thursday, November 12, 2020
| Time |
Event |
(+)
|
|
14:30 - 15:45
|
Rigueur heuristique, contrainte, contrôle - Bertrand Remy (Centre de Mathématiques Laurent Schwartz) |
|
|
15:45 - 16:00
|
Break |
|
|
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
|
Break |
|
|
17:30 - 18:30
|
Philosophy of Mathematics - Réunion GDR |
|
Friday, November 13, 2020
| Time |
Event |
(+)
|
|
14:30 - 15:45
|
The Frege-Hilbert Controversy in Context - Tabea Rohr (Archives Henri-Poincaré) |
|
|
15:45 - 16:00
|
Break |
|
|
16:00 - 17:15
|
Mathematical Diagrams: A Kaplanian Account? - Sébastien Gandon (Université Clermont Auvergne) / Gianluca Longa (Université Clermont Auvergne) |
|
|
17:15 - 17:30
|
Closing remarks - Valeria Giardino |
|
|
