Everything about Principia Mathematica
3-volume treatise on mathematics, 1910–1913
The Principia Mathematica is a three-volume work on the foundations of mathematics written by the mathematician–philosophers Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. In 1925–1927, it appeared in a second edition with an important Introduction to the Second Edition, an Appendix A, and with an additional new Appendix B and Appendix C. PM was conceived as a sequel to Russell's 1903 The Principles of Mathematics, but as PM states, this became an unworkable suggestion for practical and philosophical reasons:"The present work was originally intended by us to be comprised in a second volume of Principles of Mathematics ... But as we advanced, it became increasingly evident that the subject is a very much larger one than we had supposed; moreover on many fundamental questions which had been left obscure and doubtful in the former work, we have now arrived at what we believe to be satisfactory solutions." Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Principia MathematicaA 5-minute orientation
- Skim a recent paper: Conceptual Frameworks on the Relationship Between Physics–Mathematics in the Newton Principia Geneva Edition (1822)Influential work since 2022
- Pick up a classic book: Introduction to Isaac Newtons PrincipiaThe most-reprinted book on the subject
- Read the landmark paper: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme ICited 2,192 times
- Go sideways: History of the function conceptA closely related topic
- Go sideways: Axiom of reducibilityA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🏆 Landmark papers (most cited)
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
Axiomatische Untersuchung des Aussagen-Kalkuls der ?Principia Mathematica?
The Mathematical Principles Underlying Newton's Principia Mathematica
Newton on the Beach: The Information Order of Principia Mathematica
🆕 Influential since 2022
Conceptual Frameworks on the Relationship Between Physics–Mathematics in the Newton Principia Geneva Edition (1822)
The deist controversy and John Craig’s Theologiae Christianae Principia Mathematica (1699)
British Physico-Theological Poetry and Newtonian Physics The Use of Principia Mathematica (1687) in Sir Richard Blackmore’s Creation (1712)
Report of the International Symposium Newton & Newton Philosophiae Naturalis Principia Mathematica Geneva Edition ([1739–1742]1822) University of Oxford, United Kingdom, September 22–23, 2023
Review of Principia Mathematica
đź“š Books worth reading
Introduction to Isaac Newtons PrincipiaI. Bernard Cohen · 1971
Many-Valued Logic between the Degrees of Truth and the Limits of KnowledgeSalah Osman · 2002
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- History of the function concept The mathematical concept of a function dates from the 17th century in connection with the development of calculus; for example, the slope dy/dx of a graph…
- Axiom of reducibility The axiom of reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Russell devised and introduced…
- First-order logic In mathematics, philosophy, linguistics, and computer science, first-order logic (FOL), also called predicate logic, predicate calculus, or quantificational…
- Consistency In deductive logic, a consistent theory is one that does not lead to a logical contradiction. A theory T is consistent if there is no formula φ such that…
- Peano–Russell notation In mathematical logic, Peano–Russell notation was Bertrand Russell's application of Giuseppe Peano's logical notation to the logical notions of Frege and…
- Outline of logic Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic…
- Metamathematics Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about…
- History of type theory The type theory was initially created to avoid paradoxes in a variety of formal logics and rewrite systems. Later, type theory referred to a class of formal…