Constructivism in Mathematics
GPTKB entity
Statements (49)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:allows |
constructive existence proofs
only mathematical objects that can be explicitly constructed |
| gptkbp:basisFor |
gptkb:constructive_set_theory
intuitionistic logic proof assistants constructive type theory constructive analysis constructive algebra constructive combinatorics constructive computer science constructive geometry constructive logic programming constructive model theory constructive number theory constructive proof theory constructive topology |
| gptkbp:contrastsWith |
gptkb:classical_mathematics
|
| gptkbp:emphasizes |
constructive proofs
|
| gptkbp:focusesOn |
mathematical objects that can be explicitly constructed
|
| https://www.w3.org/2000/01/rdf-schema#label |
Constructivism in Mathematics
|
| gptkbp:influenced |
gptkb:logic
computer science proof theory constructive logic |
| gptkbp:influencedBy |
intuitionism
predicativism finitism algorithmic thinking |
| gptkbp:notableFigure |
gptkb:Arend_Heyting
gptkb:Errett_Bishop gptkb:L.E.J._Brouwer |
| gptkbp:opposedBy |
gptkb:law_of_excluded_middle
non-constructive existence proofs |
| gptkbp:originatedIn |
early 20th century
|
| gptkbp:relatedTo |
gptkb:logic
gptkb:constructive_set_theory gptkb:mathematical_constructivism intuitionism constructive logic Bishop's constructive mathematics constructive analysis recursive mathematics |
| gptkbp:usedIn |
gptkb:logic
foundations of mathematics computer-assisted proof program extraction from proofs |
| gptkbp:bfsParent |
gptkb:A._S._Troelstra
|
| gptkbp:bfsLayer |
7
|