Quote:
Originally Posted by BobJoeJim
The thought experiments and nutshell explanations aren't what I'm having trouble with. I understand the claim, I just don't see how it could be true, and that's where the math (which I don't understand) comes in to prove that it is true. Maybe that means I don't understand the thought experiments as well as I think? The cave example from wiki is cute, but I don't see how it proves anything. It provides significant confidence, but still doesn't *prove* she knows the code unless you do it infinite times, which defeats the purpose.
Yeah, you understand it fine. There will always be some insanely low chance that the person claiming to have the proof has just gotten lucky, but then there is some insanely low chance that a grandmaster doesn't even now the rules to chess and has been getting lucky. These proofs are probabilistic, so you are correct that it is a different notion of proof than say a number theory proof, where you don't show that it is really, really unlikely for an exception to Fermat's Last Theorem to exist, you show it is impossible.
The cave example can't and shouldn't convince you that the result is true for chess or any complicated game. What the papers are doing is showing that no matter how complicated prefect chess* is,it can be mapped to a souped up version of the cave problem. But those papers are beyond graduate level and 95% of math PhDs couldn't prove it, so it's ok if it doesn't seem obvious, because it isn't at all.
But intuitively, this result should confirm something you already realize even if you haven't thought about the it directly. That some problems can be very hard to solve, but if somebody gives you the answer, it isn't nearly as hard to see that it is correct. That alone doesn't guarantee the chess result, but it is sort of an overall theme as to what is going on.
** And to clarify, as I did in the later post, the author of the paper doesn't actually construct a cave situation for chess, he proves that a very general class of problems, of which chess is an example, must always have a cave situation that can be constructed.
Last edited by Max Raker; 02-15-2011 at 02:38 PM.