Programme
| Heures |
événement |
|
|
09:00 - 10:30
|
Qu'est-ce que la combinatoire chez Leibniz ? - Arilès Remaki (SPHERE, Paris) |
|
|
10:30 - 11:00
|
Pause café |
|
|
11:00 - 12:30
|
The Multiverse Operator, A generalisation of the set theoretic multiverse - Matteo de Ceglie (Salzburg University) |
|
|
12:30 - 14:00
|
Pause déjeuner |
|
|
14:00 - 15:30
|
Intuitionistic inductive definitions - Mark van Atten (CNRS, Ecole Normale Supérieure) |
|
|
15:30 - 16:00
|
Pause |
|
|
16:00 - 17:30
|
Varieties of Mathematical Understanding - Jessica Carter (Université d'Aarhus) |
|
| Heures |
événement |
|
|
09:00 - 10:30
|
Arbitrary Abstraction and Logicality - Ludovica Conti (Northwestern Italian Philosophy Consortium) |
|
|
10:30 - 11:00
|
Pause café |
|
|
11:00 - 12:30
|
Functions - Göran Sundholm (Université de Leiden) |
|
|
12:30 - 14:00
|
Pause déjeuner |
|
|
14:00 - 15:30
|
A brief overview of tropical geometry - Erwan Brugallé (Nantes Université) |
|
|
15:30 - 16:00
|
Pause |
|
|
16:00 - 17:30
|
Reasoning by Analogy in Mathematical Practice - Francesco Nappo and Nicolò Cangiotti (Politecnico di Milano) |
|
|
17:45 - 19:00
|
Réunion des membres du GDR Philosophie des Mathématiques |
|
| Heures |
événement |
|
|
09:00 - 10:30
|
In which sense H. Weyl’s “Creative definitions” generalizes Peano school’s “Definitions by abstraction” ? - Jean-Baptiste Joinet (Université Lyon III Jean Moulin) |
|
|
10:30 - 11:00
|
Pause café |
|
|
11:00 - 12:30
|
The Theory of Grossone and the Continuum Problem - Claudio Ternullo (Universitat de Barcelona) and Yaroslav Sergeyev (Università della Calabria) |
|
|
Chargement...