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.
在计算复杂性中,我们不仅仅是在处理我们能计算的极限,也是在处理我们能证明的极限。
沉默的人拥有最掷地有声的头脑。