[ATHENA] 9ème École Thématique du GDR PhilMath - "Computation et algorithmes : anciens et nouveaux enjeux pour la philosophie des mathématiques"

[Alberto Naibo <Alberto.Naibo AT univ-paris1.fr>]

Chères et chers collègues, 

Nous avons le plaisir de vous annoncer la tenue de la 9ème École Thématique Philosophie et mathématiques contemporaines du GDR "Philosophie des mathématiques" (PhilMath), qui aura pour thème:

« Computation et algorithmes : anciens et nouveaux enjeux pour la philosophie des mathématiques ».

Elle aura lieu au Centre Culturel de Rencontres en Forez (Château de Goutelas), du 27 juin au 1er juillet 2022.

Cette édition de l'école thématique est organisée par Jean-Baptiste Joinet et Alberto Naibo, avec le soutien du projet ANR Geometry of Algorithms (GoA) hébergé à l'IHPST (UMR 8590) et de l'IRPhiL (univ. Jean Moulin Lyon 3). 

L'école est ouverte non seulement aux collègues intéressé.e.s par le champ de la philosophie des mathématiques, de l'informatique et de la logique, qu'il s'agisse de philosophes des sciences ou de scientifiques (membres ou non du GDR PhilMath), mais également aux doctorant.e.s, voire aux étudiant.e.s de Master, relevant de ce champ. 

La participation est soumise à candidatures. Vous trouverez sur le site du GDR le formulaire de candidature (ainsi que des informations plus détaillées) à renvoyer au plus tard le 18 février 2022 :

https://philmath.hypotheses.org/630-2

Vous trouverez ci-dessous une brève présentation de l'école.

Bien cordialement,
Jean-Baptiste Joinet et Alberto Naibo

-----------------------------

Brève présentation de l'École Thématique :
 

Comme pour plusieurs éditions passées de l’École de Recherche Thématique annuelle du GDR PhilMath, le format prévu associe : 

• des exposés de formation intensive (à destination de jeunes chercheur.euse.s – doctorant.e.s – et de collègues philosophes des mathématiques), 
• des tables-rondes autour d’ouvrages récents dans le champ (deux en l’occurrence), 
• des conférences de recherche contemporaine.  

 

L’ensemble des exposés et interventions se dérouleront en français. Cette année, l’École se focalisera sur la réflexion sur des notions fondamentales d’algorithmes et de computation, dont le rôle est central dans la pratique mathématique, en étudiant leurs évolutions contemporaines sous le regard de l’informatique théorique et de la logique, et en essayant ainsi de comprendre la place que ces notions occupent dans les débats actuels en philosophie des mathématiques, à l’interface de la philosophie de la logique et de l’informatique. L’École sera organisée autour de quatre journées thématiques, selon la programmation suivante :

 

MARDI 28/06 (9h-18h). Emergence et actualité de la computation comme objet mathématique : calculabilité/complexité

 

MERCREDI  29/06 (9h-15h30). Computation et logique : correspondance preuves-programmes

 

JEUDI 30/06 (9h30-18h15). Niveaux d’abstraction : abstraction mathématique et computation, types et algorithmes

 

VENDREDI 01/07 (9h-13h). Géométrie, constructivité, algorithmes

Une dizaine d’orateurs et d'oratrices interviendront, parmi lesquels (orateurs confirmés) : Walter Dean, Gilles Dowek, Jean-Baptiste Joinet, Paolo Mancosu, Damiano Mazza, Baptiste Mélès, Paolo Pistone, David Rabouin, Thomas Seiller.

 

Deux tables-rondes seront organisées : 

• Table-ronde 1 (animée par Paola Cantù) autour de : 

Anthologie de la calculabilité, sous la direction de Michel Bourdeau et Jean Mosconi, Cassini, Paris, 2022 (sortie prévue au printemps)

• Table-ronde 2 (animée par Sébastien Maronne) autour de :

 Précis de philosophie de la logique et des mathématiques, sous la direction de Francesca Poggiolesi et Pierre Wagner (vol. 1), Andrew Arana et Marco Panza (vol. 2), Éditions de la Sorbonne, Paris, 2021 (vol. 1) et 2022 (vol. 2).