3 ms·
Incorrect. Proof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical
by high_na_euv 2y ago
Incorrect.
Proof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds.
- xigoi 2y agoI know. Tests are not the same thing – usually they check only a subset of all possible cases.
- high_na_euv 2y agoBecause usually people do not write critical/important software :)
- xigoi 2y agoThat’s irrelevant. I was just responding to a comment saying that tests are a proof.
- high_na_euv 2y agoAnd they definitely can be