FFIUM Project Closing Workshop
15.09.2022 – 16.09.2022
The German closing workshop for the project FFIUM (Formalism, Formalization, Intuition and Understanding in Mathematics) will take place on September 15th and 16th at the Munich Center for Mathematical Philosophy.
The project aims to investigate the epistemic aspects of formalisation, and in particular how the process of formalisation contributes to a deeper understanding of a domain of reasoning. The investigation of mathematical practice and what makes it rigorous is the main, but not the exclusive, domain of interest for the project.