Chess will never be solved, here's why

Sort:
Avatar of Optimissed
haiaku wrote:

@Optimissed,

Your vision of science is (no offense) old school, positivistic. I follow Popper's approach: nothing can be really sure if you don't have all the necessary informations and since we do not know everything about our universe, we do not know whether what we don't know is not necessary to full understand what we already "know". @Elroch mentioned Jaynes, too. I think that most scientists today are not positivits, even if they do not talk much about that; nevertheless you know that they refrain to call QM or GR other than "theories", even if these have been well supported by experiments for more than a century. So, no, we don't even know for sure that the sun will rise tomorrow: in the future, we could find evidence that a star can explode for inexplicable (to current knowledge) reasons, even if such an event would be extremely rare, of course, otherwise we would have already observed many times stars like the sun explode for no apparent reason.

As for chess, it is justified to hypothesize that the game may be other than a draw, because just one forcing winning line would render all the drawing lines irrelevant to the topic. That's why many can say "chess is a draw", or better "chess is likely a draw", but no one dares to write a paper stating that chess is ultra-weakly solved.

You are completely mistaken. You seem to misunderstand completely the idea of positivism (I'm nowhere near being a positivist ... just the opposite in fact) and also the tension which exists between science, which is always evidence led even though it seeks to establish a body of theory, with hypothesis.

The best thing for you is to read my repost, #3782 and to base your comments on that. Although it's allegorical, it outlines the basic conflicts which have confused you. Unless you approach it in that way, from the ground up, it will not be possible to see where you base your judgements.

The reason I sometimes criticised you, from the beginning of your posting here, is that I could tell there are basic conflicts within your model of science. Less astute people, like Elroch, as an example, although intelligent, are less likely to pick up on them. grin

Avatar of haiaku
tygxc wrote:

"You have used this kind of argument many times" ++ It is no argument, it is an observation: 'provability is a higher degree of truth' - Scientific American

tygxc wrote this many times. It is an unreferenced (where exactly did he read that? He does not remember, so nobody can falsify him), out of the context, ambiguous ("higher degree"?) and irrelevant statement, because if it says that something can be true without having been proven (which is just obvious), it does not state that tygxc knows what is true without proofs.

tygxc wrote:

[ . . . ]

The usual deceptions...

tygxc wrote:

'you know that they refrain to call QM or GR other than "theories",'
++ No, not at all. A century ago people spoke of 'Quantum Theory' and 'Relativity Theory'. Nowadays [ . . . ] those are no longer 'theories'.

Emphases in green are mine:

"General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics." [1]

"Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles." [2]

Now of course he will say that I simply read these things on Wikipedia and that he knows much better, but it is not true. Beware the pseudoscientists!

Avatar of tygxc

#3787
Wikipedia is not a reliable source. Anybody can edit there.
The entries are 'general relativity' and 'quantum mechanics', not 'relativity theory' or 'quantum theory' as they were formerly known.
They are considered true as they are consistent with observed facts, but they are not formally proven.

Avatar of haiaku
Optimissed wrote:

The reason I sometimes criticised you, from the beginning of your posting here, is that I could tell there are basic conflicts within your model of science.

 

Which conflicts? happy.png

Ok, so you are not a positivist (I said that because you said that to you mathematical induction does not prove things better than inductive reasoning), but how do you prove things? To me a statement is proven when it holds true in any possible case. That does not mean that in real life or during a game of chess I do not make decisions based on incomplete informations. I bet, because I am compelled to do so or because the benefit-cost ratio is advantageous. But if we bet that the game-theoretic value of chess is a draw, how on earth could we say, without an exhaustive proof, that it is a draw with 100% of certainity?

Avatar of haiaku
tygxc wrote:

Wikipedia is not a reliable source. Anybody can edit there.
The entries are 'general relativity' and 'quantum mechanics', not 'relativity theory' or 'quantum theory' as they were formerly known.

The way tygxc plays with words is simply scandalous. The fact that the entries do not include the word "theory" does not mean that they are not considered theories anymore. AFAIK, on any text book from high school up, they are still defined as theories. I used Wikipedia because it is accessible to everyone. On such important and general matters, if someone made the mistake to consider the subject a theory when it is not, it would be corrected quite soon.

The reason why they are theories is because the principles they are based upon cannot be exhaustively proven. For example, the special relativity postulates that the laws of physics are the same in any inertial system of reference. We cannot prove it true, because we do not know all the laws of physics (possibly we do not know any law of physics) and we cannot make tests in any possible inertial system of reference. The predictions of the theory are confirmed by experiments conceived to falsify it, so that is an indirect evidence, but not a definitive proof, that the postulate is correct.

The discussion about the philosophy of science is a bit off topic, though. Chess is a board game of perfect information: such games are declared solved when a mathematical (i.e. exhaustive) proof is found. Treating chess in a different way would be an unjustified privilege, imho, even if the game is still too complex to complete the task in a reasonable time. Does someone want to find a non-mathematical "solution"? Ok but do not call that "solution", because this term is already used in game theory; it is misleading to use it for something qualitatively very different.

Avatar of tygxc

#3790
Wikipedia gives a reference, but misquotes it.
This is what the source, a true Physicist wrote:
“Quantum mechanics” is the description of the behavior of matter and light in all its details and, in particular, of the happenings on an atomic scale. 
No 'theory' here.

Einstein originally called his brainchild Relativity Theory. That was correct: there was not yet experimental confirmation. After measurements (even during the First World War, to measure during a solar eclipse) had confirmed it, it was called Relativity, though the historical Relativity Theory was still used by laymen and by people who do not understand.

"Chess is a board game of perfect information. ++ That is right, but thermodynamics is also statistical. All laws of thermodynamics, or Statistical Physics as it is called in jargon, are derived from probability calculations. Even quantum mechanics is probabilistic: the wave function in the Schrödinger Equation relates to probability.

"this term is already used in game theory" ++ Fully correct.
'Weakly solved means that for the initial position a strategy has been determined to achieve the game theoretic value against any opposition.'
That 'strategy' can be a proof tree, but can also be a set of knowledge rules.
Allen solved Connect Four by brute force and Allis independently by a set of 7 rules.
It is my conviction that chess should be solved by a combination of brute force (the cloud engines) and knowledge (the good assistants, i.e. (grand)masters).

Avatar of lfPatriotGames
Optimissed wrote:
haiaku wrote:

"absence of evidence is not a proof" ++ No, that is true. But there is not even begin of evidence that chess is a white win or a black win. There is ample evidence that chess is a draw.

So, since there is no proof that chess is not a win, it's plausible that chess is a win. Again, you just confirm what people say, but you try to make it appear the opposite.

"Mathematically proven" ++ No chess is a draw is known, but not yet formally proven.
"No doubt. 100% sure" ++ Indeed, no doubt, 100% sure.

You have used this kind of argument many times: "it is known, 100% sure, but not proven". If you know something with 100% of certainity without an exhaustive proof, you are some sort of clairvoyant. If you have such capabilities I cannot say, but for a scientist something is known with 100% of certainity when it is exhaustively proven, otherwise it is faith.

I have had enough of arguing with you for today. Everyone can draw their conclusions from the above.


Yes, we can. I think it's a pity that tygxc continues to make the 5 years claim, irrespective of whether that's correct. I personally think it's wildly incorrect, along with many others who think the same way, because it detracts from the main part of his argument, which is absolutely correct.

@haiaku, based on the above, yes, there are conclusions which can be drawn. Based on the above, it is clearly yourself who appears not to understand scientific principles. All science rests primarily on evidence. Hypothesising, which is what you and @lFPatriotGames are doing, is less than unreliable where there's no evidence to support it. Evidence can even be theoretical, if it's solid enough but here it's no more than a misplaced belief that hypothesis trumps evidence where the evidence isn't completely direct. Here, there's no direct evidence but there is still sufficient to be completely sure, as tygxc states.

I need to repost the post I made a couple of days ago, concerning an allegory about belief in the existence of a certain dragon. It clearly demonstrates the difference between belief that's superstitious (which you're crediting tygxc with), belief that's scientifically based upon evidence, and belief that's based on unsupported hypothesis, which you're demonstrating.

Any guess about the ultimate outcome of chess is hypothesizing. The guess "chess is a forced win for white" is just as valid as the guess "chess is a draw". Both are equal because both have good reasons to exist. 

I think chess is way too difficult for any human to solve, or even come close to solving. So computers will have to do most of the work. And even then it might not be enough. Maybe chess is unsolvable. But for all practical purposes (where people play chess) it's solved already. And since good computers have only been around for about 30 years it seems to me it's far, far too early to be making any announcements about future chess solving. Maybe in 100 years we'll have  better hypothesizing. 

I also think the reason tygxc thinks chess can be solved in 5 years is the same reason he thinks it's a draw. Wishful thinking. Personal belief. Faith. Maybe he's right, but my guess is that in 5 years we will see more of the same pattern of the last 30 years. 

Avatar of tygxc

#3792

"The guess "chess is a forced win for white" is just as valid as the guess "chess is a draw"."
++ And just as valid as 'chess is a forced win for black'? It is not because there are 3 mutually exclusive possibilities that they are equally valid. There is massive evidence for a draw and no evidence for a forced win either for black or white. 

"I think chess is way too difficult for any human to solve, or even come close to solving."
++ Only the number of legal, sensible, reachable, and relevant positions 10^17 defines the difficulty.

"So computers will have to do most of the work."
++ No, computers do a part and human grandmasters do another part. Humans must initiate and terminate the calculations. That is also how Losing Chess and Checkers have been solved.

"Maybe chess is unsolvable."
++ Chess is finite  thus solvable. How much time and effort is needed is up to discussion.

"I also think the reason tygxc thinks chess can be solved in 5 years is the same reason he thinks it's a draw." ++ Wrong. I got the 5 years from GM Sveshnikov and I was surprised.  So I checked facts and figures and found he was right.
Same for chess is a draw. I got that from Steinitz, Lasker, Capablanca, Fischer, Adorjan, Kasparov, Kramnik. So I checked the facts and found they were right. 

Avatar of lfPatriotGames

Then prove it.

 

Avatar of DiogenesDue
tygxc wrote:

++ Many experts wrote chess is a draw and provided arguments, there is not yet a formal proof.

Produce one paper.  Not a chess player, not a math hobbyist, but at the very least a Stockfish developer or the like.  Hans Berliner would do.

If you can produce *one*, then we can tackle "many".

Avatar of MaxAlme
hi
Avatar of DiogenesDue

Interesting article that may have bearing on this topic somewhere down the line...

https://news.yahoo.com/googles-quantum-supremacy-usurped-researchers-183622602.html

Apparently Google's quantum supremacy claim is not so supreme.  Not that it ever amounted to much, since quantum supremacy was defined as quantum computers being able to do a single task faster than traditional computers, which is more like "quantum entry-level achievement".

Avatar of haiaku
tygxc wrote

Wikipedia gives a reference, but misquotes it.
This is what the source, a true Physicist wrote:
“Quantum mechanics” is the description of the behavior of matter and light in all its details and, in particular, of the happenings on an atomic scale. 
No 'theory' here.

I said I was not going to argue with you for today, but you really amuse me. What reference and what source? That page gives a lot of sources, like (green enphases mine):

Explanatory note 2: Physicist John C. Baez cautions, "there's no way to understand the interpretation of quantum mechanics without also being able to solve quantum mechanics problems – to understand the theory, you need to be able to use it (and vice versa)"

Reference 20: Landau, L.D.; Lifschitz, E.M. (1977). Quantum Mechanics: Non-Relativistic Theory. Vol. 3 (3rd ed.). Pergamon Press. 

etc.

Sometimes a physicist mentions that QM, SR and GR are theories, other times s/he does not. As usual, you deliberately make use of "cherry picking".

Avatar of Optimissed
lfPatriotGames wrote:
 

Any guess about the ultimate outcome of chess is hypothesizing. The guess "chess is a forced win for white" is just as valid as the guess "chess is a draw". Both are equal because both have good reasons to exist. 



Hi, equally valid doesn't mean equally correct. "Valid" sort of means "on subject". An invalid guess means that the answer to "is chess a draw?" is "a piano".

You're confusing guessing with scientifically based hypothesis. We have every reason to believe that the scientifically based hypothesis that chess is a draw is correct. There's no reason to believe "chess is a win" to be correct, so you're comparing mushrooms with octopusses. Superficially similar but not alike in reality.

Avatar of Optimissed
btickler wrote:
tygxc wrote:

++ Many experts wrote chess is a draw and provided arguments, there is not yet a formal proof.

Produce one paper.  Not a chess player, not a math hobbyist, but at the very least a Stockfish developer or the like.  Hans Berliner would do.

If you can produce *one*, then we can tackle "many".


I'm afraid they considered it so trivial and obvious that by coincidence, they all wrote it on toilet paper and flushed it away. Seriously, you really should not pose as an intellectual and ask people to produce "papers" when they are irrelevant. You'll just get what you asked for.

Avatar of Optimissed
haiaku wrote:
Optimissed wrote:

The reason I sometimes criticised you, from the beginning of your posting here, is that I could tell there are basic conflicts within your model of science.

 

 

Which conflicts?

Ok, so you are not a positivist (I said that because you said that to you mathematical induction does not prove things better than inductive reasoning), but how do you prove things? To me a statement is proven when it holds true in any possible case. That does not mean that in real life or during a game of chess I do not make decisions based on incomplete informations. I bet, because I am compelled to do so or because the benefit-cost ratio is advantageous. But if we bet that the game-theoretic value of chess is a draw, how on earth could we say, without an exhaustive proof, that it is a draw with 100% of certainity?


Seriously, you need to address the short essay I wrote on how people can know things. Then attempt to stand back and work out how it applies to you.

I can give you a hint. Do you understand what deduction is? If you understand it, then on what does it depend? And what has mankind always done, when something trivial needs to be considered, to determine whether it's reliable?

Avatar of Optimissed
BaurzhanMakhambetov wrote:
THIS IS DUMB
NO ONE EVER SAID THIS
WHY SO MANY USELESS COMMENTS

I rather agree.

Avatar of DiogenesDue
Optimissed wrote:

I'm afraid they considered it so trivial and obvious that by coincidence, they all wrote it on toilet paper and flushed it away. Seriously, you really should not pose as an intellectual and ask people to produce "papers" when they are irrelevant. You'll just get what you asked for.

I get that sometimes you think yourself clever in these retorts, but no.  Tygxc made a ridiculous claim, one that is easily refuted by asking for evidence.  You, on the other hand, are just desperate to achieve the appearance of having bested me.  It's not going to happen.

Avatar of Optimissed

Apart from the fact I'm obviously a better debater than you?

You really ought not to ask people for academic papers. Honestly, it makes you look desperate because it's just so naïve-cliché-ten-years-ago. Next you'll be telling people you'll be looking forward to when they win their Nobel Prize.

Avatar of Optimissed
BaurzhanMakhambetov wrote:
THIS OPTIMIZED GUY IS FRAZY

That's very kind. Thankyou very much. Frazy much be quite a compliment in your language.

This forum topic has been locked