Sometimes it’s the people no one imagines anything of who do the things that no one can imagine.

你必须对你所做的事情充满热情，否则你永远不会出类拔萃。

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.

安全不是功能，而是基础。

语言是我们真正拥有的唯一家园。