The past is never dead. It's not even past.

The only way to do great work is to love what you do.

数学是上帝用来书写宇宙的语言。

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.

要求对并非直接被给予的对象提供先天证明，是徒劳的。