Statements (60)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
gptkb:philosophy |
| gptkbp:address |
gptkb:epistemology_of_mathematics
mathematical realism paradoxes in mathematics mathematical practice existence of mathematical objects objectivity of mathematics ontology of mathematics anti-realism in mathematics infinity in mathematics mathematical explanation mathematical language nature of mathematical proof relationship between mathematics and reality role of logic in mathematics |
| gptkbp:hasSubfield |
philosophy of logic
philosophy of computation philosophy of arithmetic philosophy of category theory philosophy of geometry philosophy of mathematical practice philosophy of set theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Philosophy of Mathematics
|
| gptkbp:includes |
gptkb:Platonism
constructivism formal semantics logicism intuitionism scholasticism structuralism |
| gptkbp:key |
gptkb:Principia_Mathematica
gptkb:Proofs_and_Refutations gptkb:Foundations_of_Arithmetic gptkb:Introduction_to_Mathematical_Philosophy What is Mathematics? |
| gptkbp:notableContributor |
gptkb:Alfred_North_Whitehead
gptkb:Bertrand_Russell gptkb:David_Hilbert gptkb:Georg_Cantor gptkb:Imre_Lakatos gptkb:Kurt_Gödel gptkb:Ludwig_Wittgenstein gptkb:Michael_Dummett gptkb:Richard_Dedekind gptkb:Paul_Benacerraf gptkb:Hartry_Field gptkb:L.E.J._Brouwer gptkb:Frege |
| gptkbp:relatedTo |
gptkb:logic
gptkb:mathematics gptkb:philosophy |
| gptkbp:studies |
gptkb:logic
gptkb:mathematics foundations of mathematics mathematical objects mathematical truth nature of mathematics |
| gptkbp:bfsParent |
gptkb:Stephen_Barker
|
| gptkbp:bfsLayer |
6
|