The Nature of Proof by Scott Aaronson - YouTube - http://www.youtube.com/watch...