De la logique catégorique à la complexité descriptive catégorique [LSC]
Baptiste Chanus
LIPN, Sorbonne Paris Nord
Date(s) : 24/04/2025 iCal
11h00 - 12h30
La catégorie syntaxique est une construction qui permet de raisonner sur la
logique à l’aide des outils de la théorie des catégories. D’un autre côté, la
complexité descriptive fait le lien entre l’expressivité du langage logique et
la complexité algorithmique des problèmes. Je vais introduire les construction
liées à la catégorie syntaxique et montrer comment on peut parler de
complexité comme en utilisant des propriétés catégoriques.
Emplacement
Luminy - LIS, salle 04.05
Catégories
