软件工程的目标是生产可靠、可维护和高效的软件系统。
The aim of proof is to understand, not just to verify.
大自然从来都不是完全对称的,我们的方法也不应该假装它是。
数学证明的优雅类似于精心设计的算法的美丽。
The mind is a stream of processes, not a collection of objects.
The rate at which a person can mature is directly proportional to the embarrassment he can tolerate.