在计算复杂性中，我们不仅仅是在处理我们能计算的极限，也是在处理我们能证明的极限。

函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。

The historian walks a tightrope between fact and imagination.

新观点总是被怀疑和通常反对，原因只是因为它们尚未变得普遍。

Sustainable aquaculture isn't an option; it's an obligation we owe to our planet.

我不害怕失败，因为我知道它是成功的一部分。

群星不会因为像萤火虫而怯於出现。