Programme

Semaine Mer. 19 Jeu. 20 Ven. 21 Liste

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

Personnes connectées : 1

Vie privée