最好的程序是这样写的:计算机可以快速执行它们,人类可以清楚地理解它们。理想情况下,程序员是一位散文家,他使用传统的美学和文学形式以及数学概念来传达算法的工作原理,并说服读者结果是正确的。
一本书是一扇门,每个读者都以不同的方式穿过它。
美和灵感的价值被严重低估了,毫无疑问。
我没有特定的配方[用于开发新的证明]...这就是为什么做研究既具有挑战性又具有吸引力的原因。这就像在丛林中迷路,试图利用你能收集到的所有知识来想出一些新技巧,如果运气好的话,你可能会找到出路。