历史学家必须成为诗人和艺术家，才能赋予过去枯骨以生命。

积极的情绪拓宽了我们的意识，让我们看到更多的可能性。

The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.

编程语言中最重要的东西是名字。没有好名字的语言不会成功。我最近发明了一个非常好的名字，现在我正在寻找一种合适的语言。

人生应为生而食，不应为食而生。