Constructive Mathematics
URL: http://plato.stanford.edu/entries/mathematics-constructive/
Submitted: Sat Sep 06 2003
Rating: 0.00
Votes: 0
CT: Philosophy: Philosophy of Science: Mathematics: Constructive Mathematics
Detailed Traffic Statistic From Alexa
Description:
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. From the Stanford Encyclopedia.