The challenge in theoretical computer science is not just to solve problems, but to understand the nature of problem-solving itself.
We wish to bring our monsters out and let them deal with the world.