The quoted post is perhaps the most revealing post by tygxc these last two years.
He appears to reject objectivity in mathematics.
Appears to think that math is a 'belief system'.
These next questions are 'rhetorical'.
What would motivate him to think that math is 'a belief system' or should be?
He used the term 'agnostic'.
Do we all have to be careful using that term - lest we be 'reported'?
Who would have contempt for 'agnostic'?
Would such contempt justify dismissal of objectivity in math?
If objectivity in math is dismissed - then that's dismissal of math too.
If tygxc had simply made his quoted statement two years ago - all the conversation since would have been different.
This is what i have been getting at for the last few months, but tygxc has really shown his hand this time. I have always maintained that tygxc has operated outside of deductive logic in this way. I thought that tygxc bringing up a merriam-webster quote as his definition of "proof"(which operated around a threshold of belief) was evidence enough to convince yall of tygxc's alienation of classical logic, but maybe you missed that beat.
The way tygxc frames all of his arguments in a belief-centered way points to this rejection of mathematical truth as a whole, and is one of the main reasons why it has offended me so when tygxc pretends he is acting on mathematical logic while the arguments he makes depend on the fundamental rejection of mathematical logic.
@11945
"Karpov and Kasparov"
++ were not as strong as engines, and engines are not as strong as ICCF WC finalist + engines
and they played 3 minutes/move, not 5 days/move
"sequences of 17 and 14 draws" ++ Here we have no sequence of 17 or 14, but 112.
Statistics on 112 are stronger than on 17.
"If you had seen that sequence of 17 draws"
++ But in the whole 1984-1985 match there were 8 decisive games and 40 draws.
If all ongoing 24 games would be decisive, then we need to reconsider.
"The correct answer is don't know"
++ That is the answer to everything by an agnostic. Will the Sun rise tomorrow? don't know!
The quoted post is perhaps the most revealing post by tygxc these last two years.
He appears to reject objectivity in mathematics.
Not misunderstand - but rather 'Reject'.
Appears to think that math is a 'belief system'.
These next questions are 'rhetorical'.
What would motivate him to think that math is 'a belief system' or should be?
He used the term 'agnostic'.
Do we all have to be careful using that term - lest we be 'reported'?
Who would have contempt for 'agnostic'?
Would such contempt justify dismissal of objectivity in math?
If objectivity in math is dismissed - then that's dismissal of math too.
If tygxc had simply made his quoted statement two years ago - all the conversation since might have been different.