*Formalisation vs. Meaning in Mathematics : Formal theories as tools for
understanding*
*Themes from the work of G**ö**ran Sundholm*
*Address : 13, rue du four 75006 Paris - 2nd floor *
*Marco Panza : **panza...@gmail.com *
*Day 1* - *June 13th, 2019* - IHPST, Salle de conférences
*Chair
*Formalisation vs. Meaning in Mathematics : Formal theories as tools for
understanding*
*Themes from the work of G**ö**ran Sundholm*
*Address : 13, rue du four 75006 Paris - 2nd floor *
*Marco Panza : **panza...@gmail.com *
*Day 1* - *June 13th, 2019* - IHPST, Salle de conférences
*Chair