Placeholder post: Why I'm reading Principia Mathematica
Principia Mathematica is a math textbook by A.N. Whitehead and Bertrand Russell which derives various mathematical truths from the laws of (higher-order) logic and a small number of axioms. It is "famous" for taking hundreds of pages to get around to proving that 1 + 1 = 2, and although they …