An evidence-led visual history · c. 2000 BCE → 2026

Reason did not travel in a straight line.

Logic, algebra and artificial intelligence were not invented once and handed westward. They were assembled across clay tablets, papyrus, ports, schools, translation circles, equations, circuits and training clusters — with every culture changing what it inherited.

Follow the braid ↓ Jump to Boole’s hinge

This timeline marks what is documented, what developed independently, and what survives mainly as later tradition. Similarity is not automatically ancestry.

A braided history of logic, algebra, knowledge infrastructure and machines Four coloured paths begin with ancient writing, reasoning and calculation, cross through Greek, Indian and Islamicate traditions, converge around Boole, and continue through computers to modern AI. writing & transmission logic & argument number & algebra machines & AI Greek transformation Islamicate synthesis Boole computation hybrid AI

The braided chronology

55 transformations across four lineages.

Use the filters to follow one strand. Every milestone names both what it inherited and what it changed; evidence markers separate documented transmission from independent development and uncertain tradition.

Era 01 Before formal logic
55 / 55 milestones

The central hinge · 1847 → 1854

Boole joined two rivers.

One river carried the study of valid inference from Greek logic through late-antique, Syriac, Arabic and Latin traditions. The other carried equation-solving and symbolic operations through Babylonian, Egyptian, Indian, Islamicate and European mathematics.

inherited logic + symbolic algebra → a calculus of consequences

Boole’s immediate, documented influences were nineteenth-century British algebraists—especially Peacock, Gregory and De Morgan—rather than al-Khwārizmī directly. The deeper ancestry still matters: without the long development and transmission of algebra, there is no algebra available to apply to logic.

classes→symbols→equations→switches→programs

The twentieth-century fork

AI did not replace logic. It split around it.

Early artificial intelligence treated intelligent behaviour as explicit representation and rule-governed inference. Machine learning pursued a different bet: learn useful internal structure from data. Modern systems increasingly combine both.

Symbolic tradition

  • facts, rules and explicit representations
  • theorem proving, planning and expert systems
  • auditable deductions and formal verification
  • precise but brittle when the world is messy

Statistical / neural tradition

  • weights learned from examples and corpora
  • perception, language modelling and prediction
  • flexible pattern recognition at enormous scale
  • powerful but not inherently proof-producing

The reunion: proposals that can be checked

Language models suggest constructions, plans or proofs; symbolic engines, tools and verifiers test what actually follows. AlphaGeometry makes this architecture visible.

Claims the evidence cannot carry

A serious history needs guardrails.

“The Greeks invented reasoning from nothing.”

They inherited writing, calculation, measurement and astronomical knowledge. Their distinctive contribution was making validity and demonstration explicit objects of theory.

“Islamic scholars merely preserved Greek books.”

The Islamicate scholarly world translated and preserved texts, but also created systematic algebra, new logical systems, mathematical optics and original astronomy.

“Al-Khwārizmī invented algebra single-handedly.”

He reorganized older Babylonian, Greek and Indian procedures into a systematic discipline whose Arabic–Latin transmission decisively shaped European mathematics.

“LLMs are formal logic grown larger.”

Transformers learn statistical representations. Their outputs can support reasoning, but formal validity requires a separate proof, execution, test or verification process.

Evidence trail

Follow the scholarship.

Milestone links open the most relevant source. This reading shelf collects the principal academic histories, primary works and institutional sources used to build the larger argument.