Completed
A mysterious animal
Class Central Classrooms beta
YouTube playlists curated by Class Central.
Classroom Contents
A Tale of Turing Machines, Quantum-Entangled Particles, and Operator Algebras
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Theory of Computing
- 3 The 1930s
- 4 The EPR paradox (1935)
- 5 A nonlocal game
- 6 The genesis of operator algebras
- 7 A zoo of algebras
- 8 A mysterious animal
- 9 A universal machine and unsolvable problem
- 10 Verifying vs finding proofs
- 11 The proofs revolution
- 12 Verifying proofs interactively
- 13 The power of interactivity
- 14 Probabilistic checking of proofs
- 15 Interactive proofs and entanglement
- 16 The complexity of entanglement
- 17 An unexpected connection
- 18 A candidate algorithm
- 19 The proof (from a thousand miles away)
- 20 The many facets of MIP* = RE
- 21 A Frequently Asked Question
- 22 A parable
