I don't want to be a celebrity. I want to be a memory.

伟大的设计将功能与美学相结合——它在解决问题的同时激励人们。

The future of computing is not in the hardware, but in the software.

 我对一切都保持怀疑。

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 probably not important to mathematics.

科学是一个微分方程。宗教是一个边界条件。

Every project is a new adventure, a new challenge.