In the Principia Mathematica, Bertrand Russell and Alfred Whitehead attempted to give a rigorous foundation to mathematics using formal logic as their basis. They began with what they considered to be axioms, and used those to derive theorems of increasing complexity. By page 362, they had established enough to prove “1 + 1 = 2.

In the Principia Mathematica, Bertrand Russell and Alfred Whitehead attempted to give a rigorous foundation to mathematics using formal logic as their basis. They began with what they considered to be axioms, and used those to derive theorems of increasing complexity. By page 362, they had established enough to prove “1 + 1 = 2.

– Ted Chiang –

Stories of Your Life and Others

© License assigned to YouCanQuoteME. License CC BY-NC 4.0

📲 Copy this QR code to share the phrase wherever you want