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