理解人类认知的关键在于理解符号是如何被操作的。
The key to understanding human cognition is to understand how symbols are manipulated.
抓紧时间，孩子们，让你的生命不同寻常。
The elegance of a mathematical proof often mirrors the efficiency of the algorithm it describes.
过去从未死去，甚至从未过去。