proving

Definition

Establishing that a claim must hold, by deriving it from stated assumptions rather than observing it. In learning theory this means convergence guarantees and error bounds; in formal methods it means machine-checked proofs that a program meets its specification. The difference from empirical evidence is categorical: a proof rules out counterexamples within its assumptions, so the assumptions are where the real content sits.