在计算复杂性中，我们不仅仅是在处理我们能计算的极限，也是在处理我们能证明的极限。
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.
人们为了被爱，会去爱别人。
生命太短暂，不要把时间浪费在不能让你灵魂快乐的事情上。