Andrey Nikolaevich Kolmogorov (1903—1987) was a Soviet mathematician whose work spans probability theory, topology, turbulence, information theory, and algorithmic complexity. He is among the most broadly influential mathematicians of the twentieth century.
Core ideas
- Axiomatic probability theory: Kolmogorov’s Foundations of the Theory of Probability (1933) placed probability on rigorous measure-theoretic foundations, defining probability spaces as triples (sample space, sigma-algebra, measure) and deriving the laws of probability from a small set of axioms. This axiomatization unified previously disparate approaches and made probability a branch of modern analysis.
- BHK interpretation: the Brouwer-Heyting-Kolmogorov interpretation gives constructive meaning to the logical connectives of intuitionistic logic in terms of proofs: a proof of a conjunction is a pair of proofs, a proof of a disjunction specifies which disjunct is proved, and a proof of an implication is a construction transforming proofs of the antecedent into proofs of the consequent. In this vault, the BHK interpretation is referenced through Arend Heyting’s formalization of intuitionistic logic and its role in the semiotic universe.
- Algorithmic complexity: Kolmogorov complexity measures the information content of a string as the length of the shortest program that produces it. This connects computation, information, and randomness: a string is random if and only if it cannot be compressed.
Notable works
- Foundations of the Theory of Probability (Grundbegriffe der Wahrscheinlichkeitsrechnung, 1933)
- “Three Approaches to the Quantitative Definition of Information” (1965)
Related
- Arend Heyting — co-author of the BHK interpretation
- L. E. J. Brouwer — founder of the intuitionist program the BHK interpretation formalizes