David Deutsch - Introducing the Popper-Miller Theorem (via searchlore.ai)