计算的目的是洞察,而不是数字。
The purpose of computing is insight, not numbers.
Theorems are the permanent literature of mathematics.
在不确定的时期,目标的清晰性变得更加关键。