Program

Week Wed. 19 Thu. 20 Fri. 21 List

	Wed. 19	Thu. 20	Fri. 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 Coffee break 10:30 - 11:00 (30min) Coffee break 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 Lunch break 12:30 - 14:00 (1h30) Lunch break 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 Break 15:30 - 16:00 (30min) Break 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 Coffee break 10:30 - 11:00 (30min) Coffee break Functions 11:00 - 12:30 (1h30) Functions Göran Sundholm (Université de Leiden) https://fpmw14.sciencesconf.org/data/program/Sundholm_abstract.pdf Lunch break 12:30 - 14:00 (1h30) Lunch break 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 Break 15:30 - 16:00 (30min) Break 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 Meeting of the members of the GDR Philosophie des Mathématiques 17:45 - 19:00 (1h15) Meeting of the members of the 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 Coffee break 10:30 - 11:00 (30min) Coffee break 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

Online user: 1

Privacy