Ecole de recherche Hybride

Logique et transdisciplinarité : Mathématiques/Informatique/ Philosophie/Linguistique du 7 au 11 février 2022


L’objectif de cette semaine est de dresser un tableau de la situation de la logique à l’interface de plusieurs disciplines : mathématiques, informatique, philosophie, linguistique.

Sept demi-journées seront consacrées à des cours présentant une série de thèmes choisis :
1. Logique, Langage, Représentation
2. Complétude
3. Incomplétude
4. Correspondance Curry-Howard-Lambek
5. Preuves et sens
6. À la recherche de l’essence des preuves avec leur représentation mathématique 7. Sens et Interaction

Deux après-midi seront consacrés à des présentations de recherche par des conférenciers invités qui présenteront des approches alternatives et récentes, montrant ainsi l’actualité des questions abordées lors des cours.

L’objectif de cette semaine est de porter un regard sur la situation de la logique à la frontière de plusieurs disciplines : les mathématiques, l’informatique, la philosophie, la linguistique.
L’essentiel de la semaine, sous forme de cours, sera total à la présentation des questions que nous avons choisi de mettre en lumière :
1. Logique, langage, représentation
2. Complétude
3. Incomplétude
4. Correspondance de Curry-Howard-Lambek
5. Preuves et sens
6. Recherche de l’essence des preuves par leur représentation mathématique
7. Sens et interaction.

Deux après-midi seront consacrés à des exposés de recherche par des orateurs invités afin d’ouvrir et d’élargir les thématiques suggérées.


Plus d’informations et inscriptions sur : https://conferences.cirm-math.fr/26...

SITE TEMPORAIRE – SITE EN TRAVAUX