Mathematics · Foundations & Logic
A topic within Foundations & Logic, itself one of 13 topics in that field and part of Mathematics.
2 works
Douglas Bridges
Argues mathematics should only assert existence where an object can in principle be exhibited or computed, and shows how much of analysis survives when that constraint replaces the law of excluded middle.
link checked 17 Sept 2026Errett Bishop
Rebuilds real analysis theorem by theorem using only constructive proofs that exhibit the objects they assert exist, demonstrating that constructive mathematics can match classical analysis in scope.