Principia Mathematica is modern and insightful
Bertrand Russell and Alfred North Whitehead’s *Principia Mathematica* is revisited here as both a foundational milestone in mathematical logic and a nearly unreadable artifact whose archaic notation and sheer bulk limit its modern usability. Commenters weigh its historical impact against later developments such as Gödel’s incompleteness theorems, alternative foundations like ZFC and Homotopy Type Theory, and more approachable works (from *Gödel, Escher, Bach* to comics like *Logicomix*) that introduce similar ideas. A recurring theme is how best to learn advanced logic and foundations today—through original sources, modern refactorings, or pedagogically focused texts and proof assistants.
Accessibility and Difficulty of Principia Mathematica
- Widely regarded as extremely hard to read cover-to-cover; archaic notation and sheer length are major barriers.
- Some argue advanced undergraduates could, in principle, handle the material, but most doubt any undergrad course would realistically assign it in full.
- Others suggest reading it today is more of a historical project than an efficient way to learn logic.
Gödel, Incompleteness, and “Errors” in PM
- One view: there is a “huge logical error” at the heart of the project, revealed by incompleteness.
- Counter-view: incompleteness theorems show limitations of any sufficiently strong formal system, not a specific logical mistake in PM.
- Additional point: PM itself already needed extra-logical axioms and had known internal limitations; Gödel’s work built on this landscape.
Related Books and On-Ramps
- Recommended gentler introductions: Russell’s Introduction to Mathematical Philosophy, the graphic novel Logicomix, and popular expositions of incompleteness.
- Several comments discuss Gödel, Escher, Bach: described as inspiring, approachable, and “high-quality vibes,” but some find it dated, especially its AI speculation.
- Other suggested resources: works explaining seminal papers (e.g., on Newton, Maxwell, Einstein, Turing) for “educated common readers.”
Debates on Reading Classics vs Modern Texts
- Strong skepticism toward claims of having “read” massive classics (PM, Euclid, Newton, Bourbaki) deeply; emphasis on how intrinsically hard original texts are.
- Some institutions reportedly teach from originals (e.g., Euclid, Newton), which others find philosophically interesting but pedagogically questionable compared to modern expositions.
Type Theory, HoTT, and Programming
- Some suggest skipping PM and going straight to homotopy type theory, dependent types, and higher inductive types as more fruitful and relevant for functional programming.
- Discussion of univalence: distinction between equality and equivalence; use of equivalence as a second, more flexible notion of “sameness.”
- Debate over foundations: ZFC is described as the de facto basis for most working mathematicians, but alternative foundations like HoTT are seen as serious contenders with different strengths.
Historical, Technical, and Miscellaneous Notes
- PM influenced early automated reasoning; an early AI program proved many of its theorems and even shortened one proof.
- Comments highlight PM’s unusual notation (e.g., dot-based precedence instead of parentheses) and the broader historical difficulty of typesetting mathematics, leading eventually to systems like TeX.