Deux ou trois choses que je sais d'elle : la logique | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Deux ou trois choses que je sais d'elle : la logique

De Jean-Yves Girard

Apparaît dans la collection : Linear Logic Winter School / École d'hiver de logique linéaire

Nul besoin de système logique, telle est la leçon de la linéarité.

Informations sur la vidéo

Date de captation 28/01/2022
Date de publication 14/02/2022
Institut CIRM
Licence CC BY NC ND
Langue Français
Audience Chercheurs, Doctorants
Réalisateur(s) Guillaume Hennenfent
Format MP4

Données de citation

DOI 10.24350/CIRM.V.19882403
Citer cette vidéo Girard, Jean-Yves (28/01/2022). Deux ou trois choses que je sais d'elle : la logique. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19882403
URL https://dx.doi.org/10.24350/CIRM.V.19882403

Domaine(s)

Logique

Codes MSC

Document(s)

https://www.cirm-math.fr/RepOrga/2685/Slides/Cirm2022.pdf

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Copyright Carmin.tv 2025

Donner son avis