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)  

Friday, November 6, 2020

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)  

Sunday, November 8, 2020

Time Event (+)

Monday, November 9, 2020

Time Event (+)

Tuesday, November 10, 2020

Time Event (+)

Wednesday, November 11, 2020

Time Event (+)

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  
  
Online user: 26 Privacy
Loading...