Proof and mathematical thinking

Context

The oldest technology in this curriculum. Around 300 BCE Euclid compiled the Elements: a handful of axioms, and from them, theorem after theorem, each compelled by the ones before. It became the most reprinted secular book in history and the template for what "knowing something for certain" means — Newton wrote the Principia in its geometric style centuries after algebra would have been easier, because Euclid's form was rigor. Abraham Lincoln kept a copy in his saddlebag and taught himself the first six books to learn what it means to demonstrate.

Rigor arrives late. The scandal is how long the standard stayed informal everywhere else. Calculus ran for 150 years on infinitesimals nobody could define — Berkeley's 1734 jibe about "ghosts of departed quantities" was fair — until Cauchy, Weierstrass, and the ε-δ definition rebuilt analysis in the 19th century. That cleanup is what made the foundations crisis possible: only after proof was formalized could Gödel prove theorems about proof itself.

What proof actually is. Working mathematicians almost never write formal derivations; they write arguments that convince other mathematicians a formal derivation exists. Lakatos's Proofs and Refutations shows the real process — conjecture, counterexample, repaired definition — as a dialogue, not a monologue. And the edges are live: the 1976 four-color theorem was the first major proof no human has ever checked by hand (a computer verified thousands of cases, and mathematicians argued for years about whether that counts), and today proof assistants like Lean formalize research mathematics for machine verification — Leibniz's calculemus, arriving three and a half centuries late as software. This unit is the practicum: learning to read and write the argument form everything else in the math path is written in.

How to read it

This unit is optional. Take it if the foundations crisis left you wanting to read math at a technical level, or if you find yourself wanting to write proofs rather than read summaries. Skip otherwise, guilt-free.

Anchor. Velleman, How to Prove It. The standard introduction to mathematical reasoning. Earn it slowly — the point is the habit, not the speed.

Companion. Polya, How to Solve It. The classic short book on mathematical problem-solving heuristics.

What it unlocks: the ability to read primary sources — Bell's original papers, Gödel's original paper — rather than popularizations.