Constructive logic Uncommon

Definition, synonyms and related words

Definitions

Noun

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.

Rhyming Words

yogic ergic algic logic zigic magic argic phagic belgic tragic agogic fungic energic otalgic plaggic ellagic iraggic pelagic anergic unmagic

Compare