Hacker News new | ask | show | jobs
by jordigh 4191 days ago
Proof by exhaustion is considered a real argument as long as there are not too many cases to exhaust. One of the most dramatic examples is the proof of that result that goes... if RH is true, then the result is true. If RH is false, then the result is true. Therefore, the result is true!

So, why make the cut-off point of when exhaustiong is an explanation at some finite number of cases?