Stoa
Atlas/Tree

Mathematics — Fields & Subfields

The map of mathematics on one screen — how foundations, algebra, geometry, analysis, number theory, probability, discrete maths, and applied fields branch from a single root.

Branch
Zoom
Set TheoryCantor · 1874Mathematical Logicproof, model, computabili…Foundations & Logicwhat mathematics rests onLinear Algebravectors & transformationsAbstract Algebragroups, rings, fieldsAlgebrasymbols & structureEuclidean GeometryEuclid · c. 300 BCEAnalytic GeometryDescartes · 1637Differential GeometryGauss, Riemann · 19th c.Geometryshape & spaceCalculusNewton & Leibniz · 1670sReal AnalysisCauchy, Weierstrass · 19t…Complex AnalysisCauchy, Riemann · 19th c.Differential Equationsthe laws of changeAnalysislimits, change, continuityNumber Theorythe integersProbability TheoryKolmogorov · 1933Statisticsinference from dataProbability & Statist…chance & dataCombinatoricsthe art of countingGraph TheoryEuler · 1736Discrete Mathematicsthe countableMathematical Physicsthe laws of natureNumerical Analysiscomputing the answerApplied Mathematicsmathematics at workMathematicsnumber, structure, space,…

Each school is a star; the threads trace teachers to their heirs.

Select any school in the tree to read about it.

All schools by tradition

Mathematics

  • number, structure, space, change

    The study of quantity, structure, space, and change through deductive proof. Its great areas below are not separate subjects but connected regions of one landscape, forever borrowing tools from each other.

Foundations & logic

  • what mathematics rests on

    from Mathematics

    The study of mathematics's own bedrock — the rules of proof, the nature of sets, and the limits of what can be proved. It asks not what is true, but how we can know it with certainty.

  • Cantor · 1874

    from Foundations & Logic

    The theory of collections, which became the common foundation on which almost all modern mathematics is built. Cantor's discovery of different sizes of infinity opened the field.

  • proof, model, computability

    from Foundations & Logic

    The formal study of reasoning itself — what can be proved within a system and what cannot. Gödel's incompleteness theorems marked the permanent limits of any formal method.

Algebra

  • symbols & structure

    from Mathematics

    The study of operations and the abstract structures they obey — from solving equations to the general laws of symmetry. It gives every other field its symbolic language.

  • vectors & transformations

    from Algebra

    The theory of vector spaces and linear maps — the mathematics of matrices, systems of equations, and transformations. It is the workhorse of applied science and machine learning.

  • groups, rings, fields

    from Algebra

    The study of algebraic structures in the abstract — groups, rings, and fields defined only by their axioms. Group theory in particular captures the mathematics of symmetry itself.

Geometry

  • shape & space

    from Mathematics

    The study of shape, size, and space — the oldest branch of mathematics, and the one from which the very idea of rigorous proof first came, in Euclid's Elements.

  • Euclid · c. 300 BCE

    from Geometry

    The classical geometry of the plane and of space, deduced from a handful of axioms. For two thousand years its axiomatic method was the model of certain knowledge.

  • Descartes · 1637

    from Geometry

    Descartes' fusion of algebra and geometry through coordinates, letting curves be written as equations. It made calculus possible and united two ancient branches into one.

  • Gauss, Riemann · 19th c.

    from Geometry

    The study of curved spaces using calculus — surfaces, manifolds, and curvature. Riemann's geometry of curved space later gave Einstein the language of general relativity.

Analysis

  • limits, change, continuity

    from Mathematics

    The mathematics of the continuous — limits, change, and infinite processes. Born from calculus, it is the branch that made the modern physical sciences possible.

  • Newton & Leibniz · 1670s

    from Analysis

    The study of rates of change and accumulation through derivatives and integrals. Discovered independently by Newton and Leibniz, it is the gateway to all higher analysis.

  • Cauchy, Weierstrass · 19th c.

    from Analysis

    The rigorous foundation of calculus, defining limits, continuity, and convergence with precision. It replaced intuition about the infinitely small with airtight proof.

  • Cauchy, Riemann · 19th c.

    from Analysis

    The calculus of functions of a complex variable — surprisingly rigid and beautiful, where knowing a function near one point can fix it everywhere. Central to physics and number theory.

  • the laws of change

    from Analysis

    Equations relating a quantity to its own rates of change — the language in which nearly every physical law of motion, heat, and waves is written and solved.

Number theory

  • the integers

    from Mathematics

    The study of the whole numbers and their deep, hidden patterns — primes, divisibility, and Diophantine equations. Once the purest of pursuits, it now secures modern cryptography.

Probability & statistics

  • chance & data

    from Mathematics

    The mathematics of chance and of drawing conclusions from data. Probability models randomness; statistics reasons backward from observations to the process that produced them.

  • Kolmogorov · 1933

    from Probability & Statistics

    The rigorous mathematics of randomness, given firm axiomatic foundations by Kolmogorov. It models everything from coin tosses to the diffusion of particles and financial risk.

  • inference from data

    from Probability & Statistics

    The science of learning from data — estimating quantities, testing hypotheses, and quantifying uncertainty. It is the empirical method's mathematical engine.

Discrete & computation

  • the countable

    from Mathematics

    The mathematics of distinct, countable structures rather than the continuous — counting, graphs, and algorithms. It is the native mathematics of computer science.

  • the art of counting

    from Discrete Mathematics

    The study of counting, arrangement, and combination of finite structures. Simple to state yet often fiendishly hard, its problems underlie probability and algorithm design.

  • Euler · 1736

    from Discrete Mathematics

    The study of networks of nodes and connections, begun by Euler's puzzle of the bridges of Königsberg. It models everything from social ties to circuits and the internet.

Applied

  • mathematics at work

    from Mathematics

    Mathematics directed at problems in the sciences, engineering, and economics — modelling real systems and computing their behaviour. It repays pure mathematics with new questions.

  • the laws of nature

    from Applied Mathematics

    The development of mathematical methods for the problems of physics — and the discovery, again and again, that abstract mathematics turns out to describe the physical world.

  • computing the answer

    from Applied Mathematics

    The study of algorithms that approximate the solutions of continuous problems, controlling error along the way. It is what lets computers actually solve the equations of science.

Related encyclopedias

The Atlas is one connected web — continue with a neighbouring encyclopedia.