Lundi 3 décembre 2018 - 10:30 - 17:15
Nancy, MSH Lorraine (salle internationale, 324)
Programme:
- 10h30 - 12h Mate Szabo (AHP-PreST), Kreisel's Genetic Theories and Church's Thesis
- 12h - 14h déjeuner
- 14h - 15h30 Marianna Antonutti Marfori (MCMP-LMU), Formalisation and Reduction: Lessons from the relativised Hilbert program
- 15h45 - 17h15 Pierre Wagner (Paris 1 Panthéon Sorbonne-IHPST), Carnap on incompleteness and the unity of formal science
Manifestation organisée dans le cadre du projet ANR-DFG FFIUM (Formalism, Formalization, Intuition and Understanding in Mathematics)
Contact: