[Educasup] IHPST June 13 & 14 2019 - Formalisation vs. Meaning in Mathematics : Formal theories as tools for understanding Themes from the work of Göran Sundholm

*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

[Educasup] Formalisation vs. Meaning in Mathematics : Formal th eories as tools for understanding Themes from the work of G öran Sundholm

*Formalisation vs. Meaning in Mathematics: Formal theories as tools for understanding* *Themes from the work of Göran Sundholm.* Day 1 - June 13th, 2019 - IHPST, Salle de Conférences *Chair: Maria van der Schaar* 9.00 - 10.30 *Giuseppe Primiero*, *From Proof to Designs* 10.30 - 10.45 Coffee

[Educasup] Vendredi 17 mai 2019 Journée d'études : Autour de Louis Rougier IHPST Paris 6ème arrondissement

Bien qu'il ait joué un rôle central dans la réception, ou non-réception, du néo-positivisme en France, l'oeuvre de Louis Rougier continue à être assez largement méconnue. Il y a quelque temps déjà, un important colloque lui fut consacré à Genève. La présente journée d'études vise à mieux cerner