constructivism (mathematics)

URI: https://gptkb.org/entity/constructivism_(mathematics)
GPTKB entity
Statements (36)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:allows intuitionistic logic
constructive logic
gptkbp:alsoKnownAs gptkb:mathematical_constructivism
gptkbp:category gptkb:logic
foundations of mathematics
gptkbp:contrastsWith gptkb:classical_mathematics
gptkb:Platonism_(mathematics)
gptkbp:emphasizes explicit construction
gptkbp:focusesOn constructive proofs
https://www.w3.org/2000/01/rdf-schema#label constructivism (mathematics)
gptkbp:influencedBy gptkb:Andrey_Markov
gptkb:Errett_Bishop
gptkb:L.E.J._Brouwer
gptkbp:notableFigure gptkb:Andrey_Markov
gptkb:Per_Martin-Löf
gptkb:Arend_Heyting
gptkb:Errett_Bishop
gptkb:L.E.J._Brouwer
gptkbp:notableWork gptkb:Constructivism_in_Mathematics:_An_Introduction
gptkb:Foundations_of_Constructive_Analysis
gptkb:Intuitionism_and_Formalism
gptkbp:opposedBy gptkb:law_of_excluded_middle
non-constructive existence proofs
gptkbp:relatedTo gptkb:Russian_constructivism
intuitionism
Bishop's constructive mathematics
recursive mathematics
gptkbp:requires witness for existence
gptkbp:usedIn gptkb:logic
computer science
foundations of mathematics
proof theory
gptkbp:bfsParent gptkb:Constructivist_mathematicians
gptkb:constructive_set_theory
gptkbp:bfsLayer 6