Talk:Proof by exhaustion
From Wikipedia, the free encyclopedia
 |
This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details. | ||||||||
| ??? | This article has not yet received a rating on the quality scale. | ||||||||
| ??? | This article has not yet received an importance rating on the importance scale. | ||||||||
|
|||||||||
[edit] controversy?
I don't think that proof by exhaustion itself is controversial at all among mathematicians -- but its application or use in particular circumstances (e.g. 4-colour theorem) IS controversial. I think it's important to make this distinction clear. The logical validity of proof by exhaustion is not in doubt, but its application and veracity in concrete cases by mortal humans is another matter. Revolver
- Agreed. Specific applications of this method of proof may be controversial, but the method itself is not. Gandalf61 08:31, Nov 9, 2003 (UTC)
It may not be controversial to use but still may be seen as less valid from the point of view of understanding. It could be to do with the general mistrust of computers! skukok
Aside from that, one could mention, for example, chess problems, as a mid-range example where the proof is effectively exhaustive.
Charles Matthews 08:22, 9 Nov 2003 (UTC)
- Yes - good example - I will expand the page at some point to include this (if no-one else gets there first !). Gandalf61 08:31, Nov 9, 2003 (UTC)
[edit] Merge from Case analysis
Correct me if I'm wrong, but the concepts seem to be identical -- no reason to have two pages. I think Proof by exhaustion should be the main page (with Case analysis redirecting to it), as it is (I think) the more commonly used term, and there are more wikipedia pages linking directly to it. Dbtfz 04:35, 23 January 2006 (UTC)
- I have a different opinion. Proof by exhaustion is a mathematical term that refers to a specific technique of mathematical proof. Case analysis is a more general term used in philosophy and logic. I think someone following the case analysis link from, for example, the article on casuistry would be surprised to find themselves in an article about mathematics. OTOH, if the proof by exhaustion article were made more general, then it would no longer match a mathematician's understanding of the term. I think the two articles should remain separate. Gandalf61 11:30, 23 January 2006 (UTC)
- Thanks for the input, Gandalf61. You're probably right that the articles should remain separate. I'm going to remove the reference to case analysis in the first sentence of this article, since it seems to equate case analysis with proof by exhaustion. I'll leave the merge proposal up for a little while longer, though, just in case anyone else wants to chime in. Dbtfz (talk - contribs) 06:01, 27 January 2006 (UTC)
