Statements (60)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:book
|
| gptkbp:author |
gptkb:Alfred_North_Whitehead
gptkb:Bertrand_Russell |
| gptkbp:capacity |
gptkb:3
|
| gptkbp:contains |
proofs
theorems axioms |
| https://www.w3.org/2000/01/rdf-schema#label |
the Principia Mathematica
|
| gptkbp:impact |
foundational studies in mathematics
|
| gptkbp:influenced |
mathematical logic
philosophy of mathematics |
| gptkbp:language |
English
|
| gptkbp:notable_feature |
gptkb:Set
gptkb:Russell's_Paradox gptkb:Logic gptkb:Gödel's_incompleteness_theorems gptkb:political_theory gptkb:logical_atomism cardinality functions infinity mathematical formalism axiomatic method axiomatic set theory axiomatic systems computability theory model theory proof theory formal systems quantifiers mathematical induction logical positivism philosophical logic philosophy of logic the foundations of mathematics the nature of mathematical truth mathematical philosophy predicate calculus symbolic logic mathematical rigor propositional calculus relations completeness theorem the relationship between logic and mathematics philosophical implications of mathematics logical foundations of mathematics the evolution of mathematical thought the limits of formal systems the role of intuition in mathematics mathematical logic history mathematical semantics the impact of logic on mathematics the role of definitions in mathematics the significance of proofs in mathematics |
| gptkbp:published |
1910
|
| gptkbp:publisher |
gptkb:Oxford_University_Press
|
| gptkbp:subject |
gptkb:Mathematics
gptkb:Logic |
| gptkbp:bfsParent |
gptkb:Bertrand_Russell
|
| gptkbp:bfsLayer |
4
|