理解人类认知的关键在于理解符号是如何被操作的。
The key to understanding human cognition is to understand how symbols are manipulated.
信息过载的时代，快速学习是最大的竞争优势。
When you meet with opposition, even if it should be from your husband or your children, endeavor to overcome it by argument and not by authority, for a victory dependent upon authority is unreal and illusory.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
量子计算的发展将需要对物理学和计算机科学的深刻理解。