intuitionistic mathematics

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:allows only constructively proven objects
gptkbp:alsoKnownAs constructivist mathematics
gptkbp:basedOn intuitionism
gptkbp:contrastsWith gptkb:classical_mathematics
gptkbp:developedBy early 20th century
gptkbp:emphasizes constructive proofs
gptkbp:focusesOn mathematical constructibility
gptkbp:foundedBy gptkb:L._E._J._Brouwer
https://www.w3.org/2000/01/rdf-schema#label intuitionistic mathematics
gptkbp:influenced gptkb:logic
intuitionistic logic
topos theory
constructive analysis
gptkbp:influencedBy gptkb:logic
gptkbp:opposedBy gptkb:law_of_excluded_middle
non-constructive existence proofs
gptkbp:relatedTo gptkb:Heyting_algebra
proof theory
Bishop's constructive mathematics
gptkbp:usedIn foundations of mathematics
gptkbp:bfsParent gptkb:Recursive_Functions_and_Intuitionistic_Mathematics
gptkb:constructivism_in_mathematics
gptkbp:bfsLayer 6