L'axiome d'univalence | Infini 25
20:33
La théorie des types | Infini 24
24:43
Les théorèmes d'incomplétude de Gödel | Infini 18
10:24
Why Schrödinger's Cat Isn't What You Think
10:45
The Man Who Solved the $1 Million Math Problem...Then Disappeared
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
15:19
Les maisons numérotées de Ramanujan | Infini 6
18:19
SYRACUSE: THE $850,000 PROOF!
30:08