Eudoxus Develops Method of Exhaustion
Eudoxus of Cnidus formalizes the method of exhaustion, a precursor to integral calculus used to compute areas and volumes. #math #history
This timeline traces the evolution of real analysis and measure theory from ancient Greek exhaustion methods to 20th-century formalizations and modern advances, highlighting key figures, definitions, and theorems that shaped rigorous mathematical analysis.
Eudoxus of Cnidus formalizes the method of exhaustion, a precursor to integral calculus used to compute areas and volumes. #math #history
Archimedes uses the method of exhaustion to find the area bounded by a parabola and a line, an early example of integration. #math #history
Madhava of Sangamagrama, of the Kerala school, develops infinite series expansions for trigonometric functions, anticipating calculus. #math #india
Bonaventura Cavalieri publishes Geometria Indivisibilibus, a geometric method for calculating integrals that influences later calculus. #math #history
Isaac Newton creates his method of fluxions and infinite series, laying foundations for differential and integral calculus. #math #calculus
Gottfried Wilhelm Leibniz publishes his differential calculus, introducing the d-notation and integral sign that remain in use. #math #calculus
Bernard Bolzano gives a purely analytic proof of the intermediate value theorem without geometric intuition, advancing rigorous analysis. #math #analysis
Augustin-Louis Cauchy in Cours d'Analyse defines limits, continuity, and convergence, providing a rigorous foundation for calculus. #math #analysis
Niels Henrik Abel proves the impossibility of solving general quintic equations by radicals and contributes to convergence of series. #math #algebra
Johann Peter Gustav Lejeune Dirichlet formulates sufficient conditions for pointwise convergence of Fourier series, advancing analysis. #math #analysis
Bernhard Riemann presents a rigorous definition of the definite integral, now called the Riemann integral, in his habilitation thesis. #math #analysis
Karl Weierstrass formalizes the rigorous (ε, δ)-definition of limits and continuous functions, standardizing real analysis. #math #analysis
Georg Cantor publishes his work on infinite sets, proving that the real numbers are uncountable and founding set theory. #math #settheory
Ulisse Dini publishes his theory of uniform convergence of functions, a critical concept in real analysis. #math #analysis
Vito Volterra defines functions of bounded variation and studies their differentiability properties, influencing integration theory. #math #analysis
Émile Borel publishes his work on measure theory, introducing Borel sets and the concept of measure of a set. #math #measuretheory
René-Louis Baire proves the Baire category theorem, a fundamental result in general topology and functional analysis. #math #topology
Henri Lebesgue defines the Lebesgue measure and integral, revolutionizing integration theory with a more general approach. #math #measuretheory
Maurice Fréchet introduces the concept of metric spaces, abstracting notions of distance and convergence. #math #topology
Frigyes Riesz proves the Riesz representation theorem linking linear functionals on continuous functions to measures. #math #analysis
Guido Fubini proves the theorem allowing double integrals to be computed as iterated integrals, a key tool in measure theory. #math #analysis
Giuseppe Vitali proves the Vitali convergence theorem, giving conditions for interchange of limit and integral. #math #analysis
Constantin Carathéodory provides a general method for extending pre-measures to measures, now a standard construction. #math #measuretheory
Hugo Steinhaus studies almost everywhere convergence and related measure-theoretic concepts. #math #analysis
Otto Nikodym and Johann Radon prove the Radon–Nikodym theorem concerning derivatives of measures. #math #measuretheory
John von Neumann proves the spectral theorem for unbounded self-adjoint operators, deepening operator theory. #math #analysis
Stefan Banach's monograph establishes normed vector spaces and uniform boundedness principle, founding functional analysis. #math #analysis
Salomon Bochner introduces the Bochner integral for functions with values in Banach spaces, extending Lebesgue integration. #math #analysis
Andrey Kolmogorov publishes Foundations of the Theory of Probability, basing probability on measure theory. #math #probability
Paul Halmos writes Measure Theory, a classic textbook that standardizes exposition of the subject. #math #books
Laurent Schwartz formalizes distributions (generalized functions), enabling rigorous treatment of singular phenomena in analysis. #math #analysis )
Walter Rudin's textbook becomes a standard introduction to real analysis for generations of students. #math #books
Abraham Robinson develops nonstandard analysis using hyperreal numbers to provide an alternative foundation for calculus. #math #logic
Lars Hörmander's work on hypoellipticity and Fourier integral operators deepens analysis of PDEs. #math #analysis
Herbert Federer publishes Geometric Measure Theory, developing area and coarea formulas for Lipschitz functions. #math #geometry
Charles Fefferman resolves the problem of almost everywhere convergence of Fourier series for L² functions. #math #analysis
Edward Nelson provides an axiomatic approach to nonstandard analysis called internal set theory, simplifying its usage. #math #logic
Michael Freedman proves the topological Poincaré conjecture in dimension 4, using geometric and analytic techniques. #math #topology
Jean Bourgain makes fundamental contributions to harmonic analysis, including restriction theorems and nonlinear PDEs. #math #analysis
Terence Tao wins the Fields Medal for contributions to harmonic analysis, partial differential equations, and combinatorial number theory. #math #award