TOPICS
Search

Nonconstructive Proof


A nonconstructive proof is a proof that indirectly shows a mathematical object exists without providing a specific example or algorithm for producing an example. Nonconstructive proofs are also called existence proofs.


See also

Constructive Proof, Existence Problem, Existence Theorem, Proof

Explore with Wolfram|Alpha

References

Courant, R. and 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.

Referenced on Wolfram|Alpha

Nonconstructive Proof

Cite this as:

Weisstein, Eric W. "Nonconstructive Proof." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/NonconstructiveProof.html

Subject classifications