mathematical induction
nounDefinitions
A method of proof which, in terms of a predicate P, could be stated as
A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n.
The neighborhood
Vish — recursive loop
No curated loop yet for mathematical induction. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA