Concept

Constructivism (philosophy of mathematics)

Overview

mathematical viewpoint that existence proofs must be constructive

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

Philosophers who discussed Constructivism (philosophy of mathematics)

• Per Martin-Löf
• John Lane Bell

Related ideas

• Finite set
• Finitism
• Intuitionistic logic
• L. E. J. Brouwer
• Law of noncontradiction
• Law of excluded middle
• Function (mathematics)
• Per Martin-Löf
• Intuitionism
• Rational number
• Infinity
• Reductio ad absurdum
• Set (mathematics)
• Justification (epistemology)
• Computably enumerable set
• Stanford Encyclopedia of Philosophy
• Bijection
• Type theory
• Philosophy of mathematics
• Cantor's diagonal argument
• Computer science
• Classical logic
• Cardinal number
• Contradiction

Place in the tradition

Part of Analytic philosophy.

Explore Constructivism (philosophy of mathematics) in the interactive graph →