Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:allows |
countable choice
|
| gptkbp:alsoKnownAs |
Bishop constructivism
|
| gptkbp:compatibleWith |
non-constructive existence proofs
|
| gptkbp:contrastsWith |
gptkb:classical_mathematics
gptkb:intuitionistic_mathematics |
| gptkbp:emphasizes |
explicit construction of mathematical objects
|
| gptkbp:focusesOn |
gptkb:logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Bishop-style constructivism
|
| gptkbp:influenced |
constructive analysis
|
| gptkbp:influencedBy |
gptkb:L.E.J._Brouwer
|
| gptkbp:introducedIn |
1967
|
| gptkbp:namedAfter |
gptkb:Errett_Bishop
|
| gptkbp:opposedBy |
gptkb:law_of_excluded_middle
|
| gptkbp:publishedIn |
gptkb:Foundations_of_Constructive_Analysis
|
| gptkbp:requires |
proofs to be constructive
|
| gptkbp:bfsParent |
gptkb:constructivism_in_mathematics
|
| gptkbp:bfsLayer |
6
|