La solidité et l’exhaustivité de la logique
21:54
Is the number omega a mathematical oracle?
21:58
Group theory, abstraction, and the 196,883-dimensional monster
26:34
Techniques of Integration II
21:15
What is the Moebius function? #SomePi
17:58
What P vs NP is actually about
20:34
Perceptron | Gradient Descent
20:14
How to unify logic & arithmetic
16:31