数学书中出现的水平其实可以分为两大类:
- 一类是已知某种性质, 让你证明
*一个对象符合这个已知性质
*一群对象符合这个已知性质
*一群对象符合,或者不符合这个性质
*寻找让这个性质为真的充要条件 - 给你一群对象, 让你自己去探寻这群对象的性质.
水平1 给定一个显式对象 x x x和一个显式性质 P ( x ) P(x) P(x),证明 P ( x ) P(x) P(x)为真.这里的问题在于对所宣称的某个事实寻求一个证明.
水平2 给定一个显式集合 X X X和一个显式性质 P ( x ) P(x) P(x),证明 P ( x ) P(x) P(x)对所有 x ∈ X x \in X x∈X为真.问题仍然是寻求一个证明,但是这个证明必须具有一般性.
水平3,给定一个显式集合 X X X和一个显式性质 P ( x ) P(x) P(x),证明或推翻 P ( x ) P(x) P(x)对所有 x ∈ X x \in X x∈X为真.这里有一个附加的不确定性水平,更接近于数学家们通常面对的真实情形.
水平4给定一个显式集合 X X X和一个显式性质 P ( x ) P(x) P(x),寻求一个使 P ( x ) P(x) P(x)为真的充分必要条件.
水平5 给定一个显式几何, 寻求其元素的一个有趣的性质P(x).现在处在令人恐怖的纯粹研究领域.
启示:
数学的学习很多时候是对于命题概念的理解, 围绕着一个论题的定理的集合就构成了我们对这个数学论题的认知.
为了学习一个数学论题,我们需要积极地构造关于此论题的数学论证.而不是尝试着从数据中去发现新概念, 那样会直接进入恐怖的混沌状态的水平5.
所以在学习证明时,也不用去感叹书上好厉害, 书上的证明过程好神奇,怎么知道从现有的线索中可以推导出将要证明的命题?-----因为其实是现有命题,后有证明. 证明只是为了知道对象满足/不满足给定性质而已. 并且大部分数学家经常面对的也仅仅只是这种情况(水平3).
启示:
在阅读开源代码时也是一样:很多时候是先知道代码的功能,然后再去看代码对已知功能的实现. 尽量不要尝试着在对功能了解不多的情况下通过阅读代码去了解它, 那样会直接进入恐怖的混沌状态.
启示:
不管遇到什么问题,在开始思考之前要先把目标制定出来(显式性质), 然后再思考着怎么样的行动才有助于达到最终目的(证明过程).尽量不要一遇到问题,不做分析,不思考最终目标就开始采取行动尝试解决它.