The method of psychology must be rigorously empirical.
心理学的方法必须严格经验化。
人类能够达到的最高活动是为了理解而学习,因为理解就是自由。
教育是老年人的最佳粮食。
代数分析很快让我们忘记了研究的主要对象,因为它将我们的注意力集中在抽象的组合上,直到最后我们才回到最初的目标。
对于手中紧急待办的事情,千万不要急躁,而应沉下心,详慎周密地思考斟酌,对于已经考虑成熟的问题,千万不要延缓,而应横下心,果决神速地实施解决。
计算机体系结构的目标是使常见情况快速,罕见情况正确。
人不是为失败而生的。一个人可以被毁灭,但不能被打败。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."