Mercredi 6 juin 2018 - 11:00 - 19:00
Nancy, MSH Lorraine (salle internationale, 324)
Programme:
- 11h : Jean-Jacques Szczeciniarz (Université Paris7-Denis Diderot), "Démonstrations informelles, démonstrations conceptuelles, définitions en mathématiques"
- 14h30 : Sylvain Moraillon (Archives Henri-Poincaré - Philosophie et Recherches sur les Sciences et les Technologies), "Mathematical understanding according to Poincaré : topology as a case study"
- 17h : (cycle des Grandes conférences des Archives Poincaré) Michael Detlefsen (Université Notre-Dame, département de philosophie), "Formalism: Consistency, Rigor and the Observation of Reasoning"
Manifestation organisée dans le cadre du projet ANR/DFG "FORMALISM, FORMALISATION, INTUITION AND UNDERSTANDING IN MATHEMATICS" (FFIUM)
Contact: