The challenge in theoretical computer science is not just to solve problems, but to understand the nature of problem-solving itself.
真正的对立是在自我束缚的人(其存在由拥有的原则构成)和自由的人(其存在由存在的原则构成)之间。