科学不是形式逻辑——它需要思想的自由发挥,与其他任何创造性艺术一样。
The challenge in theoretical computer science is not just to solve problems, but to understand the nature of problem-solving itself.