Constructive mathematics is an approach to mathematical practice that insists on the need for explicit constructions in proofs, rejecting the law of excluded middle and non-constructive existence proofs. It emphasizes the computational content of mathematical objects, aligning closely with intuitionistic logic and often used in computer science for program extraction from proofs.