Properties (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
book
|
| gptkbp:author |
gptkb:Alfred_North_Whitehead
gptkb:Bertrand_Russell |
| gptkbp:contains |
historical context
philosophical discussions theorems axiomatic set theory axioms formal systems predicate calculus mathematical definitions proofs of consistency propositional calculus logical paradoxes theory of types logical definitions proofs of completeness |
| gptkbp:field |
mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
the Principia Mathematica
|
| gptkbp:impact |
computer science
analytic philosophy foundational studies |
| gptkbp:influenced |
mathematical logic
philosophy of mathematics |
| gptkbp:inspiration |
subsequent works in logic
subsequent works in mathematics subsequent works in philosophy |
| gptkbp:is_available_in |
digital format
print format |
| gptkbp:is_featured_in |
a landmark in mathematics
a landmark in logic a landmark in philosophy |
| gptkbp:is_referenced_in |
textbooks
scholarly articles |
| gptkbp:is_used_in |
academic courses
|
| gptkbp:language |
English
|
| gptkbp:notableWork |
on logic
on mathematical proof on quantifiers on relations on set theory |
| gptkbp:passenger_traffic |
2
1 3 |
| gptkbp:publishedBy |
gptkb:Cambridge_University_Press
1910 |
| gptkbp:subject |
logic
philosophy foundations of mathematics |
| gptkbp:translatedInto |
multiple languages
|