在计算复杂性中，我们不仅仅是在处理我们能计算的极限，也是在处理我们能证明的极限。
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.
人类进化的故事远未结束。
A great leader takes people where they don't necessarily want to go, but ought to be.
最强者也不能总是强大得足以永远作主人，除非他能把力量转化为权利和服从的义务。
写作是与世界互动。
Love is the world's infinite mutability; lies, hatred, murder even, are all knit up in it.