Method

Constructive proof

Overview

method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Georg Cantor
• Infinite set
• Counterexample
• Law of excluded middle
• Mathematics
• Per Martin-Löf
• Mathematical object
• Intuitionism
• Rational number
• Real number
• Constructivism (philosophy of mathematics)
• Reductio ad absurdum
• Axiom of infinity
• Curry–Howard correspondence
• Square root of 2
• Intuitionistic type theory
• Complex number
• Principle of explosion
• Algorithm
• Mathematical proof
• Axiom of choice
• Euclid
• Goldbach's conjecture
• J. Roger Hindley

Place in the tradition

Part of Intuitionistic logic.

Explore Constructive proof in the interactive graph →