46. Logic. Finishing the proof of completeness
7:22
47. Logic. Summing up
11:41
44. Logic. Term Models for maximal consistent sets of formulas
42:34
The Simplest Unsolved Problem in Math
30:09
42. Logic. The Set Of Closed Terms
39:32
Andrej Karpathy: Software Is Changing (Again)
3:25:12
study with me - 30 minute, 10 minute break, with lofi focus music - 3.5 -hour pomodoro
11:10
The Integral That Changed Math Forever
14:39