Constructivist mathematicians
GPTKB entity
Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
group of mathematicians
|
| gptkbp:associatedWith |
gptkb:constructivism_(mathematics)
|
| gptkbp:emphasizes |
constructive proofs
|
| gptkbp:field |
gptkb:mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Constructivist mathematicians
|
| gptkbp:influenced |
gptkb:logic
computability theory intuitionism constructive analysis |
| gptkbp:notableMember |
gptkb:Per_Martin-Löf
gptkb:Andrey_Markov_Jr. gptkb:Arend_Heyting gptkb:Errett_Bishop gptkb:L.E.J._Brouwer |
| gptkbp:opposedBy |
gptkb:classical_mathematics
gptkb:law_of_excluded_middle |
| gptkbp:philosophicalStance |
gptkb:mathematical_constructivism
|
| gptkbp:bfsParent |
gptkb:Axiom_of_choice
|
| gptkbp:bfsLayer |
5
|