A solidez e a completude da lógica
20:14
How to unify logic & arithmetic
19:31
Un principio universal del funcionamiento del cerebro
24:09
The Dark Matter of AI [Mechanistic Interpretability]
15:22
Type theory and the algebra of types
5:01
Convolutional Differentiable Logic Gate Networks - NeurIPS Oral - difflogic
9:44
¿Cómo es realmente el pensamiento matemático?
17:19
Cómo tu cerebro elige qué recordar
25:05