Constructivism arises when mathematicians and philosophers require constructive proofs for their results, meaning that if a theorem is true then there should be a constructive procedure that guarantees the existence of an actual mathematical object.
Constructivism arises when mathematicians and philosophers require constructive proofs for their results, meaning that if a theorem is true then there should be a constructive procedure that guarantees the existence of an actual mathematical object.