令人惊讶的是，像我们这样的人，通过努力不断地避免愚蠢，而不是试图变得非常聪明，获得了多么巨大的长期优势。
It is remarkable how much long-term advantage people like us have gotten by trying to be consistently not stupid, instead of trying to be very intelligent.
最好的书……是那些告诉你你已经知道的事情的书。
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
自动机和形式语言的研究对于理解计算的极限是基础性的。
科学界的女性永远不应怀疑自己改变世界的能力。