∫₀¹ f(x)dx = 1
kakuritsu
a theater for probability — the quiet architecture of likelihood
P(A∩B) = P(A)·P(B|A)

The shape of expectation

A grid governed by a Gaussian curve. The weight of each card follows a density function — most mass at the center, attenuating to the margins.

σ₋₂

Prior

A belief before evidence.

P(A)
σ₋₁

Conditionality

The probability of one event given the presence of another — knowledge as constraint.

P(A|B)
μ — center of mass

The mean of belief

Every distribution has a center. Here the expected value rests in full view, the axis around which uncertainty is measured. Beneath it, variance organizes itself into symmetric descent.

E[X] = Σ xᵢ · p(xᵢ)
σ₊₁

Likelihood

A function of the data, measured against a hypothesis.

L(θ|x)
σ₊₂

Tail

Rare outcome.

P(|X|>3σ)
ledger

Bayes' theorem

A rule for updating belief in the light of new evidence.

P(A|B) = P(B|A)·P(A) / P(B)
central limit

Convergence of sums

Independent draws from any distribution, averaged, tend toward normality. The bell curve emerges not by decree but by accumulation — a theorem that keeps reasserting itself in the presence of enough samples.

(X̄ − μ) · √n / σ → N(0, 1)
variance

Second moment

The expected squared deviation from the mean.

σ² = E[(X − μ)²]
entropy

Maximum entropy

When nothing is known, every outcome is equally admissible.

H(X) = −Σ p(x) log p(x)
independence

The null hypothesis

A default assumption of no effect. Rejected only when the evidence is sufficiently improbable under its terms.

H₀ : θ = θ₀
posterior

Belief after evidence

The updated distribution, once the data has spoken.

p(θ|x) ∝ p(x|θ) · p(θ)
lim n→∞

The law of large numbers

As the sample grows, the sample mean draws nearer to the expected value. Variation is not abolished; it is merely averaged away. What seems chaotic in a single trial resolves, under sufficient repetition, into the lawful shape of its own expectation. The many become the one — not by erasure, but by arithmetic.

X̄ₙ → μ   (as n → ∞)
X ~ U(0,1)

Sampling the unordered

A moment of released constraint. Each card is a realized value — dropped from a distribution, finding its own coordinate in the probability plane.

draw · 001

Uniform

Every outcome equally admissible within its range.

X ~ U(a, b)
draw · 017

Poisson

Counts of rare events arriving at a steady average rate.

P(k) = λᵏe⁻ᵏ/k!
draw · 042

Exponential

The interval between consecutive memoryless events.

f(x) = λe⁻ˣλ
draw · 066

Binomial

The sum of independent Bernoulli trials — success is counted.

P(k) = C(n,k) pᵏ(1−p)ⁿ⁻ᵏ
draw · 104

Gaussian

The limit shape of aggregated independence.

N(μ, σ²)
draw · 133

Geometric

Number of trials before a first success.

P(k) = (1−p)ᵏ⁻¹ p
draw · 168

Beta

A distribution over probabilities themselves.

Beta(α, β)
draw · 201

Bernoulli

A single binary trial — the atom of probability.

P(X=1) = p
draw · 239

Log-normal

The multiplicative cousin of the Gaussian.

ln X ~ N(μ, σ²)
§ 04 — Terminal Point

A single point, certified.

Every probability ends where it began — a point in the plane, a claim awaiting evidence. The theater closes not with conclusion but with continuation.

P = 1.00