Registry · Remark IV.R322 tau-effective not_applicable

IV.R322 — Why ``squared''?

The Born rule's "square" is the same square as in Pythagoras: a^2 + b^2 = c^2; probability is squared amplitude because the Hilbert-space norm is the square root of the sum of squared components, so the Born rule contains no more mystery than the Pythagorean theorem.

Book IV Part 3 Ch. 21

Lean Formalization

Module: