The Science of Information: From Language to Black Holes
Uncomputable Functions and Incompleteness
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.