最重要的计算机是在我们的头骨上狂奔并且一直在寻找那种令人满意的外部仿真器的计算机。真实计算机的标准化将是一场灾难-因此可能不会发生。

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.

我不遵循规则，我遵循我的本能。

Every challenge in the energy sector is an opportunity to do better.

忠于自己，但永远保持开放学习的心态。

"Los Angeles is the city of the future—always."

In science, the credit goes to the man who convinces the world, not to the man to whom the idea first occurs.