Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02948928n
Noun Concept
Categories: Methods of proof, Problem solving methods, Mathematical proofs
EN
proof by exhaustion  Separation of cases  brute force method  case splitting  Exhaustive proof
EN
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. Wikipedia
Definitions
Relations
Sources
EN
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. Wikipedia
Proof by examining all individual cases Wikipedia Disambiguation
proof by examining all individual cases Wikidata
The indirect verification or falsification of a statement by the verification or falsification of each of the finite number of cases which arise therefrom. Wiktionary
IS A
brute-force search
mathematical proof
HAS INSTANCE
four color theorem
DIFFERENT FROM
proof by example
DOES NOT HAVE QUALITY
elegance
Wikipedia
EN
proof by exhaustion
Wikidata
EN
proof by exhaustion
Wiktionary
EN
proof by exhaustion
Wikipedia Redirections
EN
brute force method, case splitting, Exhaustive proof, Perfect induction, Proof-by-exhaustion, proof by cases, Proof by Exhaustion, Separation of Cases, Separation of cases

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License