抽象的目的不是模糊,而是创建一个新的语义层次,在这个层次上可以绝对精确。
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
人类留下的痕迹往往是伤痕。
纯数学和应用数学之间的相互作用是真正创新发生的地方。