我们需要创造性地思考如何解决世界上最大的问题。
我不想让别人决定我是谁。我想自己决定。
计算机科学中的真正挑战不是编写程序,而是理解计算的本质。
我没有任何特别的秘诀(用于开发新的证明)……这就是为什么做研究既具有挑战性又具有吸引力的原因。这就像在丛林中迷路,试图利用你能收集到的所有知识来想出一些新的技巧,并且如果运气好的话,你可能会找到出路。
I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.