Statements (52)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
constructivist mathematics
|
| gptkbp:contrastsWith |
gptkb:classical_mathematics
|
| gptkbp:emphasizes |
constructive proofs
|
| gptkbp:focusesOn |
mathematical objects that can be explicitly constructed
|
| gptkbp:hasConcept |
constructive logic
computability constructive type theory constructive analysis effective procedures algorithmic content of proofs constructive algebra constructive combinatorics constructive geometry constructive logic programming constructive model theory constructive number theory constructive topology constructive existence constructive functions constructive measure theory constructive probability theory constructive proof constructive real numbers constructive sets witnesses for existential statements |
| https://www.w3.org/2000/01/rdf-schema#label |
Constructive mathematics
|
| gptkbp:influenced |
gptkb:homotopy_type_theory
gptkb:category_theory gptkb:constructive_set_theory constructive analysis constructive algebra constructive topology |
| gptkbp:notableFigure |
gptkb:Andrey_Markov
gptkb:Errett_Bishop gptkb:L.E.J._Brouwer |
| gptkbp:opposedBy |
gptkb:law_of_excluded_middle
proof by contradiction (in general) |
| gptkbp:relatedTo |
gptkb:logic
gptkb:Bishop's_constructive_analysis intuitionism constructive logic computable analysis |
| gptkbp:usedIn |
computer science
formal verification proof assistants |
| gptkbp:哲学基础 |
gptkb:mathematical_constructivism
intuitionism predicativism finitism |
| gptkbp:bfsParent |
gptkb:The_foundations_of_mathematics
|
| gptkbp:bfsLayer |
7
|