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.

孤独不是他人的缺席，而是自我的缺失。

Come,my friends,Tis not too late to seek a newer world,For my purpose holds to sail beyond the sunset，And though we are not now that strength which in old days moved earth and heaven,That which we are, we are;-- One equal temper of heroic hearts, Made weak by time and fate, but strong in will. To strive, to seek, to find, and not to yield。

最好的数学是简单的，但又不至于过于简单。

I stand up for what I believe in, and I don't back down.

伟大的领导者不会告诉你该做什么，他们会向你展示如何去做。