Is the number omega a mathematical oracle?
21:15
What is the Moebius function? #SomePi
14:31
La solidité et l’exhaustivité de la logique
26:17
Turing Machine Alternative (Counter Machines) - Computerphile
17:46
Lawrence: Elon Musk is the biggest loser in Donald Trump's world war on economic sanity
31:33
The Oldest Unsolved Problem in Math
10:45
The Man Who Solved the $1 Million Math Problem...Then Disappeared
20:14
How to unify logic & arithmetic
46:41