理解计算的极限与理解其可能性同样重要。
The task of psychology is to map the structure of consciousness.
我从来不知道自己对某件事的看法,除非我读了自己写下的东西。
Theorems are the permanent literature of mathematics.
最好的采矿项目是那些当地社区成为真正合作伙伴的项目,而不仅仅是利益相关者。
The concept of nondeterminism in computation is one of the most important ideas in computer science.