SHM - Constructivismes en mathématiques

Collection SHM - Constructivismes en mathématiques

Organizer(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

By Thierry Coquand

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

Information about the video

Date of recording 16/01/2015
Date of publication 16/01/2015
Institution IHP
Licence CC BY-NC-ND
Format MP4

Domain(s)

History and Overview

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

All the collection videos

56:50

published on January 16, 2015

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

By Alain Herreman

57:43

published on January 16, 2015

Théorie des types et mathématiques constructives

By Thierry Coquand

57:57

published on January 16, 2015

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

By Marie-Françoise Roy

01:05:40

published on January 16, 2015

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

By Henri Lombardi

50:10

published on January 16, 2015

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

By Frédéric Brechenmacher

Copyright Carmin.tv 2026

Give feedback