Top News, Articles, and Interviews in Philosophy

Constructive Mathematics

Philosophy News image
[Revised entry by Douglas Bridges and Erik Palmgren on May 30, 2018. 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....

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus