The true discoverer is not the one who first chances upon something, but the one who finds it meaningful.
真正的发现者不是第一个偶然发现某物的人,而是发现其意义的人。
The future belongs to those who believe in the beauty of their dreams.
善恶之间的分界线贯穿每个人的内心。
A poem begins in delight and ends in wisdom.
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.
理解计算的基本限制对于技术的未来至关重要。