Chess will never be solved, here's why

Sort:
MEGACHE3SE
tygxc wrote:

@12350

"this is a bare-faced lie"
++ You are the bare-faced liar
Page 278 1.1 Conventions line 14-18

funny, he mentions how a weak solution covers all possible moves by the opposition in that article, explicitly contradicting your claims.

MEGACHE3SE

so that makes tygxc the bare faced liar. in addition, its mentioned that chess isnt solved in any capacity. that makes tygxc lying again.

or maybe tygxc is just so... delusional and uneducated in basic math concepts that he literally doesnt understand it. i wouldnt be surprised either way. the main issue in these concepts is that tygxc's false misrepresentations and fallacies are so fundamentally ludicrous that most literature doesnt even consider them a possibility to address.

playerafar
MEGACHE3SE wrote:

so that makes tygxc the bare faced liar. in addition, its mentioned that chess isnt solved in any capacity. that makes tygxc lying again.

or maybe tygxc is just so... delusional and uneducated in basic math concepts that he literally doesnt understand it. i wouldnt be surprised either way. the main issue in these concepts is that tygxc's false misrepresentations and fallacies are so fundamentally ludicrous that most literature doesnt even consider them a possibility to address.

tygxc takes a position that by contradicting the realities - he can be annoying.
He'll essentially fail in that though.
But apparently gets some kind of buzz by being persistently and repetitively wrong about everything he pushes.

playerafar
Elroch wrote:
tygxc wrote:

++ The now ongoing ICCF World Championship Finals now for the first time produces no single decisive game.

Correct

That shows chess is a draw

No, not even close

and it shows how to draw.

Absurdly false: it only even provides suggested moves for around 10000 positions!

So this is at least part of a weak solution of chess.

No, there is no valid reasoning that shows any part of that except those within exhaustive calculation of a table base are part of a weak solution of chess.

Unfortunately, you have achieved a fail again. Hint: repetition is NOT a way of fixing that.

That's correct @Elroch
tygxc hasn't grasped yet that repeating his errors doesn't fix his errors.
But every now and then he drops a little false dime trying to claim that others 'can't understand' or 'don't like it' or that they're 'trolls'.
He knows all of those suggestions by him are false so why does he make them?
Various emotional payoffs perhaps.
My experience and observation of people spreading disinformation is that they don't really keep track nor care of whether they believe their own disinfo nor of their their own real motives nor what causes them to do what they do.
And introspection would be uncomfortable to them too.

7zx

He's right, of course. Everyone knows it's a draw. All you're doing is desperately quibbling about how 'rigorously ' it's been proved.

MEGACHE3SE
7zx wrote:

He's right, of course. Everyone knows it's a draw. All you're doing is desperately quibbling about how 'rigorously ' it's been proved.

nobody is contesting that chess is in all likelihood a draw.

the issue, is that tygxc claims that there is a mathematically rigorous proof.

he conflates general knowledge with absolute proof.

because tygxc has literally no idea about the difference, he often accuses others of claiming that chess isnt in all likelihood a draw, and treats arguments as such.

playerafar
7zx wrote:

He's right, of course. Everyone knows it's a draw. All you're doing is desperately quibbling about how 'rigorously ' it's been proved.

Its not proved at all.

MEGACHE3SE

whats hilarious (and sad) is that tygxc is gunna think this guy is gunna stay on his side but i give it 3 posts MAX before he too realizes tygxc's in a fantasy world (assuming he stays on the thread).

remember when tygxc claimed that mathematicians aim for the same level of accuracy as weather stations?

playerafar
MEGACHE3SE wrote:

whats hilarious (and sad) is that tygxc is gunna think this guy is gunna stay on his side but i give it 3 posts MAX before he too realizes tygxc's in a fantasy world (assuming he stays on the thread).

remember when tygxc claimed that mathematicians aim for the same level of accuracy as weather stations?

I missed that one but that sounds like tygxc.
But the newcomers to the forum often 'click' and realize about him.
But some don't. Or don't want to. Or pretend not to.

7zx

And some people who aren't newcomers have been reading the stuff you post for years and not been impressed by any of it.

Elroch
7zx wrote:

He's right, of course. Everyone knows it's a draw. All you're doing is desperately quibbling about how 'rigorously ' it's been proved.

Like "true", "rigorously" is a boolean concept, not one with a continuous scale. It pervades all of the mathematical sciences, distinguishing them from all of the natural sciences.

Either a proposition is proven or it is not. When there is a dispute, it is about whether a step is invalid, which invalidates the entire proof until it is fixed.

No person with relevant expertise claims chess has been solved: there is no more than an impractical sketch of what a proof would require.

tygxc

@12368

"mathematical sciences, distinguishing them from all of the natural sciences"
++ Science is science. Mathematics is useful for other sciences.
Much of mathematics has been developed for other sciences.
The Egyptians developed the Pythagorean Theorem to re-establish borders after Nile flooding.
Thales developed his theorem to measure the height of the pyramids.
Gauss developed mathematical theories for astronomy.
Gauss developed modulo rings to calculate the date of Easter.
Newton developed calculus he needed for his mechanics.

MaetsNori
7zx wrote:

He's right, of course. Everyone knows it's a draw. All you're doing is desperately quibbling about how 'rigorously ' it's been proved.

Well ... perhaps. But that's not technically "solving" chess.

Solving chess would be a hypothetical 32-man tablebase, where every possible position has been tabulated, and the draw/DTM (or DTZ) has been assigned.

From my understanding, even with some ultra-compressed form of storage, like digital DNA (which scientists are already doing), the amount of space needed to store such a tablebase would be immense.

Others can correct me if I'm wrong, but I've read that the storage space needed to have chess fully solved would be exponentially more than we currently use for all the data on Earth ... It's a tremendous hurdle.

tygxc

@12370

"Solving chess would be a hypothetical 32-man tablebase" ++ That would be strongly solving like has been done for Connect Four. There is also weakly solving as has been done for Checkers and Nine Men's Morris, and there is ultra-weakly solving, as has been done for Hex.

"the amount of space needed to store such a tablebase would be immense"
With 1 bit draw/nodraw per position, the 26-men tablebase would be the largest: 1.08 × 10^37 positions, thus 1.08 × 10^37 bit per Table 3. Synthetic DNA could be possible.

Thee_Ghostess_Lola

The Egyptians developed the Pythagorean Theorem to re-establish borders after Nile flooding.Thales developed his theorem to measure the height of the pyramids.Gauss developed mathematical theories for astronomy.Gauss developed modulo rings to calculate the date of Easter.Newton developed calculus he needed for his mechanics.

...and albert manipulated it to make abuncha guesses abt deep space ten.

Thee_Ghostess_Lola

"the amount of space needed to store such a tablebase would be immense"

just like how this one man (J.D.) told me when i was 12 that the new 10-Mb hard drive abt to come out was incredibly immense and nothing would ever be able to compare to it for yrs & yrs to come. LOL !

Elroch
tygxc wrote:

@12368

"mathematical sciences, distinguishing them from all of the natural sciences"
++ Science is science. Mathematics is useful for other sciences.
Much of mathematics has been developed for other sciences.
The Egyptians developed the Pythagorean Theorem to re-establish borders after Nile flooding.
Thales developed his theorem to measure the height of the pyramids.
Gauss developed mathematical theories for astronomy.
Gauss developed modulo rings to calculate the date of Easter.
Newton developed calculus he needed for his mechanics.

I can tell you the very unambiguous distinction, what you get from it is beyond my control. You are right that mathematics is created for the needs of science in some cases. This is about what people do, not about mathematics or science as domains of knowledge.

Mathematics is about abstract truth, never having any dependence on the physical world or any science. This truth is determined by deduction from axioms to theorems (merely a word for a an important proposition).

Science applies mathematics for the purpose of modelling reality. The model has to be chosen so that the abstract truth is consistent with the empirical truth about what the model is being used to represent.

It is fair to say that much of science can't do without mathematics, so it is dependent on it. But it is also true that none of mathematics has any dependence on any science (science consisting of knowledge about how the real world behaves). This includes any mathematics created solely for the needs of a science. Once created it has an independent existence as a purely abstract branch of mathematics. Interestingly, while before the 20th century, most mathematics used in science predated its use, sometimes by centuries, more recently, much new mathematics has arisen within theoretical physics.

[A fact about human behaviour is that theoretical physicists tend to be very loose with rigour in their use of mathematics. They are happy with arguments that refer loosely to physical principles or to use reasoning that is known not to be valid but found to work in practice. Usually, this gets fixed later by mathematicians, but not always.

An example of this in renormalisation, which started as a fudge introduced because the mathematics of quantum field theory led to calculations like infinity minus infinity, which does not give a unique answer. Later a new mathematical theory was built that made the reasoning rigorous].

Anyhow, a key point is that within mathematics, all the reasoning is deduction, leading to abstract truths, while in science, all the reasoning is induction, leading to confidence in a model of reality, or about more specific scientific proposition.

The best you can ever have in science is a theory that is consistent with abundant observations - you can never prove it is true for observations to come, especially those that are in some way significantly different to those you have made. As a result, all reasoning is about the strength of belief, empirical data reinforcing or weakening it.

MEGACHE3SE
tygxc wrote:

@12368

"mathematical sciences, distinguishing them from all of the natural sciences"
++ Science is science. Mathematics is useful for other sciences.

That has literally nothing to do with the fact that math has different types of proof from other sciences. just because math is used doesnt mean its proof is different lmfao.

divitrocks2012

Lol

MARattigan
tygxc wrote:

@12370

"Solving chess would be a hypothetical 32-man tablebase" ++ That would be strongly solving like has been done for Connect Four. ... Synthetic DNA could be possible.

That would not be strongly solving either FIDE competition rules chess or ICCF chess. Not with any current or proposed format of tablebase.

I have been pointing that out to you for years now. When will you take it in?

Under competition rules we don't currently have a strong solution of even any ply count 0 KRvK position that is not already mate or stalemate.

A strong solution of any position must provide a strategy for reaching the correct result from any position that may occur in a continuation from that position.

No tablebase currently available will give you such a strategy from the last position shown here under competition rules.

The only correct strategy for Black is to play 32...Ka1 followed by KxR if the white king moves anywhere except b3 or the white rook plays to b1, which draws, but all tablebases will give a strategy starting 32...Kc1 instead, which loses. The initial position in the example is therefore just one instance of a position not strongly solved by tablebases under competition rules. (All ply count 0 positions in this endgame that are not mate or stalemate are a tiny fraction of further instances in this endgame.)

Try it https://syzygy-tables.info/?fen=8/8/8/8/8/K7/1R6/1k6_b_-_-_62_32.

Can you suggest an algorithm for constructing a tablebase that strongly solves just the initial position in that example under competition rules and might plausibly be contained using synthetic DNA? What percentage of a tablebase that strongly solves the chess starting position with your algorithm would you estimate that would constitute?