The challenge of computer science is not just to build faster machines, but to understand the very fabric of computational possibility.