数值计算方法里的构造性证明,与非构造性证明是怎么回事?