constructive logic love

constructive logic

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun Intuitionistic logic, with an emphasis on the fact that a proof of existence using such logic can be converted into an algorithm which constructs the mathematical object which is claimed to exist.

Etymologies

Sorry, no etymologies found.

Examples

    Sorry, no example sentences found.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.