I hope it will not be long before we have a machine that will be able to solve all mathematical problems.

一个和谐的社会，不是争议的消失，而是公义的彰显。

A good algorithm is like a sharp knife—it does exactly what it is supposed to do with a minimum of effort.

受过教育的人与未受过教育的人之间的差异，如同生者与死者之间的差异。

世界是黑暗的，而光弥足珍贵。