youtube.com
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
20 jul 2021
3.7M vistas
Mathematical Logic, Lecture 6 (More on formal proofs and Gödel's completeness theorem)
9 oct 2021
833 vistas
Mathematical Logic, Lecture 7 (Proof of Gödel's Completeness Theorem)
11 oct 2021
1.1K vistas
Ver todo