Bayes Theorem

Bayes' theorem is a formula for updating the probability of a hypothesis as new evidence becomes available, expressing the probability of a hypothesis given evidence in terms of the probability of that evidence given the hypothesis, the hypothesis's prior probability, and the evidence's overall probability. Named after Thomas Bayes, an 18th-century English statistician and minister whose essay containing the theorem was published posthumously in 1763 by his friend Richard Price, the theorem is deceptively simple in form yet underlies an entire school of statistical reasoning — Bayesian inference — built around the idea that probability represents a degree of belief that should be systematically revised as evidence accumulates, rather than a fixed, purely frequency-based quantity.

The theorem's core move is reversing a conditional probability: it lets you calculate P(hypothesis given evidence) — usually the thing actually wanted — from P(evidence given hypothesis), P(hypothesis), and P(evidence), which are often easier to know or estimate directly. A medical test's accuracy is naturally stated as P(positive test given disease present) — how often the test correctly flags an actual case — but what a patient actually wants to know is the reverse: P(disease present given a positive test), and Bayes' theorem is specifically the formula that correctly converts between the two, rather than letting them be mistakenly treated as the same number, the exact confusion behind the base rate fallacy.

Prior belief
P(hypothesis) — before seeing the new evidence
New evidence observed
Likelihood
P(evidence given hypothesis) — how expected is this evidence if the hypothesis is true
Bayes' theorem combines prior and likelihood
P(hypothesis | evidence) = P(evidence | hypothesis) × P(hypothesis) / P(evidence)
Posterior belief
the updated, evidence-informed probability

The base rate — the prior probability of the hypothesis before any new evidence is considered — plays a decisive and frequently underappreciated role in the result, which is the central lesson behind nearly every real-world illustration of Bayes' theorem in action: for a rare disease with a low base rate, even a highly accurate diagnostic test (say, 99% accurate) can still produce a surprisingly low probability of actually having the disease given a positive result, because the number of false positives among the much larger healthy population can outnumber the true positives among the much smaller diseased population, despite the test's individually high accuracy. This counterintuitive result, sometimes called the false positive paradox, is a direct, mechanical consequence of the base rate term in Bayes' formula, not a flaw in the test itself, and it's the standard worked example used across statistics education specifically because intuition so reliably gets it wrong without the formal calculation.

Bayesian inference extends the theorem's basic logic into a full statistical framework: starting with a prior distribution representing existing belief about a parameter, updating it using observed data via the theorem to produce a posterior distribution, and in principle repeating the process as more data arrives, each round's posterior becoming the next round's prior — a framework philosophically distinct from frequentist statistics, which doesn't treat a parameter's value as having a probability distribution at all, only the data does, and this is the substantive methodological divide underlying the broader frequentist-versus-Bayesian split in statistics. Modern Bayesian methods have grown substantially in practical use alongside the growth of computing power, since many real Bayesian calculations (particularly with complex, high-dimensional models) require computationally intensive simulation methods like Markov chain Monte Carlo rather than a simple closed-form formula, making them considerably more computationally demanding than their frequentist counterparts were historically.

Naive Bayes classifiers — a family of machine learning models applying Bayes' theorem directly to classification problems, with a simplifying ("naive") assumption that all input features are conditionally independent of each other given the class — remain widely used for spam filtering and text classification specifically because they're fast to train, require relatively little data, and perform surprisingly well in practice despite the independence assumption rarely being strictly true of real features, a case where a known-to-be-imperfect assumption still produces a practically useful model.

Read Bayes' theorem as the rigorous mathematical answer to "how should a belief change in light of new evidence": its reversal of a conditional probability is what lets a hard-to-estimate quantity (the probability of a hypothesis given evidence) be calculated from an easier-to-estimate one (the probability of evidence given the hypothesis), the base rate's often-underestimated influence on the result is the mechanism behind the false positive paradox and the broader base rate fallacy, and the theorem's extension into full Bayesian inference represents a genuinely distinct philosophical approach to statistics from the frequentist tradition, one that's become increasingly practical as computing power has made its more demanding calculations tractable at scale.

Take Bayes theorem further

Ask the copilot about this term, or have our engineers assess it against your process.