Andrey Kolmogorov
modernMathematical Logic, Foundations of Mathematics, Soviet Mathematics1903 – 1987
Andrey Nikolaevich Kolmogorov (1903–1987) was a Soviet mathematician and one of the most influential figures in 20th-century mathematics, known for foundational contributions to probability theory, mathematical logic, topology, and information theory. His axiomatic formulation of probability (1933) established the field on rigorous measure-theoretic foundations. In logic and computability, he worked on intuitionistic logic and contributed foundational results concerning the limits of formal systems and recursive function theory.
Notable Achievements
1
Axiomatized probability theory on measure-theoretic foundations (1933), the standard treatment ever since
2
Independently developed algorithmic complexity theory (Kolmogorov complexity) as a measure of information content
3
Contributed to intuitionistic logic and the Brouwer–Heyting–Kolmogorov interpretation of constructive proofs
4
Proved foundational results on primitive recursive functions and the limits of universal function representation
5
Made landmark contributions to turbulence theory (K41 scaling laws) and classical mechanics (KAM theorem)