形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

唯一真正重要的是你在世界上产生的影响。

高期望是一切的关键。

写作是在时间上留下印记。

语言是我们理解世界的唯一工具，但它总是不够用。

I am always glad to think that my education was, for the most part, informal, and had its roots in the soil.

制造业的领导力意味着在变化发生之前预见变化。