Understanding the limits of computation is as important as understanding its possibilities.