Computerphile

Barber & Russell Paradoxes (History of Undecidability Part 2) (2014x60)

:

The Barber Paradox: Professor Brailsford continues the history of undecidability.