English Explanatory Dictionary

constructive logic

English dictionary entry

Meanings

noun
  1. Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.

Word forms

constructive logic constructive logics
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on C Russian dictionary Dahl dictionary