Proof complexity - an introduction - Avi Wigderson
1:58:34
Fast learning requires good memory - Ran Raz
53:52
Avi Wigderson: Randomness and pseudorandomness
1:46:06
Avi Wigderson talking about Complexity Theory and PCP
58:39
Introduction to Proof Theory I: Sequent Calculus
33:38
Zero Knowledge Proof (with Avi Wigderson) - Numberphile
5:06
Cook on “The Complexity of Theorem-Proving Procedures“
41:11
Proof Complexity A
57:52