Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles Interlanguage links All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk Log in Help Mathematical constructivism From Wikipedia, the free encyclopedia. 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 L.E.J. Brouwer | |
|