00:00:00 / 00:00:00

Qu'est-ce qu'une réponse ? (l'analytique) 1/3

De Jean-Yves Girard

Apparaît dans la collection : 2014 - T2 - Semantics of proofs and certified mathematics

IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014

Informations sur la vidéo

  • Date de captation 24/04/2014
  • Date de publication 24/04/2014
  • Institut IHP
  • Licence CC BY-NC-ND
  • Format MP4

Dernières questions liées sur MathOverflow

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

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis