数学的进步是通过概括实现的。

The individual has become a mere cog in an enormous organization of things and powers which tear from his hands all progress, spirituality, and value in order to transform them from their subjective form into the form of a purely objective life.

真正的勇气是直面自己的弱点，并拼尽全力改变它。

计算机科学的挑战不仅在于创造新技术，还在于确保它们被道德和负责任地使用。

You can’t build a reputation on what you are going to do.