在计算复杂性中，我们不仅仅是在处理我们能计算的极限，也是在处理我们能证明的极限。
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.
一个害怕人民的政府是一个失去合法性的政府。
每个时代的统治思想总是统治阶级的思想。
