Seems the usual suspects have treked over here to start with their adhominen attacks (not including Elroch in this pool), and one of them could not resist mentioning the climate. The nit picky math analogies aren't even necessary as solving chess via a table base would be numbercrunching and retrograde analysis (working backwards from checkmate positions although I don't understand how that helps calculates the best forward moves), it's not a mathematical proof. Chess has mathematical patterns but the solution isn't mathematical.
Firstly, a tablebase encapsulates a huge number of mathematical proofs. Each step of its construction uses logic to add to the set of facts you know about chess. For example, suppose you have a position where black is to move where you have previously deduced that black will get mated in 548 moves with optimal play. Retrogade analysis from this position provides a set of positions where white has a mate in 549 moves by playing a specific move. Each of these is a mathematical fact.
Secondly, it is surprising that you have never noticed that if you look at a position in a tablebase it tells you what each move will achieve against optimal defence. This is plenty to tell you the best move to play!
@Kptshmot is correct. We cannot be sure this is not so. @tygxc fails to understand the limitations of woefully inadequate empirical information.
Curiously, he has expressed the view that if there were more games like those in the ICCF WC, one or more of them would likely be won. And then he thinks he can draw definite conclusions from the fact that all of them are drawn.
Like my earlier question he needs to explain EXACTLY how many draws in a row it was that changed the result of chess from being uncertain to being definitely a draw. I think the answer is "42", but I just need to see if he agrees. Obviously a mere 41 draws would not provide certainty, but 42 should surely do it.
[Just in case, I am jesting!]