The study of computational complexity is not just about solving problems, but also about understanding the limits of what can be computed.