孔子说:“颜回真贤德!一篮饭,一瓢水,在陋巷,人人都愁闷,他却乐在其中。颜回真贤德!
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.