Chess will never be solved, here's why

Critical.  But without rule breaking.  
And in-subject ...  as opposed to a personal attack.
I happen to agree with the four other persons politely but critically  responding to @tygxc
Good points they make.  But he keeps sidestepping adroitly.
Has @tygxc ever been right once and them wrong?
But he parries every thrust.
Its quite a demonstration that he's kept up (civilly - unlike the other guy) - month in and month out.

I think the main discussion is about the troll. I think perhaps you should discourage him from deliberately feeding your ego. He does what he does deliberately, you don't understand what he's doing and you're the one who falls for it.

In my own opinion, this entire thread consists of endlessly repetitive nonsense. It's a continuation of several other threads. I really have no idea why, at this late stage, you think you'll convince tygxc of anything. However, I don't understand why you apparently find it so important that you should. Thirdly, if you really wanted to, you'd find better lines of argument. Therefore, it seems as if it's just a perpetuation of meaninglessness. The problem with being accurate is that no-one's interested. You're talking to the wrong bunch of people. Some intersting and some not so much. But taking all this seriously when you obviously have no idea of how to argue effectively is pointless, unless it's your intention to try to learn how to convince people of things they don't want to be convinced of.

There's one thing that's positive. Your patronisation of one particular person stops him from annoying other people, elsewhere, quite so much.

There's another issue there - 
and that is - could it be 'proved' that something could be solved ...  without actually solving whatever it is ?
Depends on what the thing is - and what definition of 'solved' has been proposed or assigned somehow.
Example:  say an equation hasn't been solved - with only one unknown variable.
Extreme simple case:  A quadratic equation.
If the general case has been proven algebraically - do we have to go ahead and solve a relevant equation that has known coefficients - to prove it could be solved?
No.  That's neither extrapolation nor induction I believe.
Its simple straight objective mathematical logic and proof.
Which in turn means 'Yes'.  Some things can be known or proven to be solvable - without actually solving them.
In fact - there are Infinite sets of such things.

If one really did have a legitimate proof that chess could be solved in five years - then what would some legitimate proofs look like?  Real proofs.
In other words - not 'taking the square root' of a 40 digit number and other non-proving things. 
Not doing those things.

So far - I don't think anyone has come up yet with what a real mathematical proof regarding the forum topic might even look like.
Hypothetically that is.  
But that could be because nobody here has tried that yet.
But that might happen.  Attempts to do that.
That and other things might take the forum well past the 3000 post mark - including not counting a particular person's unimportant disapproval of discussions here that he does not control and has not been able to prevent.
Maybe the more he 'disapproves' of others posting here - the more postings there have been ?  Regardless - the discussions continue.   

Anyway - and to get on with it ...
what would a real proof look like?
It would have to refer to the hardware speed of the computers involved - but in clear math fashion ..  no dancing around 'nodes' and 'consider'.
And in addition to real proof - there could be proofs of things relevant too.  Or instead.
And what those proofs might look like.  Hypothetically.

#2890
"@tygxc needs his claim to be 100% reliable for it to be part of something close to a proof"
++ No, there are 2 different things:
1) weakly solving chess, and
2) assessing the feasibility of weakly solving chess.
Before embarking on 1) it is necessary to do 2) first.

1) must be 100% reliable, or more exactly no more than 1 / 10^20 unreliable.
It must be as reliable as the weak solutions of Checkers or Losing Chess.

2) does not need to be 100% reliable. An order of magnitude is enough.
If it is 5 years or 4 years or 6 years does not matter.
500 years of 5000 years makes a difference in feasibility.
Schaeffer originally projected to investigate 10^9 positions to weakly solve Checkers in his elder paper and ended up with 10^7 * 10^7 = 10^14 after it was done.

#2868
"why you keep quoting Capablanca, Fischer, Sveshnikov, and using ICCF games and all the cumulated experience of centuries"

When you try to prove the Riemann Hypothesis, you can use all accumulated knowledge from Euclid, Thales, Pythagoras, Eratosthenes, over Euler, Gauss, to Conway, Ramanujan, Perelman.

"Next to brute-force methods it is often beneficial to incorporate knowledge-based
methods in game-solving programs." - van den Herik
So weakly solving chess benefits from incorporating the accumulated knowledge of Capablanca, Fischer, Sveshnikov and others: Steinitz, Lasker, Lucena, Philidor, Kling, Troitzky, AlphaZero.

As for ICCF WC games I have demonstrated that 99% of ICCF WC draws are ideal games with optimal moves, i.e. perfect play. These examples are most relevant as they refute the objection that we would not know what perfect play looks like. We do: it is like in the ICCF WC draws.

I have presented 4 such ICCF WC draws. 2 ended in a draw by agreement in humanly known drawn positions > 7 men. 1 ended in a forced 3-fold repetition. 1 ended in a 7-men endgame table base draw. Each ICCF draw game lasts for years. One ICCF WC finals counts 136 games. So a ICCF WC finals represents centuries of engine calculation. That is a major available resource to tap into. The 'modern computers' (multicore engines) and the 'good assistants' (ICCF grandmasters) have already done years of work. 

In other words - nobody yet has presented any picture of what a proper proof that chess could be solved ... would look like.
As for 'weakly solved' - that could mean almost anything.
With a lot of range in that word 'weakly'.  

It doesn't appear there'll ever be a proof that chess can't be solved.

#2896

"As for 'weakly solved' - that could mean almost anything."
++ No, Prof. Em. van den Herik has defined it precisely:
"weakly solved means that for the initial position a strategy has been determined
to achieve the game-theoretic value against any opposition"

"It doesn't appear there'll ever be a proof that chess can't be solved."
++ Yes, even more: there is proof that chess can be strongly solved: chess has a finite number of legal positions, thus chess can be strongly solved in a finite amount of time.
A strong solution however is not feasible as the required time and storage would be prohibitive.

There is also proof that chess can be weakly solved like has been done for Checkers and Losing Chess. The only discussion is how many nanoseconds that takes, in other words: how many legal, sensible, reachable, and relevant positions there are.
I estimate the number of legal, sensible, reachable, and relevant positions at 10^17.
GM Sveshnikov was right: 3 cloud engines of 10^9 nodes/s can weakly solve chess in 5 years.

It is beneficial to incorporate knowledge in the brute force calculation from the 26-men tabiya of the opening towards the 7-men endgame table base to prune irrelevant openings that do not oppose to the draw and to prune irrelevant endgames that are known to be drawn, like the two ICCF WC agreed draws that I presented.

Examples of knowledge are: endgame manuals,
and opening studies e.g. "Acquisition of Chess Knowledge in AlphaZero"
https://arxiv.org/pdf/2111.09259.pdf 
Figure 5 on page 17 shows why 1 a4 does not oppose to the draw as well as 1 e4 or 1 d4 and thus can be omitted as not relevant.

Pruning of openings as well as endgames is beneficial to calculate relevant positions only.
That are the two tasks of the 'good assistants', e.g. ICCF grandmasters.

Being hypothetically solvable "in a finite amount of time" does not make something practical to solve.  For example, such a problem might require 10^12 times the annual energy use of the human race. This would make it impractical. "Finite" can be big. VERY big.

#2898
"Being hypothetically solvable "in a finite amount of time" does not make something practical to solve. "
++ Yes, that is what I wrote: 
"A strong solution however is not feasible as the required time and storage would be prohibitive."
That is why only weakly solving with massive pruning based by incorporating knowledge makes it feasible in 5 years as GM Sveshnikov predicted.

There is no excuse for you ignoring the posts where people corrected your entirely unreliable assumptions. It's dishonest.

Straight questions for you, @tygxc. Not rhetorical - please answer them.

Do you understand the difference between deductive reasoning and inductive reasoning?

Do you understand that only the former has a place in a proof?

#2901
Yes, and No. Inductive reasoning is just as valid as deductive.
Statistics, astronomy etc. are all inductive.

#2900
Nobody has 'corrected' any of my assumptions.
It is rather: 'I do not understand, so it must be wrong.'
Then people jump to their own erroneous conclusions without any supportive evidence at all.
I seem to be the only one providing evidence. 

Seems your problem is lack of understanding of what a proof is.

This term does not have a place in science or any empirical subject. A proof never involves inductive reasoning. Never.

The word "proof" not have a place in the application of statistics, except in the trivial sense that an example of something proves the existence of an example with its properties.  For example you can never prove that all humans are less than 2.X meters tall by examining a random sample of N humans. No clever statistical argument will exclude the possibility of a counter example you have not seen.

Proof does have a place in the theoretical foundation of statistics, but here it only involves deductive reasoning about abstract concepts, starting with axioms.

The word "proof" also does not have a place in astronomy, an example of a science (except in the trivial sense that seeing an example of a supernova shows that supernovas exist). Just like for people's heights, examples in astronomy do not prove general facts, they merely provide evidence for them, permitting inductive reasoning.

It is not uncommon for something that was believed to be generally true is proved not to be by a counterexample.   For example until 2019 it was known that there were small black holes and giant black holes but believed that there was a range of masses which was excluded because they could neither form from stars nor as the nucleus of a galaxy. In that year two black holes of mass 66 solar masses and 85 solar masses were discovered, showing that what had been believed was false and that there must be some way such black holes could form (it is still unclear what that is).

#2903

"Seems your problem is lack of understanding of what a proof is."
++ No, I have no problem and I inderstand very well what a proof is.

"you can never prove that all humans are less than X meters tall by examining a random sample of N humans."
++ We disagree. We can prove that of 8 billion humans none is taller than 3 m by measuring only 1 million of them. 
The entire fields of quantum mechanics and thermodynamics depend on probabilities.

"It only involves deductive reasoning about abstract concepts, starting with axioms."
++ No, it does not start with axioms, it ends with axioms. It starts with a practical problem in need of a solution. Then the problem get solved. After that people formalise it and formulate a theoretically rigorous framework with axioms, mainly for tuition purposes.

"The word "proof" also does not have a place in astronomy"
++ We disagree. We have a lot of knowledge about stars and other celestial objects: mass, brightness, composition, size, distance, velocity, past, future just from observing a tiny sample. We can tell when and how our Sun was born and when and how it will die.

"It is not uncommon for something that was believed to be generally true is proven not to be by a counterexample."
++ Yes, that is true. Classical mechanics was believed to be true and is still true with certain restrictions, but quantum mechanics and relativity have superseded it in the theoretical sense, though classical mechanics is still practical within its application range.

"For example until 2019 it was known that there were small black holes and giant black holes but believed that there was a range of masses which was excluded because they could neither form from stars nor at the nucleus of galaxies. In that year two black holes of mass 66 solar masses and 85 solar masses were discovered, showing that what had been believed was false and that there must be some way such black holes could form (it is still unclear what that is)."
++ Yes, that is one good example of many. That does not take away all merit of the earlier theory, which apparently has limits in its applicability.

I do not understand but it's true chess can never be solved

You are perhaps conflating different types of proof. Do you think that if you jump off a wall, your trajectory will be downwards, towards the centre of the Earth? But that kind of proof is inductive, although very strongly so. Deductive proofs are logical in nature. That means that they consist of rearrengements of previously existing propositions, which are counted as facts, in such a way as to legitimately produce a proposition which supports that which is to be proven.

It would be perfectly possible to produce propositions which state that gravity exists, in a defined way, such that it will always cause the normal phenomena associated with it. However, that cannot be done deductively, in the way you mean it. It will always merely be very strongly inductive. It's the same with chess being a draw. The idea isn't quite as strong as gravity but still, anyone with any sense accepts that chess is drawn with best play.

Regarding chess being solveable in five years, anyone with any sense, together with an understanding of the numbers and processes that would need to be involved, knows it isn't possible. Certainly, we can't go on the word of a chess player, who clearly didn't understand the problems involved, or; and this is much more likely; who did understand them and who is being grossly misinterpreted by someone who doesn't understand the logical significance of the word "towards" in the claim.

<<<"For example until 2019 it was known that there were small black holes and giant black holes but believed that there was a range of masses which was excluded because they could neither form from stars nor at the nucleus of galaxies. In that year two black holes of mass 66 solar masses and 85 solar masses were discovered, showing that what had been believed was false and that there must be some way such black holes could form (it is still unclear what that is)."
++ Yes, that is one good example of many. That does not take away all merit of the earlier theory, which apparently has limits in its applicability.>>>

Funny ... but I never believed that, because I could clearly see it was illogical and incorrect. And yet I'm not a cosmologist. I merely have a somewhat active interest. I could work out for myself that it was wrong, just as there are many errors in "it is believed". Even the Big Bang is still believed in by many. That's one bit of nonsense that's taking its time to disperse.

Note that I didn't raise the subject of cosmology. There are many things that coincide with "it is believed", even where the belief is that of experts: and are wrong. Probably a great deal of the current hoo-ha about Covid and vaccinations is also wrong. People believe what experts believe at their peril, because experts usually protect themselves, rather than others. "It was believed" that the Yorkshire Ripper was from near Teeside and that cost quite a few lives and a lot of taxpayers' money.

#2906
"Regarding chess being solveable in five years, anyone with any sense, together with an understanding of the numbers and processes that would need to be involved, knows it isn't possible."
++ So everybody who disagrees with your view has neither sense nor understanding?
It is rather the opposite: those who do not understand the numbers or processes that would need to be involved believe it is not possible and then present their belief as knowledge. I presented facts and figures why GM Sveshnikov was right. 

"we can't go on the word of a chess player, who clearly didn't understand the problems involved" ++ GM Sveshnikov clearly understood much more of the problems involved than any contributor to this forum including myself. Chess analysis was his job, and he was quite good at it.

"who is being grossly misinterpreted by someone who doesn't understand the logical significance of the word "towards" in the claim."
++ I certainly understand the logical significance of the word "towards" = "in the direction of" it means starting at the opening and calculating in the direction of the endgame table base. That is in contrast to strongly solving chess as a 32-men table base, which would start at the 7-men endgame table base and then calculate in the direction of 32 men including the initial position.