Encyclopedia > Constructive mathematics

  Article Content

Mathematical constructivism

Redirected from Constructive mathematics

In the philosophy of mathematics, mathematical constructivism asserts that it is necessary to find (or "construct") a mathematical object to prove that it exists. When you assume that an object does not exist, and derive a contradiction from that assumption, you still have not found it, and therefore not proved its existence, according to constructivists.

Constructivism is often confused with mathematical intuitionism, but in fact, intuitionism is only one kind of constructivism. Intuitionism maintains that the foundations of mathematics lie in the individual mathematician's intuition, thereby making mathematics into an intrinsically subjective activity. Constructivism does not, and is entirely consonant with an objective view of mathematics.

Mathematicians that have contributed to constructivism

Branches of constructivist mathematics

See also

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Shinnecock Hills, New York

... is spread out with 13.8% under the age of 18, 34.0% from 18 to 24, 17.6% from 25 to 44, 20.5% from 45 to 64, and 14.1% who are 65 years of age or older. The median ...

This page was created in 23.9 ms