A (very) Brief History of Kurt Gödel
25:42
A Brief History of Alan Turing (Imitation Game)
22:11
A (very) Brief History of Bertrand Russell
27:57
Gödel's Argument for God
58:16
Limits of Logic: The Gödel Legacy
18:28
Les théorèmes d'incomplétude de Gödel
25:44
A (very) Brief History of John von Neumann
12:21
The Mathematician Who Discovered Math's Greatest Mystery
1:58:33