The challenge in theoretical computer science is not just to solve problems, but to understand the nature of problem-solving itself.
一个理智的人在一个疯狂的社会里必须显得疯狂。