梦是愿望和恐惧相遇的地方。当愿望和恐惧完全平衡时，你称这个梦为噩梦。

我们必须记住，历史是由胜利者书写的，但记忆却是由失败者保存的。

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.

没有人是有极限的。

从理智的异议中寻找乐趣，因为只有尊重理智，才能比消极的服从带来更深刻的一致。

人比事物更需要被修复、更新、复兴、回收和救赎；永远不要抛弃任何人。

创新不仅仅是技术，而是改变我们的思维和运作方式。