理论计算机科学不仅仅是解决问题；它是关于理解计算本身的本质。

Happiness is not the belief that we don't need to change; it is the realization that we can.

The very shaping of history now outpaces the ability of men to orient themselves in accordance with cherished values. And which values? Even when they do not panic, men often sense that older ways of feeling and thinking have collapsed and that newer beginnings are ambiguous to the point of moral stasis.

我不相信鬼魂，但我总是看到它们。

如果我们忽视海洋的呼声，它的沉默将是我们最大的失败。