Type theory and the algebra of types
20:14
How to unify logic & arithmetic
21:15
What is the Moebius function? #SomePi
19:17
Complex numbers as matrices | Representation theory episode 1
25:05
Ranking Paradoxes, From Least to Most Paradoxical
14:31
La solidez y completitud de la lógica
22:37
Monoids | Group theory episode 1
28:30
Crash Course on Monte Carlo Simulation
22:06