Liste des Groupes | Revenir à c theory |
On 5/18/2025 10:21 AM, Mike Terry wrote:On 18/05/2025 10:09, Mikko wrote:On 2025-05-17 17:15:14 +0000, olcott said:
This, the simulator. The input still calls the same real aborting HHH.Thus SHD must report on a different SHD/Infinite_Loop pair where thisRight. It seems to be a recent innovation in PO's wording that he hasHHH(DDD) does not base its decision on the actual behavior of DDD>
after it has aborted its simulation of DDD, instead it bases its
decision on a different HHH/DDD pair that never aborts.
This is why HHH does not satisfy "H correctly determines that its
simulated D would never stop running unless aborted". If HHH bases its
decision on anything else than what its actual input actually
specifies it does not decide correctly.
>
started using the phrase "..bases its decision on a different *HHH/DDD
pair* ..".
hypothetical instance of itself never aborts.
If H always reports on the behavior of its simulated input after itYes, that is why H is wrong.
aborts then every input including infinite_loop would be determined to
be halting.
Instead H must report on the hypothetical H/D input pair where the veryJust no.
same H has been made to not abort its input.
*H correctly determines that its simulated D*H does stop running when simulated without aborting, because it aborts.
*would never stop running unless aborted*
by a hypothetical instance of itself that never aborts.
Les messages affichés proviennent d'usenet.