Bonjour,
Vous trouverez ci-dessous le programme de l'atelier de projet FFIUM
("Formalisme, formalisation, intuition en mathématiques") le 17 Decémbre 2019 à
Paris, Centre Broca (21 rue Broca, 75005). L'atelier est organisé par Marianna
Antonutti (MCMP Munich) et Marco Panza (IHPST) et financé par le projet ANR/DFG
"Formalisme, formalisation, intuition et compréhension en mathématiques" (FFIUM
: https://sites.google.com/view/ffium/accueil). N’hésitez pas à le transmettre
à d’autres collègues qui pourraient être intéressés !
Les exposés seront en anglais.
Atelier FFIUM, Mardi 17 Decémbre 2019
Centre Broca, salle B107
21, rue Broca, 75005 Paris
9:15 - 10:30 – Benedict Eastaugh, "Recursive Counterexamples and the
Foundational Standpoint"
10:30 - 10:45 – Pause café
10:45 - 12:00 – Walter Dean, "Bernays and the Frege-Hilbert controversy"
12:00 - 13:30 – Déjeuner
13:30 - 14:45 – Alan Weir, "Informal Proof, Feasible Proof and Formalism"
14:45 - 15:00 – Pause café
15:00 - 16:15 – Marianna Antonutti, "Intuition, Understanding, and Proof in
Afanassjewa's Approach to Geometry"
16:15 - 16:30 – Pause café
16:30 - 17:30 – Hommage à Mic Detlefsen
19:00 – Dîner
--
Valeria Giardino
Chargée de Recherche (CR2)
Centre National de la Recherche Scientifique
Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri-Poincaré
UMR 7117 CNRS - Université de Lorraine
91 avenue de la Libération
BP 454. F-54001 NANCY Cedex
[ http://valeria.giardino.googlepages.com/ |
http://valeria.giardino.googlepages.com/ ]
[ http://diagrambasedreasoning.wordpress.com/ |
http://diagrambasedreasoning.wordpress.com/ ]
Editor of Aphex on Line
[ http://www.aphex.it/ | www.aphex.it ]
--
https://www.vidal-rosset.net/Mailing_list_educasupphilo.html
