41. Logic. Gödel's Completeness theorem
30:09
42. Logic. The Set Of Closed Terms
16:10
Primer teorema de incompletitud de Godel: prueba por diagonalización
58:16
Limits of Logic: The Gödel Legacy
15:25
46. Logic. Finishing the proof of completeness
13:28
22. Logic. Compactness
13:29
1. Introduction to Mathematical Logic
3:39
Roger Penrose explains Godel's incompleteness theorem in 3 minutes
36:51