The mathematical program requiring that proofs of existence be constructive — providing a method to exhibit or compute the object, rather than merely demonstrating that its non-existence leads to contradiction.
Rejects the law of excluded middle and non-constructive existence proofs; intuitionistic logic is the appropriate logic for mathematics because mathematical objects are mental constructions, not independently existing abstract entities.
No conceptual lineage found.
No recorded contemporaries.
No recorded minds influenced.
No conceptual posterity found.
Discussing
Ask anything about Constructive Mathematics — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.