Registry · Theorem
IV.T27
tau-effective
formalized
IV.T27 — Born Rule
P(m₀,n₀) = |c_{m₀,n₀}|²: probability of address resolution yielding (m₀,n₀). A theorem from Pythagorean geometry (Parseval) + Gleason uniqueness on infinite-dimensional H_τ. Not a postulate.
Book IV
Part 3
Ch. 21