L'école de recherche thématique « Computation et algorithmes : anciens et nouveaux enjeux pour la philosophie des mathématiques » se tiendra du 27 juin au 1er juillet 2022 à Marcoux, au château de Goutelas.
Outre le GDR PhilMath et l'ANR GoA, l'événement a reçu le soutien de l'IRPhiL (EA 4187 Univ. Jean Moulin Lyon 3), de l'IHPST (UMR 8590 CNRS-Univ. Paris 1 Panthéon-Sorbonne), de SPHERE (UMR 7219, CNRS-Univ. Paris Cité), des Archives Henri-Poincaré (UMR 7117, CNRS-Univ. de Lorraine), de l'ERC PHILIUMM et du LIPN (UMR 7030, CNRS-Univ. Sorbonne Paris Nord)
Description de l'école
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 chercheurs – doctorants – et de collègues philosophes des mathématiques),
des tables-rondes autour d’ouvrages récents dans le champ,
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.