constructive logic
constructive logic · constructive logics
konstruktive Logik
Any kind of logic in which any proof of existence can be converted into an algorithm…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.
Meaning
1 senses(countable, uncountable)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.
konstruktive Logik
Translations
2 languagesDeutsch
By meaning 1
Translations:
Forms
plural: constructive logics| Singular | constructive logic |
|---|---|
| Plural | constructive logics |
regular
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable