理论计算机科学中的挑战不仅仅是解决问题，而是理解为什么它们难以解决。
"The challenge in theoretical computer science is not just to solve problems, but to understand why they are hard to solve."
"A book is a mirror: if an ape looks into it, an apostle is hardly likely to look out."
思想的任务不是再现现实，而是回应存在的召唤。
A language that doesn't affect the way you think about programming, is not worth knowing.