the.com/principia mathematica
762 pages to prove 1+1=2, and math never fully recovered.
means a three-volume attempt by whitehead and russell to derive all of mathematics from pure logic, symbol by symbol.
from published 1910-1913 by bertrand russell and alfred north whitehead, born from russell's discovery of a paradox in set theory that threatened to unravel mathematics itself, so they tried to rebuild it on unshakeable logical foundations.
the proofpage 379 finally proves 1+1=2
the jokeauthors added a dry aside noting the proof took a while
the killergodel's incompleteness theorems undercut its whole goal in 1931
the rejectioncambridge press lost money, authors paid part of costs
for instance
russells paradox — the set-of-all-sets problem that started this whole project in 1901
godels incompleteness theorems — 1931 proof showing no system like this can be both complete and consistent
principia's notation — symbolic logic style later shaped computer science and formal proofs