The limits of my language mean the limits of my world.

系统设计的未来在于将形式化方法与传统工程实践相结合。

In the quest for understanding, failure is not the opposite of success; it is a stepping stone to it.

改变一个人的关键是改变他的自我意识。

"Writing is the art of listening to the whispers of the world."

别人胜过我，没有什么害处，因为这样的话，别人不会在他们的内心深处积下对我的怨恨；我胜过别人，不一定是什么好事，因为这样的话，那些心胸狭窄之人，恐怕会给我降下难以预测的灾祸。

We must always question our assumptions and be willing to revise our theories in light of new evidence.

"Mental processes are tools for solving life's problems."

自然是无情且不可改变的，它不在乎其隐藏的原因和行为是否能为人类所理解。