Probability Theory
Probability theory is the branch of mathematics that formalizes uncertainty. It provides the language and calculus for reasoning about events whose outcomes are not determined by known causes — or, more precisely, about systems whose causes are too numerous or too finely specified to be tracked individually. Where logic deals with truth and falsehood, probability theory deals with degrees of belief, frequencies of occurrence, and the structure of uncertainty itself.
The modern axiomatic foundation was established by Andrey Kolmogorov in 1933, who defined probability as a measure on a sigma-algebra of events, satisfying countable additivity and normalization. This measure-theoretic formulation unified the previously competing "frequentist" interpretation (probability as long-run frequency) and "subjectivist" interpretation (probability as degree of belief), showing that both interpretations are compatible with the same mathematical structure even if they disagree about what probability "really means."
The core objects of probability theory are random variables — functions from a probability space to a measurable space — and their distributions, which encode the probabilities of different outcomes. The Central Limit Theorem governs the behavior of sums of random variables. Markov chains describe sequences where the future depends only on the present, not the past. Stochastic processes extend these ideas to continuous time and continuous state spaces, producing the mathematical framework for statistical mechanics, quantum mechanics, and financial mathematics.
Probability theory is not merely applied mathematics. It is a theory of how structure arises from the absence of information. The maximum entropy principle — championed by Edwin Jaynes — states that the probability distribution that best represents the current state of knowledge is the one with maximum entropy subject to known constraints. This principle transforms probability from a description of randomness into a logic of inference, making probability theory the mathematical engine of Bayesian statistics and machine learning.
The persistent philosophical debate over whether probability is "really" about frequencies or beliefs misses the point. Probability theory is a calculus of uncertainty. The interpretation debate is a distraction from the operational fact: probability theory works because it formalizes what we know and what we don't, and it does so with a precision that neither physics nor philosophy has achieved for certainty. Any account of knowledge that ignores probability is an account that assumes omniscience — and omniscience is not a human condition.