11. Recursion Theorem and Logic
1:25:37
12. Time Complexity
1:31:16
Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1
1:04:06
Gödel and Undecidability - John Conway
1:51:36
Recursion in Programming - Full Course
15:12
13-1 Pure Mathematics Set Theory, Logic, Recursion, Computability, Model Theory
21:20
Is Germany’s far right about to go mainstream? | The Take
1:20:28
What’s ACTUALLY Preventing Us From Colonizing Mars
1:18:27