How to unify logic & arithmetic

21:15
What is the Moebius function? #SomePi

21:54
Is the number omega a mathematical oracle?

19:37
Is this the Coolest Approximation for e?

28:28
I never understood where octet rule comes from, until now!

15:22
Type theory and the algebra of types

15:24
Romanian Mathematics Olympiad

33:37
Something Strange Happens When You Trust Quantum Mechanics

26:14