构造性证明是一种证明,它直接提供一个具体的例子,或者提供一个产生例子的算法。构造性证明也称为示范性证明。
构造性证明
另请参阅
存在性问题, 存在性定理, 非构造性证明, 证明使用 Wolfram|Alpha 探索
参考文献
Courant, R. 和 Robbins, H. "The Indirect Method of Proof." §2.4.4 in What Is Mathematics?: An Elementary Approach to Ideas and Methods, 2nd ed. Oxford, England: Oxford University Press, pp. 86-87, 1996.Hoffman, P. The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth. New York: Hyperion, p. 229, 1998.在 Wolfram|Alpha 中被引用
构造性证明请引用为
Weisstein, Eric W. "构造性证明。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/ConstructiveProof.html