A landmark three-volume work by Alfred North Whitehead and Bertrand Russell, *Principia Mathematica* aimed to ground all of mathematics in formal logic. It rigorously derives arithmetic and number theory from fundamental axioms. Though dense, it profoundly influenced analytic philosophy and computer science. Mathematicians and philosophers of logic benefit from studying its foundational proofs and the resulting theory of types.
Get alerts when this topic surges in newsletters. Free to start.
Sign up freeExplore more trends:Trending Topics ·AI Trends ·Business Trends ·Finance Trends ·Technology Trends