This is a fascinating question. Thank you @A_0123456
A triple check could very well be possible. Then again, it may not be possible. Any student of the scientific method will keep his mind tuned into "maybe" until a firm proof can be constructed.
"How do we go about constructing such a proof, Burrower?" You ask.
Mathematics comes to the rescue, as always. Using logic, we can show that the stated assumptions logically guarantee the conclusions. Let me suggest 3 methods of proof to solve this problem:
(1) Proof by contraposition
(2) Proof by construction
(3) Proof by exhaustion
I will only approach the problem through one of these, but list them for completeness. Another reader may wish to approach the problem using the two remaining methods, after I proceed to deal with one of them thoroughly.
Now, if you and Paul Erdos will forgive me for inelegance, I suggest we approach the problem through (3), proof by exhaustion. Let us start with the hypothesis that there is not a triple check. Then us take a journey through the process of arriving at a rigorous proof:
(i) First, we will define a "check" in concrete symbolic language as a mathematical object, to minimize ambiguity.
(ii) Second, we will define "triple check" in the same manner.
(iii) Third, since the number of checks as defined in (i) is finite, we will produce an exhaustive set of cases matching this definition
(iv) Fourth, we will systematically check whether any cases from the set produced in (iii) match the definition for "triple check" described in (ii)
(v) Since we have exhaustively listed all cases matching (i), then checked whether they contain case (ii), we will now have a proof as to whether or not a "triple check" as defined in (ii) is possible in chess. The original poster will then be satisfied.
Since I am a very busy individual currently working on publishing my next paper, I will require one volunteer to work at step (iii) above and report back to me. I have already done the hard work of outlining a logical process to generate the proof, you just need to do the simple (albeit brutish) work of collecting data. Please state clearly that you accept the task in a future post, if this is you. Otherwise, several individuals may begin the task simultaneously and waste time unnecessarily. We only need one person. After you have completed this step, let me know, and I will verify your work.
"Trust, but verify" - Ronald Reagan
After verification, you will be credited and we can post our findings as a follow up post in this thread.
🙏Warm regards, Burrower 🙏
This is a fascinating question. Thank you @A_0123456
A triple check could very well be possible. Then again, it may not be possible. Any student of the scientific method will keep his mind tuned into "maybe" until a firm proof can be constructed.
"How do we go about constructing such a proof, Burrower?" You ask.
Mathematics comes to the rescue, as always. Using logic, we can show that the stated assumptions logically guarantee the conclusions. Let me suggest 3 methods of proof to solve this problem:
(1) Proof by contraposition
(2) Proof by construction
(3) Proof by exhaustion
I will only approach the problem through one of these, but list them for completeness. Another reader may wish to approach the problem using the two remaining methods, after I proceed to deal with one of them thoroughly.
Now, if you and Paul Erdos will forgive me for inelegance, I suggest we approach the problem through (3), proof by exhaustion. Let us start with the hypothesis that there is not a triple check. Then us take a journey through the process of arriving at a rigorous proof:
(i) First, we will define a "check" in concrete symbolic language as a mathematical object, to minimize ambiguity.
(ii) Second, we will define "triple check" in the same manner.
(iii) Third, since the number of checks as defined in (i) is finite, we will produce an exhaustive set of cases matching this definition
(iv) Fourth, we will systematically check whether any cases from the set produced in (iii) match the definition for "triple check" described in (ii)
(v) Since we have exhaustively listed all cases matching (i), then checked whether they contain case (ii), we will now have a proof as to whether or not a "triple check" as defined in (ii) is possible in chess. The original poster will then be satisfied.
Since I am a very busy individual currently working on publishing my next paper, I will require one volunteer to work at step (iii) above and report back to me. I have already done the hard work of outlining a logical process to generate the proof, you just need to do the simple (albeit brutish) work of collecting data. Please state clearly that you accept the task in a future post, if this is you. Otherwise, several individuals may begin the task simultaneously and waste time unnecessarily. We only need one person. After you have completed this step, let me know, and I will verify your work.
"Trust, but verify" - Ronald Reagan
After verification, you will be credited and we can post our findings as a follow up post in this thread.
🙏Warm regards, Burrower 🙏