Constructive proof

Definition

In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object. This is in contrast to a non-constructive proof, which proves the existence of a particular kind of object without providing an example. For avoiding confusion with the stronger concept that follows, such a constructive proof is sometimes called an effective proof.

Related concepts

Algorithm An Introduction to the Theory of Numbers Anne Sjerp Troelstra Axiom of choice Axiom of infinity Brouwer–Heyting–Kolmogorov interpretation Calculus of constructions Cauchy sequence Complex number Constructive logic Constructive mathematics Constructive reverse mathematics Constructive set theory Constructivism (mathematics)Constructivism (philosophy of mathematics)Counterexample Curry–Howard correspondence Diaconescu's theorem Dirk van Dalen E. M. Wright Errett Bishop Euclid Euclid's theorem Existence theorem Forbidden minors G.H. Hardy Gelfond–Schneider theorem Georg Cantor Goldbach's conjecture Graph (discrete mathematics)Graph minor theorem Grete Hermann Gérard Huet Hilbert's Nullstellensatz Hilbert's basis theorem Infinite set Intuitionism Intuitionistic type theory Irrational number J. Roger Hindley James Franklin (philosopher)Law of excluded middle Law of the excluded middle Limited principle of omniscience Logarithms Mathematical object Mathematical proof Mathematics Minor (graph theory)Non-constructive algorithm existence proofs Paul Gordan Per Martin-Löf Polynomial Prime number Principle of explosion Probabilistic method Proof by contradiction Rational number Real number Scripta Mathematica Square root of 2 System of linear equations Thierry Coquand Torus Zero of a function

12 concepts already in your glossary