The metropolis exacts from man as a discriminating creature a different amount of consciousness than does rural life.

NP中的每个问题都可以归约为可满足性问题，这是计算复杂性理论的基石。

我们都有自己的时间机器。带我们回去的叫回忆，带我们前行的叫梦想。

我是一个不断进步的人，我对此很坦然。

自动化的未来在于创造能够独立思考的机器。