Statements (103)
| 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 |
| gptkbp:field |
gptkb:Mathematics
gptkb:Logic |
| gptkbp:first_edition |
second edition
third edition |
| https://www.w3.org/2000/01/rdf-schema#label |
Principia Mathematica
|
| gptkbp:impact |
development of logic
foundational work in mathematics philosophical discussions on mathematics |
| gptkbp:influenced |
gptkb:computer_science
mathematical logic philosophy of mathematics modern logic |
| gptkbp:influenced_by |
gptkb:Frege's_Begriffsschrift
gptkb:Gottlob_Frege gptkb:David_Hilbert gptkb:Georg_Cantor |
| gptkbp:is_available_in |
public domain
|
| gptkbp:is_cited_in |
gptkb:Set
gptkb:computer_science gptkb:constructivism gptkb:Gödel's_incompleteness_theorems gptkb:philosophy_of_science formal verification computational theory mathematical foundations mathematical logic philosophy of mathematics axiomatic set theory epistemology philosophy of language program verification proof theory formal semantics formal systems Turing's work on computability analytic philosophy logical positivism modern logic philosophical logic mathematical philosophy metamathematics quantifier theory philosophy of mathematics education mathematical intuitionism theory of types |
| gptkbp:is_discussed_in |
academic papers
books on mathematics books on philosophy books on logic |
| gptkbp:is_notable_for |
gptkb:Set
gptkb:Logic gptkb:political_theory formal proofs axiomatic systems mathematical philosophy symbolic logic philosophical implications mathematical rigor |
| gptkbp:is_part_of |
gptkb:Russell-Whitehead_collaboration
gptkb:philosophy philosophy of mathematics mathematical literature logic literature |
| gptkbp:is_referenced_in |
gptkb:Philosophical_Investigations
gptkb:Wikipedia gptkb:Principia_Ethica gptkb:textbooks Mathematical Logic scholarly articles encyclopedias |
| gptkbp:is_used_in |
university courses
|
| gptkbp:language |
English
|
| gptkbp:notable_feature |
gptkb:political_theory
gptkb:logical_atomism axiomatic systems predicate calculus propositional calculus |
| gptkbp:published |
1910
1912 1913 |
| gptkbp:published_in |
1910
1912 1913 |
| gptkbp:publisher |
gptkb:Oxford_University_Press
|
| gptkbp:subject |
gptkb:Mathematics
gptkb:Logic gptkb:philosophy foundations of mathematics |
| gptkbp:translated_into |
gptkb:French
gptkb:Italian gptkb:Spanish gptkb:German gptkb:Russian |
| gptkbp:bfsParent |
gptkb:Bertrand_Russell
gptkb:Isaac_Newton |
| gptkbp:bfsLayer |
4
|