Formalisation des mathématiques et preuves assistées par ordinateur

Cette journée d’études vise à offrir un regard historique et philosophique sur la question de la formalisation des mathématiques, en particulier sur l’emploi de méthodes algorithmiques et d'ordinateurs dans la rédaction et la vérification des démonstrations.

Cette journée s’inscrit dans le cadre des travaux menés au sein du séminaire d’Histoire et Philosophie de l’Informatique et du Calcul (HEPIC), organisé par Liesbeth de Mol (Univ. Lille, STL - UMR 8163) et Alberto Naibo (Univ. Paris 1, IHPST - UMR 8590), avec le soutien du projet ANR « La géométrie des algorithmes - GoA ».

Programme
 

11h00-12h15 : Emmylou Haffner (CNRS, ITEM - UMR 8132), « Des calculs aux concepts, éléments de genèse dedekindienne » 

12h15-14h00 : pause déjeuner

14h00-15h15 : Assia Mahboubi (INRIA, Équipe Gallinette, Nantes), « Mathématiques assistées par ordinateur, de l'exploration à la démonstration »

15h15-15h30 : pause café

15h30-16h45 : Fabrice Issac (Univ. Sorbonne Paris Nord, TTN) et Stéphane Lamassé (Univ. Paris 1, LaMOP - UMR 8589), « Écrire et penser les mathématiques au XVe siècle : l'exemple de Nicolas Chuquet »
 

Un lien Zoom est disponible pour qui souhaite suivre l'atelier en distanciel :

https://pantheonsorbonne.zoom.us/j/92075258220?pwd=cFBwbTZMcXloZWREUDQxNTFZMERmQT09

ID réunion: 920 7525 8220

Passcode: 127416