自由与秩序并非不相容；真理即力量；自由讨论是真理的生命。

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.

我一直相信最好的还在后头。

集合起一百个伟大头脑，就会得到一个大傻瓜。

技术是一种工具，而智慧在于知道如何以及何时使用它。

我喜欢一步一步来，一场比赛一场比赛地打，一个赛事一个赛事地参加。