计算机并不重要，它只能给你答案。
The computer is unimportant. It can only give you answers.
The study of computation is not just about machines, but about the very nature of thought and logic.
写作是一种不被干扰的说话方式。
人类本质上是自我决定的；他成为他意愿自己成为的样子。
We must balance the need for energy security with the imperative of reducing emissions.
大海是一个思考未来的好地方。
一个词的意义不是心智实体，而是社会实践。
我们可以断言，没有激情，任何伟大的事业都不能完成。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。