|
gptkbp:instanceOf
|
gptkb:philosophy
|
|
gptkbp:allows
|
potential infinity
|
|
gptkbp:contrastsWith
|
gptkb:Platonism
formal semantics
logicism
|
|
gptkbp:emphasizes
|
mathematical constructions
|
|
gptkbp:field
|
gptkb:mathematics
gptkb:philosophy
|
|
gptkbp:hasConcept
|
mathematical objects are mental constructions
truth is based on provability
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Intuitionism
|
|
gptkbp:influenced
|
gptkb:logic
gptkb:category_theory
proof theory
intuitionistic logic
topos theory
|
|
gptkbp:influencedBy
|
gptkb:Henri_Poincaré
gptkb:Immanuel_Kant
|
|
gptkbp:mainProponent
|
gptkb:L._E._J._Brouwer
|
|
gptkbp:notableFigure
|
gptkb:Stephen_Kleene
gptkb:Arend_Heyting
|
|
gptkbp:notableWork
|
"Foundations of Mathematics" by L. E. J. Brouwer
|
|
gptkbp:opposedBy
|
gptkb:classical_logic
gptkb:law_of_excluded_middle
actual infinity
|
|
gptkbp:originatedIn
|
early 20th century
|
|
gptkbp:relatedTo
|
constructivism
finitism
|
|
gptkbp:bfsParent
|
gptkb:Mathematical_Formalism
gptkb:Mathematical_Truth
gptkb:Book_III_and_IV_of_The_Methods_of_Ethics
|
|
gptkbp:bfsLayer
|
6
|