Une lecture technique de la syntaxe transcendantale

Boris Eng
LIPN, Paris 13
https://www.engboris.fr/

Date(s) : 30/09/2021   iCal
11 h 00 min - 12 h 30 min

Dans cet exposé, je présente une interprétation technique du projet de syntaxe transcendantale de Girard que j’ai réalisée avec Thomas
Seiller. Ce projet esquisse un modèle de calcul se trouvant à l’intersection de la programmation logique et des modèles de pavage. Girard propose d’utiliser ce modèle comme brique de base pour parler de la logique (linéaire) comme émergente plutôt que primitive. Ce projet est motivé par l’espoir d’une meilleure compréhension du logiquement correct.

Catégories



Retour en haut 

Secured By miniOrange