The best way to predict the future is to invent it.
某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
我写作时不会想着任何观众。我只是写。
最好的程序是这样写的:计算机可以快速执行它们,人类可以清楚地理解它们。理想情况下,程序员是一位散文家,他使用传统的美学和文学形式以及数学概念来传达算法的工作原理,并说服读者结果是正确的。