Matemáticas Constructivas

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un conjunto de enfoques matemáticos que exigen construcciones explícitas o algoritmos para acreditar afirmaciones de existencia y que normalmente rechazan principios no constructivos como la ley del tercero excluido sin restricciones; las pruebas deben proporcionar contenido computacional.