constructive logic English

Meaning constructive logic meaning

What does constructive logic mean?

constructive logic noun

— (logic) 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.