The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
我不知道怎么写那样的歌,不知道该用什么词。等你想到了告诉我。
数学不仅仅是关于数字、方程、计算或算法:它是关于理解的。