2014 - T2 - Semantics of proofs and certified mathematics

Collection 2014 - T2 - Semantics of proofs and certified mathematics

Organisateur(s)
Date(s) 15/05/2024
00:00:00 / 00:00:00
5 16

Univalent Foundations - new type-theoretic foundations of mathematics

De Vladimir Voevodsky

Apparaît également dans la collection : Fields medallists - 2002

Vladimir Voevodsky (Institute for Advanced Study, Princeton): Univalent Foundations - new type-theoretic foundations of mathematics

Informations sur la vidéo

  • Date de publication 23/04/2014
  • Institut IHP
  • 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