constructivism in mathematics

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:associatedWith gptkb:bishop
gptkb:Brouwer
intuitionism
gptkbp:contrastsWith gptkb:classical_mathematics
gptkbp:emphasizes algorithmic content of proofs
gptkbp:focusesOn mathematical objects that can be explicitly constructed
gptkbp:hasSubfield gptkb:intuitionistic_mathematics
gptkb:Bishop-style_constructivism
gptkb:Russian_constructivism
recursive mathematics
https://www.w3.org/2000/01/rdf-schema#label constructivism in mathematics
gptkbp:influenced gptkb:logic
computer science
constructive analysis
gptkbp:opposedBy gptkb:law_of_excluded_middle
non-constructive existence proofs
gptkbp:relatedTo proof theory
constructive logic
gptkbp:requires explicit construction in proofs
gptkbp:usedIn foundations of mathematics
gptkbp:bfsParent gptkb:epistemology_of_mathematics
gptkbp:bfsLayer 5