The Fabric of Reality: Towards a Theory of Everything (Penguin Science)

by David Deutsch

This example shows that because of the possibility of quantum computation, the two notions of proof are not equivalent.