Chess will never be solved, here's why

Sort:
Avatar of Optimissed
Elroch wrote:

Only inductive knowledge (eg all scientific knowledge) is "highly confirmed belief".

Deductive knowledge results from the application of logical deduction to axioms.

For example, the fact that there is not a finite number of prime numbers is a proven theorem, not a "highly confirmed belief".

[To be pedantic, you do need to believe in the consistency of a formal system to trust it. Consistency means that there is no proposition in the system that is provably true and provably false. Consistency is never decidable (hence never a matter of known fact) for any system powerful enough to represent the natural numbers. But few believe Peano's axioms are inconsistent. This is based both on intuitive basis - Peano's axioms seem valid - and the lack of any inconsistency in all of mathematics built on them (an example of "highly confirmed belief")].

For finite systems, consistency is (in principle) checkable by exhaustive elimination. All questions about chess can be expressed within such a system.



We're getting to where I think you're making the signature mistake, as it were. You're seperating induction from deduction and treating them as different entities, in an absolute sense. Your entire argument rests on that.

But deduction is not deduction in isolation. Without premises, there's no syllogism. Without facts, there's no deduction, so where do facts come from? Not by deduction.

From observation, which is anecdotal and inferential. The same degree of uncertainty must be attached to the "facts" you use as premises for a syllogism as you insist on attaching to the idea that 1. d4 may lose for white. I can't personally see why you should think it may lose but it follows that you do think it, since the same argument can be used for 1. d4 as for 1. e4 e5 2. Ba6.

This means that your absolute distinction between deduction and inference is artificial and it doesn't hold. There is a distinction but it is not absolute, in the way that is necessary for your argument to stand.

Avatar of Optimissed
Avatar of mrdkass

I like food

 

Avatar of Optimissed
mrdkass wrote:

I like food

 


Are you fat?

I mean, circumferantially challenged?

Avatar of Elroch
Optimissed wrote:
Elroch wrote:

Only inductive knowledge (eg all scientific knowledge) is "highly confirmed belief".

Deductive knowledge results from the application of logical deduction to axioms.

For example, the fact that there is not a finite number of prime numbers is a proven theorem, not a "highly confirmed belief".

[To be pedantic, you do need to believe in the consistency of a formal system to trust it. Consistency means that there is no proposition in the system that is provably true and provably false. Consistency is never decidable (hence never a matter of known fact) for any system powerful enough to represent the natural numbers. But few believe Peano's axioms are inconsistent. This is based both on intuitive basis - Peano's axioms seem valid - and the lack of any inconsistency in all of mathematics built on them (an example of "highly confirmed belief")].

For finite systems, consistency is (in principle) checkable by exhaustive elimination. All questions about chess can be expressed within such a system.

We're getting to where I think you're making the signature mistake, as it were. You're seperating induction from deduction and treating them as different entities, in an absolute sense. Your entire argument rests on that.
Yeah, I am clearly making the old mistake of separating chalk from cheese rather than enjoying the crunchiness in my sandwich and nor worrying about the blackboard smearing and smelling a bit. wink.png

To be serious, deduction and induction are entirely distinct, and anyone who doesn't understand this needs to learn about it rather than broadcasting their ignorance.

Avatar of DiogenesDue
Optimissed wrote:

Look, if you knew what not being a stupid child was like, you might give that a try. I told you before. If you carry this on, you'll be reported.

See, that was trolling.  Please do report, it will eventually bear fruit, but only by drawing attention to how often you post things like "stupid child", so you might not like the result. 

Avatar of Optimissed
Elroch wrote:
Optimissed wrote:
Elroch wrote:

Only inductive knowledge (eg all scientific knowledge) is "highly confirmed belief".

Deductive knowledge results from the application of logical deduction to axioms.

For example, the fact that there is not a finite number of prime numbers is a proven theorem, not a "highly confirmed belief".

[To be pedantic, you do need to believe in the consistency of a formal system to trust it. Consistency means that there is no proposition in the system that is provably true and provably false. Consistency is never decidable (hence never a matter of known fact) for any system powerful enough to represent the natural numbers. But few believe Peano's axioms are inconsistent. This is based both on intuitive basis - Peano's axioms seem valid - and the lack of any inconsistency in all of mathematics built on them (an example of "highly confirmed belief")].

For finite systems, consistency is (in principle) checkable by exhaustive elimination. All questions about chess can be expressed within such a system.

We're getting to where I think you're making the signature mistake, as it were. You're seperating induction from deduction and treating them as different entities, in an absolute sense. Your entire argument rests on that.
Yeah, I am clearly making the old mistake of separating chalk from cheese rather than enjoying the crunchiness in my sandwich and nor worrying about the blackboard smearing and smelling a bit.

To be serious, deduction and induction are entirely distinct, and anyone who doesn't understand this needs to learn about it rather than broadcasting their ignorance.


Essentially, you've explained why you don't understand enough to be venturing your opinion, the way you do. I would like to thank you for your patience, though, because at least you gave me the chance to explain where I think you're going wrong but you aren't giving yourself a chance to understand what I'm talking about. I'm afraid it's like trying to explain something to a goat, or treacle. Not that I did ever try either but I have imagination.

One thing. Do you agree that we don't know that 1. d4 doesn't lose by force for white? That's the crux of it because, if you could manage to answer that clearly and honestly, then we would be able to see whether there's any consistency in what you're saying. If you can demonstrate consistency then certainly you would be letting yourself in for a bit of jollity at your expense but at least it would demonstrate intellectual integrity.

Avatar of Optimissed


So can we be certain that 1. d4 doesn't lose by force, Elroch?

Avatar of Chessflyfisher

I think that it will be shown to be a draw.

Avatar of mpaetz
Optimissed wrote:

 It becomes a bit annoying to be constantly told I'm wrong because they say so. I sometimes just tell people they're a bit stupid. I think it's fair enough when they make personal comments, as they do. It isn't as easy as you might imagine being cleverer than nearly everyone else in an environment where a lot of people's egos are at stake and there are always those who turn it around and start projecting.

     A couple of years reading comments on chess.com forums leads me to believe that a sizeable % of posters here believe they are laboring under the conditions you describe.

Avatar of lemo_nades

Don't mind me just getting my first word achievement

Avatar of Optimissed
mpaetz wrote:
Optimissed wrote:

 It becomes a bit annoying to be constantly told I'm wrong because they say so. I sometimes just tell people they're a bit stupid. I think it's fair enough when they make personal comments, as they do. It isn't as easy as you might imagine being cleverer than nearly everyone else in an environment where a lot of people's egos are at stake and there are always those who turn it around and start projecting.

     A couple of years reading comments on chess.com forums leads me to believe that a sizeable % of posters here believe they are laboring under the conditions you describe.

I'm certain of it but not the majority.

I'm hoping Elroch is going to pay ball and tell me whether in his belief we can know that 1. d4 doesn't lose by force for white.

I have him in a no-win predicament. I'd be very impressed if he can get out of it. On one hand, if 1. d4 certainly doesn't lose by force, then there's a complete lack of consistency in his arguments, to the extent that they fall apart, since he's depending on the idea that chess is not solved and therefore according to his own arguments, there must be doubt that we can be certain that 1. d4 doesn't lose.

On the other hand, the intellectually honest position is that 1. d4 may lose for white, by force. That's going to look a bit strange or even laughable. So I've won the argument but in which way is it won?

Avatar of Optimissed
nadya996 wrote:

Don't mind me just getting my first word achievement

 Can I help? evil

Avatar of MARattigan
RemovedUsername333 wrote:

No. You don't need to believe in the consistency of a formal system to trust it. ...

Does that mean you'll believe anything?

Avatar of mpaetz
tygxc wrote:

@5170

"This method of solving chess relies on using the judgement of GMs or engines"

No, it does not rely on the judgement of GMs. The GMs reduce the computation to relevant width and depth. 

     So relying on the judgement of GMs to eliminate broad categories of games/positions from consideration, thereby making the task easier, isn't actually relying on the judgement of GMs? 

     The consensus of expert opinion at one time was that the only opening moves (for either color) that could lead to success against best play was using one of the center pawns. It was once the consensus of expert opinion that K+R endings with 4 pawns vs 3, all on one side of the board, was a win for the 4 pawns (Capablanca had ground out a few such wins). Many times a GM will venture an opening or defense that their opponent has declared to be inferior just to prove them wrong. GMs disagree on many points, and even generally accepted opinions sometimes turn out to be incorrect in the long run. Using a possibly unreliable basis for the investigation may well yield unsatisfactory results.

     My own belief is that chess is a draw with best play. I also believe that 1.e4  e5  2.Ba6  is a certain loss. Beliefs are easy to come by--some believe humans will be raised from the dead by divine powers to live forever, some believe that human souls are just reincarnated into new bodies, some believe there is no such thing as a soul. Beliefs can be incompatible and not all can be true. Irrefutable proof is another matter.

Avatar of Optimissed

^^^ I also thought I noticed an ephemeral inconsistency in his argumentation.

Avatar of lemo_nades
Optimissed wrote:
nadya996 wrote:

Don't mind me just getting my first word achievement

 Can I help?

Help with what? I already got the achievement!

 

Avatar of Optimissed

Oh I thought maybe answering you would be another achievement for you.

Avatar of DiogenesDue
Optimissed wrote:

Oh I thought maybe answering you would be another achievement for you.

It wouldn't make sense to create such an achievement.

First post is easy.  The check occurs at the time of posting by user A and the lookup is on user A's account.

If you want to create an achievement for user A that gives them credit for getting their first reply, then you have to check user B's posts at the time they are made...that is, every single post any other user ever makes, essentially, just to determine if it happens to be the very first reply user A has ever gotten.  The lookup for each post by every user on the forum would therefore need to look up the post count of the user they are responding to, which is a lookup on another account and an extra call to the database/datastore.

It could be done anyway wink.png...but on the backend, this would mean you want to, say, pull all the pertinent details of all the posters every time you open a new thread page, which adds its own overhead...but that could makes sense if you need all those details anyway for other purposes.

Avatar of lemo_nades
btickler wrote:
Optimissed wrote:

Oh I thought maybe answering you would be another achievement for you.

It wouldn't make sense to create such an achievement.

First post is easy.  The check occurs at the time of posting by user A and the lookup is on user A's account.

If you want to create an achievement for user A that gives them credit for getting their first reply, then you have to check user B's posts at the time they are made...that is, every single post any other user ever makes, essentially, just to determine if it happens to be the very first reply user A has ever gotten.  The lookup for each post by every user on the forum would therefore need to look up the post count of the user they are responding to, which is a lookup on another account and an extra call to the database/datastore.

It could be done anyway ...but on the backend, this would mean you want to, say, pull all the pertinent details of all the posters every time you open a new thread page, which adds its own overhead...but that could makes sense if you need all those details anyway for other purposes.

what

This forum topic has been locked