About Babel Bible
A self-study curriculum that takes a learner from foundations to graduate-level mastery across the sciences and humanities — math, physics, chemistry, biology, philosophy, language, and the social world. Every concept exists at three depths in a single source document; the site filters what you see.
The three tiers
Every unit is written at all three depths, and they run in sequence down the page — from the intuitive picture to the graduate-level treatment. Read top-to-bottom for the full arc, or skip to the depth you want; each tier's sections are labelled.
- Beginner — intuition, visuals, worked examples with everyday numbers. Math/physics anchors: 3Blue1Brown, Strogatz Infinite Powers. Other domains use their own field-canonical entry points. Endpoint: scientific and cultural literacy.
- Intermediate — definitions, proofs, exercises, scaffolded Lean puzzles where applicable. Math/physics anchors: Axler Linear Algebra Done Right, Apostol Calculus, Griffiths Electrodynamics. Endpoint: undergrad-textbook mastery.
- Master — full proofs, primary literature, hard problems, full Lean formalisation where Mathlib covers. Math/physics anchors: Lang Algebra, Hartshorne, Bott-Tu, Lawson-Michelsohn, Weinberg. Endpoint: graduate research readiness.
How units work
A unit is one concept — one theorem cluster, one technique. All three tiers live in the same markdown source, in labelled sections (Intuition [Beginner], Formal definition [Intermediate+], Advanced results [Master]) that run in sequence down the page.
Cross-references like [04.04.03] link to other units; if the target hasn't shipped yet, the reference shows as pending rather than breaking. Inline citations open a side panel with the source detail. Where Mathlib covers a result, the unit's Lean formalisation status is declared and aggregated on the Lean page below.
The curriculum is still filling in: some units are complete across all three tiers, others run deeper at one depth than another, and some citations are still being verified. What's published builds and cross-links cleanly.
Browse the curriculum
Three ways to find a unit.
Where the material comes from
Master-tier units cite primary literature with page references; where a citation is still being verified it's marked pending rather than dropped. The connections registry tracks cross-unit synthesis claims; the Lean status page records which units are formalised in Mathlib.
How it's produced
Babel Bible is written by an automated pipeline: each unit is drafted by language models working against the canonical literature of its field, then run through quality gates and human review before it ships. Cross-references are validated at build time and Lean proofs are machine-checked where Mathlib covers the result. The production plan, reviewer protocol, and house-style specs are all public.