SHM - Constructivismes en mathématiques

Collection SHM - Constructivismes en mathématiques

Organisateur(s)

Date(s) 16/01/2015 - 16/01/2015

00:00:00 / 00:00:00

2 6

Théorie des types et mathématiques constructives

De Thierry Coquand

Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »

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)

Histoire et perspectives

Dernières questions liées sur MathOverflow

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

Poser une question sur MathOverflow

Toutes les vidéos de la collection

56:50

publiée le 16 janvier 2015

La Géométrie de Descartes et la transformation des constructions recevables en géométrie »

De Alain Herreman

57:43

publiée le 16 janvier 2015

Théorie des types et mathématiques constructives

De Thierry Coquand

57:57

publiée le 16 janvier 2015

Méthodes constructives en algèbre abstraite : l'exemple de la dimension

De Marie-Françoise Roy

01:05:40

publiée le 16 janvier 2015

Foundations of Constructive Analysis, Bishop, 1967 : une refondation des mathématiques, constructive, minimaliste et révolutionnaire

De Henri Lombardi

50:10

publiée le 16 janvier 2015

Effectivité et généralité dans la construction des grandeurs algébriques de Kronecker

De Frédéric Brechenmacher

Copyright Carmin.tv 2025

Donner son avis