Gerry Sussman - We Really Don’t Know How to Compute! - YouTube https://www.youtube.com/watch?v=O3tVctB_VSU