A solidez e a completude da lógica
25:05
Ranking Paradoxes, From Least to Most Paradoxical
20:14
How to unify logic & arithmetic
19:31
Um Princípio Universal da Função Cerebral
24:09
The Dark Matter of AI [Mechanistic Interpretability]
28:33
Terence Tao on how we measure the cosmos | Part 1
26:52
Percolation: a Mathematical Phase Transition
15:22
Type theory and the algebra of types
11:34