constructivism

Constructivism, in the philosophy of mathematics, is the assertion that it is necessary to find or construct a mathematical object in order to prove that it exists. Constructivism rejects proofs in which the existence of a mathematical object is 'proved' by showing that the proposition that it does not exist leads to a contradiction.

Subscribe to constructivism