自由与秩序并非不相容;真理即力量;自由讨论是真理的生命。
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.
我一直相信最好的还在后头。
集合起一百个伟大头脑,就会得到一个大傻瓜。
技术是一种工具,而智慧在于知道如何以及何时使用它。
我喜欢一步一步来,一场比赛一场比赛地打,一个赛事一个赛事地参加。