自由的概念与真理的概念不可分割。
The concept of freedom is inseparable from the concept of truth.
理论计算机科学不仅仅是关于算法和数据结构;它是关于理解计算的基本限制。
The true delight is in the finding out rather than in the knowing.