抽象的目的不是模糊,而是创建一个新的语义层次,在这个层次上可以绝对精确。
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
数学的进步是通过它能解决的问题数量来衡量的。
We are all in the gutter, but some of us are looking at the stars.