Uncomputable Functions and Incompleteness

Uncomputable Functions and Incompleteness

Available on Prime Video, The Great Courses Signature Collection
S1 E20: Algorithmic information is plagued by an impossibility that shakes the foundations of logic; the Berry Paradox; Turing's surprising proof that no single computer program can determine whether other programs will ever halt.