Statements (98)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:book
|
| gptkbp:bfsLayer |
3
|
| gptkbp:bfsParent |
gptkb:Isaac_Newton
|
| gptkbp:author |
gptkb:Alfred_North_Whitehead
gptkb:Bertrand_Russell |
| gptkbp:capacity |
gptkb:3
|
| gptkbp:contains |
proofs
theorems axioms |
| gptkbp:field |
gptkb:philosopher
gptkb:Mathematician |
| 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:computer_science
gptkb:constructivism gptkb:Gödel's_incompleteness_theorems gptkb:collection 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_part_of |
gptkb:philosopher
gptkb:Russell-Whitehead_collaboration philosophy of mathematics mathematical literature logic literature |
| gptkbp:is_referenced_in |
gptkb:Philosophical_Investigations
gptkb:book gptkb:Wikipedia gptkb:Principia_Ethica Mathematical Logic scholarly articles encyclopedias |
| gptkbp:is_used_in |
university courses
|
| gptkbp:language |
English
|
| gptkbp:next_edition |
second edition
third edition |
| gptkbp:notable_feature |
gptkb:typeface
gptkb:logical_atomism axiomatic systems predicate calculus propositional calculus |
| gptkbp:notable_for |
gptkb:philosopher
gptkb:typeface gptkb:collection formal proofs axiomatic systems mathematical philosophy symbolic logic philosophical implications mathematical rigor |
| gptkbp:published_by |
1910
1912 1913 |
| gptkbp:publisher |
gptkb:University
|
| gptkbp:subject |
gptkb:philosopher
gptkb:Mathematician foundations of mathematics |
| gptkbp:translated_into |
gptkb:French
gptkb:Italian gptkb:Author gptkb:Spanish gptkb:Native_American_tribe |