Live briefing
Everything about Constructive proof
Method of proof in mathematics
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. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Constructive proofA 5-minute orientation
- Skim a recent paper: Preparation of a strong soy protein adhesive with mildew proof, flame-retardant, and electromagnetic shielding properties via constructing nanophase-reinforced organic–inorganic hybrid structureInfluential work since 2022
- Pick up a classic book: The incompleteness phenomenonThe most-reprinted book on the subject
- Read the landmark paper: A constructive proof of the general lovász local lemmaCited 293 times
- Go sideways: Constructivism (philosophy of mathematics)A closely related topic
- Go sideways: Law of excluded middleA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
A constructive proof of the general lovász local lemma
On a Constructive Proof of Kolmogorov’s Superposition Theorem
A constructive proof of Vizing's theorem
Unimodality of gaussian coefficients: A constructive proof
A constructive proof of Tucker's combinatorial lemma
A constructive proof of the ordinal efficiency welfare theorem
A Constructive Proof of Gleason's Theorem
Simple constructive proof of Karadakov's extended pairing theorem
🆕 Influential since 2022
Preparation of a strong soy protein adhesive with mildew proof, flame-retardant, and electromagnetic shielding properties via constructing nanophase-reinforced organic–inorganic hybrid structure
Proof-relevance in Bishop-style constructive mathematics
AN ANALYSIS OF THE CONSTRUCTIVE CONTENT OF HENKIN’S PROOF OF GÖDEL’S COMPLETENESS THEOREM
A constructive proof that many groups with non-torsion $2$-cohomology are not matricially stable
A simple and constructive proof to a generalization of Lüroth's theorem
📚 Books worth reading
The incompleteness phenomenonMartin Goldstern · 1995
Logical Foundations of Proof ComplexityStephen Cook · 2010
Icons Of MathematicsClaudi Alsina, Roger B. Nelsen · 2011- 📕NATCO homes and garagesNational Fire Proofing Company · 1923
- 📕Une histoire de l'imaginaire mathématiqueCarlos Alvarez Jiménez · 2011
- 📕Strutture dell'argomentareEnrico Moriconi · 2009
Proof complexity and feasible arithmeticsPaul W. Beame, Samuel R. Buss · 1998- 📕Natco imperishable siloNational Fire Proofing Company · 1915
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Constructivism (philosophy of mathematics) In philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a specific example of a mathematical object in order…
- Law of excluded middle In logic, the law of excluded middle or the principle of excluded middle states that for every proposition, either this proposition or its negation is…
- Gelfond–Schneider constant The Gelfond–Schneider constant or the Hilbert number is two to the power of the square root of two: 22≈2.6651441426902251886502972498731... which was proved…
- Conjecture In mathematics, a conjecture is a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or…
- Goldbach's conjecture Goldbach's conjecture is one of the oldest and best-known unsolved problems in number theory and all of mathematics. It states that every even natural…
- Irrational number In mathematics, the irrational numbers are all the real numbers that are not rational numbers; that is, irrational numbers are those that cannot be expressed…
- Goldbach's weak conjecture In number theory, Goldbach's weak conjecture, also known as the odd Goldbach conjecture, the ternary Goldbach problem, or the 3-primes problem, is the…
- Hilbert's tenth problem Hilbert's tenth problem is the tenth on the list of mathematical problems that the German mathematician David Hilbert posed in 1900. It is the challenge…