La théorie des types | Infini 24
17:57
L'axiome d'univalence | Infini 25
16:48
Certains ensembles sont ni finis, ni infinis ! Infini 23
18:28
Les théorèmes d'incomplétude de Gödel
26:20
A Sensible Introduction to Category Theory
17:29
4 paradoxes de la logique mathématique | Infini 17
11:10
One minus one plus one minus one - Numberphile
18:25
L'épreuve de mathématique la plus terrifiante (ENS 1966)
16:04