@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.
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.