mathematical constructivism

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:associatedWith gptkb:Arend_Heyting
gptkb:Errett_Bishop
gptkb:L.E.J._Brouwer
gptkbp:contrastsWith gptkb:classical_mathematics
gptkbp:emphasizes explicit construction
gptkbp:focusesOn constructive proofs
https://www.w3.org/2000/01/rdf-schema#label mathematical constructivism
gptkbp:influenced intuitionism
Bishop's constructive mathematics
gptkbp:opposedBy gptkb:law_of_excluded_middle
non-constructive existence proofs
gptkbp:relatedTo gptkb:constructive_set_theory
intuitionistic logic
constructive logic
constructive analysis
gptkbp:requires witness for existence
gptkbp:usedIn gptkb:logic
computer science
proof theory
gptkbp:bfsParent gptkb:Constructivist_mathematicians
gptkbp:bfsLayer 6