#2261
"And to distinguish proofs from hypotheses, whenever possible." ++ Yes, that is all right.
"But of course it is proven that intelligence, education and logical thinking skills are proportional to chess rating, isn't it?"
++ I did not write or even imply that.
This forum is open to all. Rating, university degrees, age do not matter.
Btickler mentioned a relationship between certain people. I hinted at a possible relationship.
Another point is that neither bluemu, pfren nor llama play rated Daily games these days. In at least two cases, it's been a long time since they have. I didn't think Elroch did either but he's playing two and has a very good position as white, in the 2-knights' tango one. I was interested in how he handled it. Don't see it so much any more.
Although I have disagreed with tygxc regarding specifics, he's absolutely right about the tactics employed on this thread and, for what little it may be worth, may consider me as an ally. It's basically
~bullying-by-people-who-aren't-particularly-good-at-it-but-there's-a-few-of-them-and-they-always-give-each-other-credit-for-being-right-whilst-quite-possibly-not-having-the brains-to-understand-when-they-aren't.
There are many ways to offend. Mixing up proofs and personal hypotheses as if they were the same thing, for example, can be viewed as a form of manipulation; citing a paper to support one's claim, when the paper in fact does not, is another. @tygxc, e.g., repeated dozens times a wrong citation about the number of nodes searched to solve checkers, but only after 7(!) requests to pinpoint it in the paper, he (or she idk) conceded it was wrong. If he understands as he says, it's not possible he didn't understand that point, and in fact I think he understood perfectly; but that's only worse than not understanding.
As for understanding each other, I don't think we cannot understand you two because of a lack of intelligence or education, and there is no conspiracy or a "gang" against you. It's because your definitions and the relationships between them are not clear at all, compared to those one can find in textbooks and papers, and that one knows s/he understand well from discussion with peers, grades, exercises, etc.
As for the relationship between ratings and the capability to understand the topic, imho there is basically none. I hope you don't want to suggest that the higher the rating, the more intelligent the person. One can think that there is a relationship only if s/he thinks that her supposedly better evaluation function (yes, humans use an evaluation function too, but the rating does not depend only on that) can be used to understand how to reduce the search space, in order to weakly solve chess. I reject this hypothesis entirely, because evaluation functions are based on inductions from a limited number of situations and therefore can be affected by faulty generalization. A single "black swan" can subvert an expected score and that's why basically nobody proposes to cut down branches from the search space as @tygxc proposes to do. As for this point:
The broad search, which is necessary for a solution, is a semi-strong process, rather than solution, since it is only the means to a solution. Since the authorities who seem to be omniscient fail to mention a semi-strong process, they are in error. Like Elroch, they probably imagine they can define it into existence.
In fact, they mention it all the time. They call it "broad search", for example, and they clearly distinguish it from the weak solution.
...
++ No, I do not have to evaluate them, as they do not occur during weakly solving chess.
Only positions that are legal, sensible, reachable, and relevant need evaluating as they turn up during weakly solving chess.
...
Non-sensible positions like with 2 white dark square bishops or 5 black rooks do not turn up as they cannot be reached from the initial position by a game with > 50% accuracy and we are searching for an ideal game with optimal moves and thus an accuracy near 100%.
...
So you've reached the 7 man tablebase in this drawn position.
And you've done all the takebacks up to the first position and find they're still drawn.
What's SF14 going to suggest as your first alternative move from the first position? (You can look it up if you like.)
(As an aside - strictly irrelevant - any progress on my challenge to prove just a single one of Tromp's samples can't be reached by play with an accuracy > 50%?)
#2267
"There are many ways to offend." ++ Sure there are. Like you did.
"citing a paper to support one's claim, when the paper in fact does not, is another."
++ There were two different papers by Schaeffer about solving checkers. One mentioned 10^9 nodes, the other 10^7 nodes each needing 10^7 positions. Hence the confusion.
"I don't think we cannot understand you because of a lack of intelligence or education"
++ It is about ability or will to understand. I do not care about intelligence or education. I try to explain in a way that is understandable to all. I answer all questions to the best of my ability.
"there is no conspiracy or a "gang" against you"
++ Most of my arguments get just met by some insults, some ridicule, some sarcasm, some unsound counterargument, plain denial, some trolling. That then gets applauded by another one. I have no problem at all with different opinions, as long as it stays civil and constructive.
"It's because your definitions and the relationships between them are not clear at all"
++ I try to define as clearly as possible. I try to indicate the relationships as clearly as I can. I am aware that my reasoning may sometimes be too succinct for some to understand, but I do not want to make my posts too long either.
"As for the relationship between ratings and the topic, imho there is basically none."
++ Basically little. A little bit maybe: there is or rather was a relationship between chess playing strength and education in science. Anderssen, Steinitz, Lasker, Euwe were mathematicians. Capablanca, Botvinnik, Vidmar were engineers. That however is not what I implied. Rather like: we cannot beat this guy in chess and neither in science, but surely we are better at insulting, ridiculising...
"their supposedly better evaluation function"
++ I do not believe in an evaluation function to solve chess, only in deep calculation and using heuristics derived from human and engine play. The evaluation function will always fall short. Only deep calculation until the endgame table base or an earlier 3-fold repetition of position is reliable.
Any chance of stopping bickering and answering some of the outstanding questions?
Does your reference to 3-fold repetition above mean that you've decided on the game you want to solve or are you reserving the option of switching to 2-fold repetition should it prove convenient?
@tygxc is not 'trying to offend' (unlike the other guy)
but there's his pattern of not letting anybody tell him anything -
combined with the immortal and extremely revealing "know more than any of you".
He is not trying to be offensive per se. Not his goal apparently.
But it ends up amounting to the same thing. 
He's doing better than the other guy also - in the sense that he doesn't have the obsessions with chess ratings and his own rating that the other constantly manifests.
As to what @tygxc 's goal is here or if there is one ... perhaps its to do with 'proof of solution'.
'Solved'. And 'proof'. Which has legitimate connection to the forum topic.
I keep wanting to give him benefit of 'doubt' about Everything -
because he does try to be civil. ('pretty sure I know more than any of you' ... is there a 'paradox' there ?)
#2268
Here is again the shortest proof game for the first legal Tromp sample.
Its accuracy is near 0%. You can add some moves and/or change the move order, but that changes nothing: the accuracy stays near 0%.
As for the other position it is obvious that white must promote his pawn: preferably to a queen, or else to a bishop, or to a rook, or to a knight. What does that prove? Of course promotion to a queen is the move.
#2270
"Does your reference to 3-fold repetition above mean that you've decided on the game you want to solve or are you reserving the option of switching to 2-fold repetition should it prove convenient?"
++ It does not matter. For simplicity of argument keep it 3-fold as it is written in the Laws of Chess. In practice I would use 2-fold to save the pointless extra repetition. If 2-fold repetition is the optimal for white and for black, then so is 3-fold, and 4-fold, and 5-fold. The result would be the same even if the Laws of Chess were ammended to 7-fold repetition. 3-fold repetition is just a practical rule, that allows to save some time on the clock. For example in this game black did repeat 2-fold to reach the time control at move 40.
https://www.chessgames.com/perl/chessgame?gid=1084375
#2270
"Does your reference to 3-fold repetition above mean that you've decided on the game you want to solve or are you reserving the option of switching to 2-fold repetition should it prove convenient?"
++ It does not matter. For simplicity of argument keep it 3-fold as it is written in the Laws of Chess. In practice I would use 2-fold to save the pointless extra repetition. If 2-fold repetition is the optimal for white and for black, then so is 3-fold, and 4-fold, and 5-fold. The result would be the same even if the Laws of Chess were ammended to 7-fold repetition. 3-fold repetition is just a practical rule, that allows to save some time on the clock. For example in this game black did repeat 2-fold to reach the time control at move 40.
https://www.chessgames.com/perl/chessgame?gid=1084375
You do have an appallingly slapdash approach.
In the game you mention Black won with the 3-fold repetition rule in force. With a 2-fold repetition rule the game would have been drawn.
Is that what you mean by "The result would be the same"?
But can we now pin you down on the game you propose to solve as basic rules + 3-fold repetition rule. If your computation has to check with you what rules it's supposed to use before each move, you're never going to reach 10^9 nodes a second, even on a cloud cuckoo machine.
#2271
"there's his pattern of not letting anybody tell him anything"
++ Oh yes, for example I changed my phrase 'excess promotions' to the longer 'promotions to pieces not previously captured' because of your remark. I also multiplied the 10^37 by 10 to include positions with 3 or 4 queens. I also formulated more precise definitions of some terms.
'the immortal and extremely revealing "know more than any of you".'
++ It is not something I would normally do. I do not boast about academic titles, careers, publications, ratings... but I got provoked by being accused of not knowing mathematics. At the same time somebody with 2 degrees or somebody working at an university gets qualified as 'very knowledgeable'. I am pretty sure I know more about mathematics than any here on this forum thread. That then gets ridiculed as if I qualified myself as 'the greatest living mathematician' which surely I am not.
"As to what @tygxc 's goal is here"
++ I have only one goal: to discuss weakly solving chess and GM Sveshnikov's claim.
GM Sveshnikov was the visionary who made his bold prediction.
I only and modestly try to verify it and I still believe he was right indeed.
#2274
"In the game you mention Black won with the 3-fold repetition rule in force. With a 2-fold repetition rule the game would have been drawn."
++ No: if the rule were 2-fold, then black would not have repeated the moves, or he might have lost on time. If the rule were 5-fold repetition, then black might have repeated the moves 4 times, to gain time on the clock and check and double check his calculation.
There it is yet again:
" I am pretty sure I know more about mathematics than any here on this forum thread. "
With such an attitude - could anybody tell such a person anything at all?
Is it worse than the obsession with personal chess ratings of 'the other' ?
It could be. Could be even worse. Depending on the context.
#2277
I cannot help it. That is how it is.
#2274
"In the game you mention Black won with the 3-fold repetition rule in force. With a 2-fold repetition rule the game would have been drawn."
++ No: if the rule were 2-fold, then black would not have repeated the moves, or he might have lost on time. If the rule were 5-fold repetition, then black might have repeated the moves 4 times, to gain time on the clock and check and double check his calculation.
So in your judgement he'd have played different moves depending on whether it'e 2-fold, 3-fold etc.
Is that what you mean by " It does not matter"?
#2277
I cannot help it. That is how it is.
Hahahahhaahhaah.
Honesty !!
#2268
Here is again the shortest proof game for the first legal Tromp sample.
Its accuracy is near 0%. You can add some moves and/or change the move order, but that changes nothing: the accuracy stays near 0%.
As for the other position it is obvious that white must promote his pawn: preferably to a queen, or else to a bishop, or to a rook, or to a knight. What does that prove? Of course promotion to a queen is the move.
Rook or knight would lose.
The point is, according to your own description of your method your computation must consider the resulting position where White has two dark square bishops. Precisely what you say will never happen.
#2255
"You are also using rapid ratings of human beings, and pretending they should have some meaningful impact on understanding how chess can be solved by engines or some future technology."
++ I did not pretend or even imply that, that is your interpretation. Maybe the ratings have some meaningful impact on how humans behave on the forum. How much ad hominem arguments they use. How much sarcasm. How much ridicule. How much they gang up.
Just an example: "Your rating gives you not one ounce more credibility than you have ever had here, which is not much."
In your own style: "Your low rating gives you not one ounce more credibility than you have ever had here, which is not much."