最好的程序是这样写的：计算机可以快速执行它们，人类可以清楚地理解它们。理想情况下，程序员是一位散文家，他使用传统的美学和文学形式以及数学概念来传达算法的工作原理，并说服读者结果是正确的。
The only way to predict the future is to create it.
我反抗，故我在。
I'm not a child, I'm an adult.
逻辑学研究不仅仅是关于形式系统，而是理解理性思维的基本结构。
Form follows function—that has been misunderstood. Form and function should be one, joined in a spiritual union.
我回首前尘往事，犯下重罪的小笨蛋，我想跟他沟通让他明白，但我办不到，那个少年早就不见了，只剩下我垂老之躯。