📚Principia Mathematica Defines Modern Concepts in 1910
The book that shaped modern computing and logic
TL;DR
Published in 1910, Principia Mathematica introduced concepts like type theory and lambda calculus. It took a thousand pages to prove 1+1=2 but laid the groundwork for modern computing.
Principia Mathematica was published way back in 1910 by Bertrand Russell and Alfred North Whitehead. This book didn't just introduce concepts like type theory and lambda calculus; it also anticipated continuations and control operators through its concept of 'incomplete symbols'. It's famous for proving 1+1=2 over a thousand pages, but that's not the point. The real impact is how it shaped modern computing and logic. If you're into functional programming or type systems, this book is your ancestor. Key details: published in 1910, introduced 'type' in its modern sense on page 8, and discussed propositional functions as early as page 15.
Key Points
Published in 1910 by Bertrand Russell and Alfred North Whitehead
Discusses referential transparency, extensionality, and type on page 8
Introduces propositional functions on page 15, anticipating lambda calculus
Takes a thousand pages to prove that 1+1=2, but sets the foundation for modern logic
Anticipates continuations and control operators through 'incomplete symbols'
Why It Matters
Principia Mathematica introduced concepts like type theory and lambda calculus on page 8 and 15 respectively. If you're into functional programming or working with type systems, this book is your great-grandparent. It's not just historical; it's foundational.
Frequently Asked Questions
Why does this matter?
Principia Mathematica introduced concepts like type theory and lambda calculus on page 8 and 15 respectively. If you're into functional programming or working with type systems, this book is your great-grandparent. It's not just historical; it's foundational.
What happened?
Published in 1910, Principia Mathematica introduced concepts like type theory and lambda calculus. It took a thousand pages to prove 1+1=2 but laid the groundwork for modern computing.
Comments
Be the first to comment
Enjoyed this article?
Get it daily. 7am. Free. Reads in 5 minutes.
Join 2,950 builders reading daily.