Théorie des types et mathématiques constructives
Apparaît également dans la collection : SHM - Constructivismes en mathématiques
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
Mathématiques
et Interactions
Informations sur la vidéo
- Date de captation 16/01/2015
- Date de publication 16/01/2015
- Institut IHP
- Licence CC BY-NC-ND
- Format MP4
Domaine(s)
Dernières questions liées sur MathOverflow
Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflowPoser une question sur MathOverflow
-
Toutes les vidéos de la collection
![SHM - Résultats et problèmes en histoire des sciences mathématiques]()
6 videospubliée le 18 octobre 2019SHM - Résultats et problèmes en histoire des sciences mathématiques
![SHM - L'Héritage d'Alexandre Grothendieck]()
3 videospubliée le 11 mars 2016SHM - L'Héritage d'Alexandre Grothendieck
![SHM - Bibliothèques et bibliothécaires au XIXe siècle]()
4 videospubliée le 5 juin 2015SHM - Bibliothèques et bibliothécaires au XIXe siècle
![SHM - Constructivismes en mathématiques]()
5 videospubliée le 16 janvier 2015SHM - Constructivismes en mathématiques
![SHM - Histoire des équations aux dérivées partielles : méthodes numériques et analytiques]()
2 videospubliée le 4 novembre 2016SHM - Histoire des équations aux dérivées partielles : méthodes numériques et analytiques
![SHM - Journée de la Revue d’histoire des mathématiques]()
6 videospubliée le 1 décembre 2017SHM - Journée de la Revue d’histoire des mathématiques
![SHM - Journée Lagrange]()
7 videospubliée le 17 mai 2013SHM - Journée Lagrange
![SHM - Les géométries non euclidiennes]()
4 videospubliée le 22 mai 2015SHM - Les géométries non euclidiennes
![SHM - Les Metrica de Héron d’Alexandrie et la géométrie de la mesure en Grece ancienne]()
1 videopubliée le 27 novembre 2015SHM - Les Metrica de Héron d’Alexandrie et la géométrie de la mesure en Grece ancienne
![SHM - Mathématiques aux États-Unis dans la première moitié du XXe siècle et leurs relations avec l'Europe]()
2 videospubliée le 16 décembre 2016SHM - Mathématiques aux États-Unis dans la première moitié du XXe siècle et leurs relations avec l'Europe
![SHM - Maurice d’Ocagne (1862-1938)]()
3 videospubliée le 20 mars 2015SHM - Maurice d’Ocagne (1862-1938)
![SHM - What’s Modern about the Mathematics Used in a Modern War ?]()
52:39publiée le 15 janvier 2016SHM - What’s Modern about the Mathematics Used in a Modern War ?
De David Aubin
![SHM - Pratiques d’éditions en mathématiques au XIXe siècle]()
01:58:06publiée le 27 mai 2016SHM - Pratiques d’éditions en mathématiques au XIXe siècle
![SHM - Enseignements et productions mathématiques (XIXe-XXe siècles)]()
01:58:56publiée le 1 avril 2016SHM - Enseignements et productions mathématiques (XIXe-XXe siècles)
![SHM - Pratiques de mathématiques face à l'ordinateur]()
1 videopubliée le 23 mai 2014SHM - Pratiques de mathématiques face à l'ordinateur
![SHM - Colloque d'histoire des sciences : Gaston Darboux (1842-1917)]()
4 videospubliée le 17 novembre 2017SHM - Colloque d'histoire des sciences : Gaston Darboux (1842-1917)
-
Suggestions
![What is geometry? Some case studies in 19th- and 20th-century mathematics]()
47:23publiée le 24 février 2026What is geometry? Some case studies in 19th- and 20th-century mathematics
De Rossana Tazzioli , Ciro Ciliberto
![Telling Math Stories With Graphics]()
![How Not to Draw a Sphere]()
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
