在计算复杂性中，我们不仅仅是在处理我们能计算的极限，也是在处理我们能证明的极限。
In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.
我们知道的越多，就越意识到自己知道的多么少。
领导力是激励他人实现他们认为不可能的事情。