KnowraConstructive mathematicsLinked fromLinked fromThe 14 pages that link to Constructive mathematics, each with the reason it gives.All 14Related 3Narrower topic 3Compared with 8Intuitionistic logicRelated: It uses intuitionistic reasoning to ensure existence claims yield explicit mathematical objects.Andrey KolmogorovRelated: Kolmogorov’s interpretation of intuitionistic logic connected proofs with computational content.Computable numberRelated: Computable reals offer a concrete setting for constructive accounts of real-number existence.