计算的未来在于开发能够自我验证正确性的系统。

活着就是受苦，生存就是在苦难中找到一些意义。

表演不是要成为不同的人。它是在明显不同的事物中找到相似之处，然后在那里找到自己。

人类追求知识的欲望源于对宇宙之谜的好奇心。

Conflict is the gadfly of thought. It stirs us to observation and memory. It instigates to invention. It shocks us out of sheeplike passivity, and sets us at noting and contriving.

计算机科学中理论与实践之间的相互作用是推动创新和进步的动力。

The sun, with all those planets revolving around it and dependent on it, can still ripen a bunch of grapes as if it had nothing else in the universe to do.