11. Recursion Theorem and Logic
1:25:37
12. Time Complexity
16:10
Godel's 1st Incompleteness Theorem - Proof by Diagonalization
48:22
6. Recursion and Dictionaries
12:46
Die 9. Dedekind-Zahl wurde nach 32 Jahren Suche gefunden!
57:24
Terence Tao at IMO 2024: AI and Mathematics
23:39
Le coup divin de Bobby Fischer fait s'effondrer le monde entier des échecs ! | « Le jeu du siècle »
58:16
Limits of Logic: The Gödel Legacy
25:05