每个实验都是与自然的对话，有时自然会对我们耳语它的秘密。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
Over the centuries the Indians developed sign language for communicating phenomena of interest. Programmers from different tribes (FORTRAN, LISP, ALGOL, SNOBOL, etc.) could use one that doesn't require them to carry a blackboard on their ponies.
色散理论是连接量子力学的抽象形式与我们观察到的具体现象之间的桥梁。
I think that the greatest gift you can give to somebody is your own personal development.
The only person you should try to be better than is the person you were yesterday.
