你唯一应该努力超越的人就是昨天的自己。
证明是一种可重复的说服实验。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
只有首先看到事情的可能性,才会有发生的机会。
The dangerous man is the one who has only one idea, because then he'll fight and die for it.
处于逆境,思想要开拓放达,奋发图强;处于顺境,思想要警觉收敛,约束自身。
The mind-body problem is not just a local problem, but one that confronts us with a deep mystery about the universe.