Chess will never be solved, here's why

Sort:
DiogenesDue
Optimissed wrote:

I have not much idea of what you're rabbitting on about unless it's inspired by jealousy regarding something or other.

Kennel!!

I was not addressing the general "you", but the specific you.

If you still don't get it, I don't know what to tell you, it's your own past anecdote I'm referring to.

Elroch
Optimissed wrote:
Elroch wrote:
mikekalish wrote:
Elroch wrote:
mikekalish wrote:
Elroch wrote:

In "any position", there is one or more optimal moves which allows the forcing of the optimal result against any counterstrategy. In some positions this is a draw, in some positions a win (and in some a loss, which means all moves are optimal in the pure sense).

I'm not convinced. You're making an assertion that I don't agree with, but you're offering no rationale. 

I didn't, but this is a theorem from the theory of finite games, so you can be absolutely sure it is true.

The proof is not trivial but is quite easy.

OK, I'm a bit out "over my skis" here, but what is the definition of a "finite game"?

A finite two player game is where there are two players, they move alternately, there are a finite number of alternatives at each move and every game ends in a finite number of moves.  An example of a game that fails to meet the definition would be noughts and crosses on an infinite plane. Chess only meets the definition if you assume draws are forced by the 50 move rule or a repetition, rather than needing to be claimed.

[Also, I don't think my adjective "easy" was really appropriate. Rather it is a concise proof!].


What if there were two players and they each had two moves alternately?

I am not sure what you mean. If the rules of a game permit one to go on forever, it is excluded by definition.

If you meant something else, do say.

Elroch
Optimissed wrote:
mikekalish wrote:
Elroch wrote:
mikekalish wrote:
Elroch wrote:

In "any position", there is one or more optimal moves which allows the forcing of the optimal result against any counterstrategy. In some positions this is a draw, in some positions a win (and in some a loss, which means all moves are optimal in the pure sense).

I'm not convinced. You're making an assertion that I don't agree with, but you're offering no rationale. 

I didn't, but this is a theorem from the theory of finite games, so you can be absolutely sure it is true.

The proof is not trivial but is quite easy.

OK, I'm a bit out "over my skis" here, but what is the definition of a "finite game"?


He's trying to blind us with theory. A finite game is one that is not infinite. Thet is, it ends at some point and does not have an infinity of permutations or positions. Chess might as well be infinite, for all the possibility there is in tracing all the possible games.

LOL. The difference is very important when you want to prove facts rigorously.


<<I didn't, but this is a theorem from the theory of finite games, so you can be absolutely sure it is true.>>

I stopped accepting Elroch's judgement many years ago.

While a reasonable amount of skepticism is always appropriate, with all due humility you would very rarely go wrong by believing what I say. That is because I have not lost a lifetime's habit for being precise and correct.

Your quote above is an example. Anyone who checks the body of knowledge will confirm it, via my link or any other good source.

 

Elroch
Optimissed wrote:

You seem to place great faith in peer revue. Whereas, of course, it's necessary to have checks and balances in acedemia, a peer revue can only pick up on obvious errors since someone's peer is unlikely to be a specialist in the field under consideration. So peer revue isn't and cannot be a guarantee of correctness.

Also you're spouting the same old stuff about weak and strong and I've already explained that it's perfectly obvious that you do not understand the application of Games Theory sufficiently to have any authority on the matter.

What is "perfectly obvious" to an ignorant windbag doesn't matter as much as you think it does.

With all due humility, I have a perfect understanding of the degree to which the relevant part of game theory is applicable to chess. It is as clear to me as the meaningfulness and value of the three definitions of types of solutions of games which all the cognizant people in these forums accept, which are well-established in the academic literature, and which you falsely asserted were made up for wikipedia!
With more appropriate respect for others and less unfounded arrogance, your understanding would improve greatly. [That's not a prediction].

Mike_Kalish

So do the official rules of chess include a 50 move = draw rule? And if not, how can you claim chess is a finite game? And if it's not a finite game, why would the "Theory of finite games" apply?

I'm back to "There is no proof that an 'optimal' move exists in the general case".

 

Yes, Nerves of Butter, I understand that you can find me a specific case or two where there is obviously an optimal move, but that certainly doesn't prove that one always exists. And if you can't prove one always exists, you can't claim chess is solvable. 

Mike_Kalish

Throughout this thread, some have mistakenly considered extremely large finite numbers to be the equivalent of infinity....."for all practical purposes".  This is a mistake. No matter how large a finite number is, it is not the equivalent of infinity....or even close.... period. And any logic or conclusions that follow that assumption are false. 

DiogenesDue
Optimissed wrote:

Come to think of it, I know you seem to have obsessive-compulsive disorder and it may be that you're talking about the IQ tests I did years ago. It's the second time you've mentioned "tests" in a couple of days and I haven't taken any Covid tests. I was a Wolf Cub, for a while and we had to take tests to get badges but I doubt it's that. Must be the IQ thing you're still obsessing over.

Lol @ "Come to think of it".  You just didn't like the point I was making.  Where else did I mention tests?

If you are not obsessive, then what are you still doing in a thread where you keep telling everyone they cannot understand the problems or the terminology?  It seems like you have an issue...I mean beyond the fact that you said "goodbye" less than a week ago... wink.png

Mike_Kalish
Optimissed wrote:
mikekalish wrote:

Throughout this thread, some have mistakenly considered extremely large finite numbers to be the equivalent of infinity....."for all practical purposes".  This is a mistake. No matter how large a finite number is, it is not the equivalent of infinity....or even close.... period.


Well, we know the real meaning of infinity. Infinity is an ideal. That is, it's a concept of the mind only, with no real example that we can definitely say is infinity. Having accepted that, we can then use infinity in a metaphoric sense. There are ideas of quantities which we cannot say are infinite in reality but which are near enough, conceptually. As long as we understand that infinity is an ideal concept only, it seems fine to use it in any way we want, provided it isn't part of a mathematical equation.

The concept of infinity has a very real, very useful,  and very specific meaning in calculus. 

mpaetz
Optimissed wrote:
mikekalish wrote:

Throughout this thread, some have mistakenly considered extremely large finite numbers to be the equivalent of infinity....."for all practical purposes".  This is a mistake. No matter how large a finite number is, it is not the equivalent of infinity....or even close.... period.


Well, we know the real meaning of infinity. Infinity is an ideal. That is, it's a concept of the mind only, with no real example that we can definitely say is infinity. Having accepted that, we can then use infinity in a metaphoric sense. There are ideas of quantities which we cannot say are infinite in reality but which are near enough, conceptually. As long as we understand that infinity is an ideal concept only, it seems fine to use it in any way we want, provided it isn't part of a mathematical equation.

    Claptrap. The number of planets in the universe may be so staggeringly huge that we can imagine it as "infinite" when theorizing that this or that condition or phenomenon "must " exist somewhere, but this number pales in comparison with how many digits are in a computation of the exact value of pi--an infinitively-repeating calculation. 

     Of course you admit in your final phrase that your assertion is inexact.

Mike_Kalish
Optimissed wrote:

. But although it has a real use, infinity is still a purely notional entity isn't it?

Like many other things, yes. I was trying to illustrate that to a mathematician, infinity is not just a big number. It's a concept that is used every day and math beyond say, algebra, would be impossible without it. 
If you take the decimal .9999999999......... and extend those nines out to infinity, it equals one. Many people have a hard time with that. It isn't "almost" one. It EQUALS one.  Here's a simple proof:
1/3 = .3333333........ where the threes go to infinity. 

1/3 x 3 = 1. 

Therefore .3333333...... x 3 =  .99999999........   = 1. 

It's hard for non-math people to grasp that those 9's NEVER end. That's what infinity is. Our minds really weren't wired for this, so we have to kind of rewire to learn advanced math. I think the concept of solving chess challenges those same "muscles" in our brains. 

tygxc

@4856

"So do the official rules of chess include a 50 move = draw rule?"
++ Yes in competition it is used, but ICCF allows 7-men endgame table base draws that exceed 50 moves without pawn move or capture.

"how can you claim chess is a finite game?"
++ Because of the 3-fold repetition rule.
Chess has a finite number of 10^44 legal positions.
As any of these can be reached twice only, any game of chess ends in a finite number of moves.

"There is no proof that an 'optimal' move exists in the general case".
++ As chess is finite, i.e. ends in a finite number of moves, it can only end in either a draw, a win, or a loss. Thus every position including the initial position also is either a draw, a win, or a loss.
In a lost position, there are only moves that lose.
In a drawn position there is at least 1 move that draws,
and there may be several moves that lose: errors (?).
In a won position, there is at least 1 move that wins,
there may be several moves that draw: errors (?),
and there may be several moves that lose: blunders or double errors (??).

"if you can't prove one always exists, you can't claim chess is solvable."
As proven above there is at least one optimal move in any position.

SpaceVoidSuperEvil

All I heard was something about MIRRORS!

Elroch

When we are talking about deductive reasoning - solving combinatorial problems (like the topic of this forum) and associated mathematical theorems, the difference between finite and infinite is far more than metaphorical - it has a large influence on what is true. The difference is so large that there are many examples that are viewed as "paradoxes" because intuition based on the finite can get misled when we move to the infinite.

As a model example, if you have a finite set of real numbers, one of them has a value less than or equal to that of all of the rest. If you have an infinite set of real numbers, this is not so.

This is relevant to game theory in at least one way (likely more). Say you have a game where the result is a real number, but this number is not limited to a finite number of possible values (as an illustrative example, chess has 3 possible values for the result).   This may cause problems with reasoning about strategies because you could have an infinite set of strategies where there is no strategy that achieves the "best" value - there is merely a sequence of strategies whose values tend to an unattainable value.

The theory of finite games deals with games that lack the property of chess that there is only a finite number of possible games (with a terminating rule relating to repetition and/or number of moves without irreversible change). It only requires that individual games are required to end by the rules and that the number of legal moves at each turn is finite.

Elroch
Optimissed wrote:


On the note of solving chess, here's a 10 minute game I just played, which is a lot of fun. It's a new idea in the Russian Grunfeld where, as white, I played Qb3 a move earlier than normal. My opponent responded with e6, which is the first time I've seen it. I immediately tried to take advantage of what I thought is a weak move and nearly got into trouble myself. I'm far from being an expert on the Grunfeld and haven't even worked out which system I prefer against it.

Looking this up, Qb3 is relatively uncommon (c. 500 games) but perfectly reasonable, and e6 is sufficiently odd looking to make it extremely rare, but is only a minor inaccuracy according to an engine.

Mike_Kalish

Infinity is not a number...it is a concept. pi and e are numbers that just happen to be irrational numbers, which means they cannot be represented by a fraction. However, both pi and e are EXACT numbers. Their exact values are known.....just not in ratio or fractional form. The "exact value" of infinity has no real meaning, because it is not a value. 

 

By the way, I happen to know ALL the digits of both pi and e........... just not in order. wink

Elroch
Optimissed wrote:

I don't think Elroch ever met a true genius before. 

Before what?

It is a long time since I first met John Nunn (ex world chess problem solving champion), Stephen Hawking (really stretching a point - I have been a yard from him in the DAMPT tea room) and several other mathematicians who merit the term.

But I think #1 for me would be one I did properly meet and talk to - Prof. John Conway. I was later given a copy of his two-volume work on game theory - Winning Ways - as a present. This is a beautiful investigation of a generalisation of numbers (called nimbers) which encompasses a large class of games.  But my awe for him came from the excitement he inspired about whatever mathematics he turned his hand too, such as knot theory (my first encounter) and his serious work on group theory - I still remember the sign over his office door which said "∃ M1" which referred to the recently proven existence of the largest sporadic simple group. Oh, he also invented the Game of Life (cellular automaton), which was eventually shown to be Turing-complete,  and is also quite well-known for the "free will theorem" which showed that, with not uncontroversial definitions, if a person has free will, so does an elementary particle. [Indeed, Conway has sparkling notions named after him in a wide range of math-related fields]

If, ridiculously, you don't recognise Conway as an exceptional genius, I refer you to his obituary from Princetown University.

What was that you saying, again?

 

Mike_Kalish

For anyone interested (yeah, I know...that's a long shot), pi is the ratio of the circumference of any circle to its diameter (approx 3.14) and e (approx 2.71) is the base of the natural logarithms. Both show up in mathematics in many places and have many uses. e (named after Swiss mathematician Leonhard Euler) is much less known outside of the world of math and even most people who have need to use math beyond basic arithmetic use base 10 if they get into logarithms. In calculus, using base e makes the math much less unwieldy and simpler. 

What I'm saying here is not serious math knowledge. I don't have that. This level of math knowledge would be the equivalent in chess of explaining how the pieces move. 

tygxc

@4880
e turns up in many problems, even in this thread.

As shown, analysis of variations with width w and depth d lead to
1 + w + w² + w³ +... + w^d = (w^(d+1) - 1) / (w - 1)
positions if there are no transpositions, and

1 + w + w²/2 + w³/3! + w^4/4! + ... = e^w
positions if all moves can be permuted

As shown, the number of errors per game can be approximated by a Poisson distribution
The probability P of having n errors in a game with average lambda errors per game is:
P = lambda^n * e^-lambda / n!

Elroch

e answers the question:

what value of a (if any) has the property that the derivative of the function a^x is the function itself.

But it also answers the question:

what value of a (if any) has the property that a^(i theta) = cos(theta) + i sin(theta)?

 

Elroch
Optimissed wrote:

John Nunn. One of my early chess opponents was someone who was studying at Lancaster University. Forgotten his name but can picture him. It would be circa 1975. He told me that he might have won the London Junior Chess Championship except that someone else was competing that year. He had expected to win it, I think and I think that someone else what John Nunn. But I could compete against this person, whose name I've forgotten, and probably got about 33% against him. Since I'd never studied chess at all, maybe I could have been good it I'd taken it seriously, joined a chess club and studied it. I was 36 before I started to take it seriously and at that time was too busy to but much effort into it.

John Nunn reached a world rank of #9 at chess.  At 12, he won the British under-14 Championship. At 14, he was London Under-18 Champion. He went to study mathematics at Oxford at 15. At the time, Nunn was Oxford's youngest undergraduate for over 400 years.

I should like to have a talk with this Professor Conway. 

Quite challenging: I did post his obituary.

If he has anything to do with this Weak and Strong solving routine, together with the inapplicable idea of "strategy", I should like to find out in his own words why he's got it so wrong or at least to let him argue for his point of view more persuasively than you ever managed to.

If you guessed less, you would not waste time posting such hypotheticals with no basis in fact.

And it doesn't really matter that some random person of no significance to the subject fails to accept a range of definitions used by practitioners in papers such as the three I linked earlier.

These ideas of weak and strong solving don't add anything, when they are so ill-conceived.

Only arrogance prevents you from seeing the significance of the fact that those who advance the subject see their value. Again, read those papers I linked.

As for the idea of strategy, you still haven't told me why you think it's a good one. I think it's banal and just wrong.

If you are talking about the concept of strategy, it is difficult for me to comprehend how you could not see its value. A strategy can also be thought of as a complete description of an agent that plays a game (from one side, if you like). It is not difficult to see this is a central concept.