Tim Roughgarden explores computation as a fundamental law of nature, tracing its historical arc through major milestones in computer science. His overview spans from Alan Turing's foundational proofs on unsolvable problems to the P versus NP question at the core of modern computing.