I decided, very early on, just to accept life unconditionally; I never expected it to do anything special for me, yet I seemed to accomplish far more than I had ever hoped. Most of the time it just happened to me without my ever seeking it.

无人应为其天性缺陷受全责；但若不加努力改正，便应受责。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

In science, the credit goes to the person who convinces the world, not to the person to whom the idea first occurs.

文化的本质在于其连续性和适应性。