Mathematics
From counting to abstraction
Follow what became mathematically thinkable as quantity, space, uncertainty, change, structure, and proof acquired new forms.
-
c. 3400 BCE
Uruk tablets preserve numerical accounts
Uruk scribal administrations
Late-fourth-millennium BCE tablets used numerical signs alongside commodity signs, making quantities in administration durable and inspectable without implying that writing began as modern arithmetic.
-
early 2nd millennium BCE
Sexagesimal place value expands representation
Old Babylonian scribes
Mesopotamian scribes used a base-sixty positional system for whole quantities and fractions; a sign's position carried magnitude even before a consistent zero placeholder existed.
-
copy c. 1650 BCE
The Rhind papyrus collects worked procedures
Ahmes and earlier Egyptian scribes
A surviving copy made around 1650 BCE preserves arithmetic and geometric problems derived from an older source; the date marks the copy, not the origin of every method it contains.
-
5th–4th centuries BCE
Deductive proof becomes a mathematical practice
Greek mathematical communities
Greek mathematical traditions increasingly organized claims as definitions, assumptions, and demonstrations, changing the question from whether a rule worked to why it followed.
-
c. 300 BCE
The Elements organizes mathematics axiomatically
Euclid and earlier Greek mathematical traditions
Euclid organized definitions, postulates, common notions, and proofs into a connected sequence of deductions, so results could be reproduced from stated assumptions.
-
compiled by c. 1st century CE
The Nine Chapters organizes algorithmic mathematics
Authors and commentators of The Nine Chapters
The received Han-era text (China) presents procedures for land measurement, proportions, taxation, linear problems, and geometry, with later commentaries explaining why algorithms work.
-
628
Zero becomes an object of arithmetic rules
Brahmagupta
Brahmagupta stated rules for calculations with zero and distinguished it from positive and negative numbers, although his treatment of division by zero was not modern.
-
c. 820 CE
Algebra becomes a systematic problem method
Muḥammad ibn Mūsā al-Khwārizmī
Al-Khwarizmi classified and solved types of equations through restoration and balancing, expressed in words. This established algebra as a teachable method without modern symbols.
-
1202
Liber Abaci adapts Hindu-Arabic calculation
Leonardo of Pisa and Mediterranean reckoning traditions
Fibonacci presented decimal positional numerals and commercial algorithms to a Latin readership, an influential transmission milestone rather than the European invention of the system.
-
1591
Letters express knowns and unknowns systematically
François Viète
Viète used letters for both given and unknown quantities, allowing classes of equations to be manipulated generally rather than only as worked numerical cases.
-
1637
Geometry and algebra become mutually translatable
René Descartes
Descartes showed how curves and geometric problems could be expressed by equations and algebraic operations, making shape accessible to symbolic calculation.
-
1654
Games of chance become mathematical expectation
Blaise Pascal · Pierre de Fermat
Correspondence between Pascal and Fermat analyzed fair division of stakes in interrupted games, helping turn uncertain outcomes into quantities that could be reasoned about.
-
1684
Differential calculus enters print
Gottfried Wilhelm Leibniz
Leibniz published rules and notation for differentials, giving calculus a compact symbolic language. His development was independent of Newton's and followed a different publication history.
-
early 19th century
Complex numbers gain a geometric plane
Carl Friedrich Gauss
Gauss's public discussion helped establish complex numbers as points in a two-dimensional plane, turning their operations into geometric transformations rather than formal impossibilities.
-
1829
Non-Euclidean geometry becomes explicit
Nikolai Lobachevsky
Lobachevsky published a coherent geometry in which Euclid's parallel postulate is replaced, showing that internally reasoned geometry need not describe only one possible space.
-
manuscripts 1830–1832; publication 1846
Symmetry determines solvability of equations
Évariste Galois
Galois connected permutations of roots with whether polynomial equations can be solved using arithmetic operations and root extraction. His manuscripts, written before his death, were published and recognized later.
-
1874
Sets organize infinite collections mathematically
Georg Cantor
Cantor's work on collections of real numbers introduced methods that grew into set theory, allowing infinite totalities to become direct mathematical objects.
-
1879
A formal language captures quantified reasoning
Gottlob Frege
Frege's Begriffsschrift introduced a precise logical calculus with quantification, allowing mathematicians to express and manipulate the steps of reasoning within mathematical statements.
-
1931
Formal arithmetic reaches intrinsic limits
Kurt Gödel
Gödel showed that sufficiently strong, consistent formal systems with mechanically specified axioms and inference rules leave some arithmetic truths unprovable within those systems. Under the required conditions for representing proofs, they also cannot prove their own consistency.
-
1976
A major proof delegates exhaustive cases to computation
Kenneth Appel · Wolfgang Haken
Appel and Haken proved that four colors suffice for a planar map of connected regions, with different colors across shared borders. Their computer checks over many configurations changed debate about what counts as inspectable mathematical proof.
Scroll, swipe, or drag to move through time