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

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

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)
 

dimanche 8 novembre 2020

Heures événement  

lundi 9 novembre 2020

Heures événement  

mardi 10 novembre 2020

Heures événement  

mercredi 11 novembre 2020

Heures événement  

jeudi 12 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  
  
Personnes connectées : 1