Constructive Mathematics

[Revised entry by Douglas Bridges, Erik Palmgren, and Hajime Ishihara on August 25, 2022.
Changes to: Main text, Bibliography, supplement1.html, supplement2.html]
Constructive mathematics is distinguished from its traditional counterpart, classical mathematics, by the strict interpretation of the phrase “there exists” as “we can construct”. In order to work constructively, we need to re-interpret not only the existential quantifier but all the logical connectives and quantifiers as instructions on how to construct a proof of the statement involving these logical expressions….

Originally appeared on Stanford Encyclopedia of Philosophy Read More