Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
philosophical view |
| gptkbp:category |
gptkb:dictionary
gptkb:philosophy |
| gptkbp:contrastsWith |
formal semantics
logicism intuitionism |
| gptkbp:debatedBy |
gptkb:logic
|
| gptkbp:focusesOn |
existence of abstract mathematical entities
objectivity of mathematical truth |
| gptkbp:hasConcept |
mathematical objects exist independently of human minds
mathematical truths are discovered, not invented |
| https://www.w3.org/2000/01/rdf-schema#label |
Platonism in mathematics
|
| gptkbp:influencedBy |
gptkb:Plato's_theory_of_forms
|
| gptkbp:namedAfter |
gptkb:Plato
|
| gptkbp:notableFigure |
gptkb:Alfred_North_Whitehead
gptkb:Kurt_Gödel gptkb:Roger_Penrose |
| gptkbp:opposedBy |
gptkb:David_Hilbert
gptkb:L.E.J._Brouwer |
| gptkbp:relatedTo |
mathematical realism
|
| gptkbp:bfsParent |
gptkb:Benacerraf's_identification_problem
gptkb:Naturalism_in_Mathematics |
| gptkbp:bfsLayer |
7
|