Primer teorema de incompletitud de Godel: prueba por diagonalización
13:52
Gödel's Incompleteness Theorem - Numberphile
20:24
The Impossible Problem NO ONE Can Solve (The Halting Problem)
27:57
Gödel's Argument for God
16:36
A (very) Brief History of Kurt Gödel
13:24
Gödel's Incompleteness (extra footage 1) - Numberphile
15:11
Théorème de Bayes, la géométrie des croyances changeantes
36:10
What A General Diagonal Argument Looks Like (Category Theory)
25:10