Three-volume collaborative work by Bertrand Russell and Alfred North Whitehead attempting to derive all of mathematics from purely logical axioms using type theory.
The most ambitious attempt at logicism: derives arithmetic, set theory, and analysis from logical axioms using the theory of types to block Russell's Paradox. Established the notation and methods of modern mathematical logic.
No conceptual lineage found.
No recorded contemporaries.
No recorded minds influenced.
No conceptual posterity found.
Discussing
Ask anything about Principia Mathematica — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.