Principia Mathematica (Russell and Whitehead)
GPTKB entity
Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:abbreviation |
gptkb:PM
|
| gptkbp:author |
gptkb:Alfred_North_Whitehead
gptkb:Bertrand_Russell |
| gptkbp:class |
QA9 .W5
|
| gptkbp:countryOfOrigin |
gptkb:United_Kingdom
|
| https://www.w3.org/2000/01/rdf-schema#label |
Principia Mathematica (Russell and Whitehead)
|
| gptkbp:influenced |
gptkb:Kurt_Gödel
gptkb:Ludwig_Wittgenstein modern logic |
| gptkbp:language |
English
|
| gptkbp:mediaType |
gptkb:print
|
| gptkbp:notableFor |
attempt to derive all mathematical truths from a set of axioms using symbolic logic
introduction of type theory |
| gptkbp:numberOfVolumes |
3
|
| gptkbp:OCLC |
1859632
|
| gptkbp:precededBy |
gptkb:The_Principles_of_Mathematics
|
| gptkbp:publicationDate |
1910
1912 1913 |
| gptkbp:publisher |
gptkb:Cambridge_University_Press
|
| gptkbp:relatedWork |
gptkb:Principia_Mathematica_(Newton)
|
| gptkbp:subject |
gptkb:logic
gptkb:set_theory foundations of mathematics |
| gptkbp:bfsParent |
gptkb:Correspondence_Theory
gptkb:Correspondence_Theory_of_Truth |
| gptkbp:bfsLayer |
7
|