孤独是我们为自我意识付出的代价。

The challenge in theoretical computer science is not just to solve problems, but to understand the nature of problem-solving itself.

最成功的领导者是那些多听少说的人。

We work with what is there because it has value.

我们不是从祖先那里继承了地球，而是从子孙那里借来的。

The fabric of reality is woven with the threads of mathematics and observation.

权力唯一的武器，它对抗这种背叛的唯一策略，就是到处重新注入真实性和指涉性，以使我们相信社会的现实性、经济的严重性和生产的终极性。

数学家的工作永无止境；总有新的问题要问，新的谜题要解。