Bonjour,
l’Atelier FFIUM prévu pour demain mardi 17 décembre est maintenu, mais il a été déplacé à l’IHPST, au 13 rue du Four. En raison des grèves des transports annoncées pour le 17, l'hommage à Michael Detlefsen est reporté à une date ultérieure. Atelier FFIUM, Mardi 17 Decémbre 2019 IHPST, 13 rue du Four Salle de conférence 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" 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 | https://sites.google.com/view/ffium/accueil ] ). Il giorno 09 dic 2019, alle ore 17:27, Valeria Giardino <[email protected]> ha scritto: 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 | 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 ] ---------------------- Valeria Giardino [ 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
